NLnet Foundation
Funding for Verifpal through the NGI0 Privacy Enhancing Technologies Fund, supporting research and development.
About NGI Zero
People and organizations using Verifpal
Community
Companies using Verifpal
Universities using Verifpal
Projects using Verifpal
Add yoursThese projects used Verifpal while designing their protocols.
- AgentKnockby AgentKnock
- CounterMITM Protocolby Delta Chat
- Jessby Safing
- MlesTalk Protocolby Mles
- Monokexby Loup Vaillant
- PrivateBinby PrivateBin
- Salt Channelby Assa Abloy
- SaltyRTC Protocolby SaltyRTC
- Userbase Protocolby Userbase
Research using Verifpal
Tell us about yoursResearch that uses Verifpal for protocol analysis:
- DP-3T pandemic-tracing protocolfirst formal model, written in Verifpal
- D2XChain, a decentralized PKI for drone servicesby Junaid Akram and Ali Anaissi, University of Sydney
- CAKE-HI, a compact authenticated key exchange that hides identitiesby MIT Lincoln Laboratory, alongside a CryptoVerif proof
Stickers and wallpapers
Sponsors
Cure53
Verifpal is also supported by Cure53, a Berlin security auditing firm specializing in penetration testing and security analysis.
Visit Cure53
European Commission funding
Grant № 825310
The NGI0 Privacy Enhancing Technologies Fund was established by NLnet with financial support from the European Commission’s Next Generation Internet program, under the aegis of DG Communications Networks, Content and Technology.