ProVerif 1.85: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial

By Bruno Blanchet, B. Smyth. 2011

333 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/ab059425a55a30e90aa0de78ff72e8867a1afa69