Topic: "symbolic-protocol-analysis"
symbolicsoft/verifpal
Cryptographic protocol analysis for real-world protocols.
Language: Go - Size: 2.34 MB - Last synced at: 6 days ago - Pushed at: 8 months ago - Stars: 48 - Forks: 4
symbolicsoft/noiseexplorer
Online engine for reasoning about the Noise Protocol Framework.
Language: Rust - Size: 49.7 MB - Last synced at: 6 days ago - Pushed at: 5 months ago - Stars: 13 - Forks: 6