Transcription of ProVerif 2.03: Automatic Cryptographic Protocol ... - Prosecco
{{id}} {{{paragraph}}}
Example: air traffic controller
ProVerif 2.03: Automatic Cryptographic Protocol ... - Prosecco
ProVerif : Automatic Cryptographic Protocol Verifier,User Manual and TutorialBruno Blanchet, Ben Smyth, Vincent Cheval, and Marc 30, 2021iiAcknowledgementsThis manual was written with support from the Direction G en erale pour l Armement (DGA) and theEPSRC projectUbiVal(EP/D076625/2). ProVerif was developed while Bruno Blanchet was affiliatedwith INRIA Paris-Rocquencourt, with CNRS, Ecole Normale Sup erieure, Paris, and with Max-Planck-Institut f ur Informatik, Saarbr ucken. This manual was written while Bruno Blanchet was affiliated withINRIA Paris-Rocquencourt and with CNRS, Ecole Normale Sup erieure, Paris, Ben Smyth was affiliatedwith Ecole Normale Sup erieure, Paris and with University of Birmingham, Vincent Cheval was affiliatedwith CNRS and Inria Nancy, and Marc Sylvestre was affiliated with INRIA Paris. The development ofProVerif would not have been possible without the helpful remarks from the research community; theircontributions are greatly appreciated and further feedback is Applications of ProVerif .
ProVerif 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,
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: