Open source repositories tagged with #protocol-verification, ranked by health score.
Cryptographic protocol analysis for real-world protocols.
