Verifpal
Website
https://verifpal.comProve soundness of verification in Verifpal
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
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
check other similar innovations
Agorakit
Groupware which is a friendly online home to communities
PixelDroid
Share and browse photos in the fediverse with a mobile app
OCCRP Aleph disambiguation
OCCRP Aleph: disambiguating different people and companies
JShelter
Cross-browser extension to make javascript less exploitable
