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
VerifPal
VerifPal
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
https://nlnet.nl/contact/
Not available yet
Not available yet
Country: France
NGI Project: NGI zero pet
Keyword: CodeGenerationcryptographyFormalVerification
Status: -
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs