PrototypeCommon
symbolicsoft/verifpal
Cryptographic protocol analysis for real-world protocols.
- Owner
- symbolicsoft (organization)
- Stars
- Stars: 136
- Forks
- Forks: 16
- Language
- Rust
- License
- GPL-3.0
- Created
- 2021
- Topics
- formal-verificationprotocol-verificationsymbolic-protocol-analysisprotocol-analysiscryptographic-protocolscryptographyformal-methods
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by symbolicsoft
All 2 repos by symbolicsoft- symbolicsoft/kyber-k2soStars: 128GoPrototype
Nearby in Rust
All Rust repos- EurekaZang/CloudFolderStars: 136RustPrototype
- storytold/craft-ai-integrationsStars: 136RustPrototype
- tinyhumansai/openscionStars: 136RustPrototype
- johannhof/markdown.rsStars: 136RustPrototype
- gz/rust-elfloaderStars: 136RustPrototype
- pfpacket/rust-9pStars: 136RustPrototype