Noise Explorer-VerifPal

Automated proofs and code generation for secure protocols

ProjectID

VerifPal

Acronym

VerifPal

Additional Info

Resources

Source code

https://source.symbolic.software/verifpal/verifpal

Documentation

https://verifpal.com/res/pdf/manual.pdf

Stay up to date

Mailinglist

https://verifpal.com/list

Enduser Relevance

Secure communication over the internet is critical. Humans however are not infallible, and the same holds for the humans that design the protocols that should make our internet traffic

More

Contact

https://nlnet.nl/contact/

Endorsements

Not available yet

Disclaimer

Not available yet

Country:  France

NGI Project:  NGI zero pet

Status: Early research demo

Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs