Automated Verification of Selected Equivalences for Security Protocols
This page presents the ProVerif scripts for all examples
of the paper Automated Verification of Selected Equivalences for Security Protocols, by Bruno Blanchet, Martín Abadi, and Cédric Fournet, published at LICS'05.
- Examples of Section 4
- Examples of Section 7
Note: these examples use "choice" instead of "diff" in the paper.
A long version of the paper is available.
The automatic verifier ProVerif is available
here
Bruno Blanchet