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. 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