This manual presents the ProVerif software tool version 1.85 which is suited to the automated analysis of security protocols.
@manual{2010-ProVerif-manual-version-1.85, author = "Bruno Blanchet and Ben Smyth", title = "{ProVerif 1.85: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial}", year = "2011", }