max-p-log-p / verifpal Goto Github PK
View Code? Open in Web Editor NEWThis project forked from symbolicsoft/verifpal
Cryptographic protocol analysis for real-world protocols.
Home Page: https://verifpal.com
License: GNU General Public License v3.0