Verifpal

Verifpal is new software for verifying the security of cryptographic protocols. Building upon contemporary research in symbolic formal verification, Verifpal’s main aim is to appeal More

ProjectID

VerifPal-Proven

Acronym

VerifPal-Proven

Additional Info

Resources
Source code
https://source.symbolic.software/verifpal/verifpal

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

More

Contact

https://nlnet.nl/contact/

Endorsements

Not available yet

Disclaimer

Not available yet

Country:  France

Keyword: AnalysisCodeGenerationcryptographyNGI0SymbolicProof

Status: -

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

check other similar solutions