Verifpal
About
Software
Events
Community
Workbench
Load example...
Simple DH Exchange
Trivial (Minimal)
Challenge-Response
Signal (Simplified)
Needham-Schroeder
Public Key Encryption
Digital Signature
Blind Signature
Shamir Secret Sharing
Salt Channel
Double Ratchet
AEAD with DH
Verify
Pretty Print
Diagram
Manual
Loading...
Select an example or write a model, then click "Verify" to analyze it.