Example: confidence
Search results with tag "Proverif"
ProVerif 2.03: Automatic Cryptographic Protocol Veri er ...
bblanche.gitlabpages.inria.frProVerif 2.03: Automatic Cryptographic Protocol Veri er, User Manual and Tutorial Bruno Blanchet, Ben Smyth, Vincent Cheval, and Marc Sylvestre Bruno.Blanchet@inria.fr, research@bensmyth.com, vincent.cheval@inria.fr,