Cryptographic protocol analysis for real-world protocols.
cryptography
formal-methods
formal-verification
protocol-verification
protocol-analysis
symbolic-protocol-analysis
cryptographic-protocols
-
Updated
Sep 8, 2024 - Go
Cryptographic protocol analysis for real-world protocols.
Online engine for reasoning about the Noise Protocol Framework.
Add a description, image, and links to the symbolic-protocol-analysis topic page so that developers can more easily learn about it.
To associate your repository with the symbolic-protocol-analysis topic, visit your repo's landing page and select "manage topics."