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
Cell broadcast support for the Linux Mobile Stack
Implement SMS-CB for emergency messages on Linux
LibrePCB
EDA software suite to develop printed circuit boards
Librecast: IoT Software Updates over IPv6 Multicast
Multicast is an underutilized and misunderstood network technology. It is used less than unicast, yet an argument can be made...
Improve Okular digital signature support
Improve open source tooling for digital signatures
