SymbolicSoftware.Verifpal 1.3.8

Cryptographic protocol analysis for real-world cryptographic protocols.

Verifpal is a symbolic formal verification tool for cryptographic protocols. You describe a protocol in the Verifpal language, state security queries about it, and Verifpal searches for an attack that breaks them, printing the trace of any attack it finds.