Description
Analyzes cryptographic protocol models for real-world security design. Engineers write Verifpal models and run checks from the terminal; model assumptions, threat scope, and generated reports must be reviewed before relying on results.
FICHA · AUR
verifpal
Cryptographic protocol analysis for real-world protocols.
- crypto-protocol-analyzer
- CLI
- SECURITY
- Dev
- Launchable
- Runs in terminal
official+codex · reviewed · Jun 5, 2026 description in
en How to run
verifpal
Commands: verifpal
Permissions
Permissions not analysed for this source yet.