1. Casper: a compiler for the analysis of security protocols. https://www.cs.ox.ac.uk/gavin.lowe/Security/Casper/
2. The Coq proof assistant. https://coq.inria.fr/
3. Isabelle. https://isabelle.in.tum.de/
4. ProVerif: cryptographic protocol verifier in the formal model. https://bblanche.gitlabpages.inria.fr/proverif/
5. Tamarin prover. https://tamarin-prover.com/