Noise Explorer-VerifPal

Noise Explorer is an online engine for reasoning about Noise Protocol Framework (revision 34) Handshake Patterns. Noise Explorer allows you to design Noise Handshake Patterns, and

More

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

Keyword: CodeGenerationcryptographyFormalVerification

Status: -

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

check other similar solutions
Skip to content