Verifpal: cryptographic protocol analysis for students and engineers
2019-12-30, 11:50–11:55, Borg

Verifpal is new software for verifying the security of cryptographic protocols that is easy to use.


Verifpal is new software for verifying the security of cryptographic protocols. Building upon contemporary research in symbolic formal verification, Verifpal’s main aim is to appeal more to real-world practitioners, students and engineers without sacrificing comprehensive formal verification features.

In order to achieve this, Verifpal introduces a new, intuitive language for modeling protocols that is much easier to write and understand than the languages employed by existing tools.