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