symbolicsoft/verifpal

Cryptographic protocol analysis for real-world protocols.

语言：Rust · GitHub 星标：135 · Fork：16

话题：cryptographic-protocols · cryptography · formal-methods · formal-verification · protocol-analysis · protocol-verification · symbolic-protocol-analysis

在 GitHub 上查看原仓库