Noise Explorer-VerifPal
Website
https://noiseexplorer.comNoise 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
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
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country: France
NGI Project: NGI zero pet
Keyword: CodeGenerationcryptographyFormalVerification
Status: -
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar solutions
DISSENS
User-centric and privacy- friendly alternatives to use of third-party identity provider services (IdPs) for payment processing
StreetComplete
The project will make collecting data for OpenStreetMap easier and more efficient. OpenStreetMap is the best source of information for...
Solid Control
Solid-Control aims to enhance Tim Berners-Lee’s Social Linked Data Project (Solid) with Attribute-Based Access Control. By extending the Linked Data...
TCPLS – Transport Layer Security Ext
TCPLS is an extension to Transport Layer Security (TLS) 1.3 that closely couples TLS with one of the most important...
