Cryptographic protocol analysis for real-world protocols.
cryptography
formal-methods
formal-verification
protocol-verification
protocol-analysis
symbolic-protocol-analysis
cryptographic-protocols
-
Updated
May 15, 2024 - Go