ProVerif - PDFSEARCH.IO - Document Search Engine

ProVerif
Results: 29

#	Item
11	Automatic Verification of Cryptographic Protocols in the Formal Model Automatic Verifier ProVerif Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:58
12	Automatic verification of security protocols: the tools ProVerif and CryptoVerif Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:56
13	ProVerif 1.85: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial Bruno Blanchet1 and Ben Smyth1,2 1´ Add to Reading List Source URL: bensmyth.com Language: English - Date: 2013-08-30 04:11:49
14	Automatic Verification of Cryptographic Protocols in the Formal Model Automatic Verifier ProVerif Bruno Blanchet ´ CNRS, Ecole Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:57
15	ProVerif 1.91: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial Bruno Blanchet, Ben Smyth, and Vincent Cheval , , September 9, 2015 Add to Reading List Source URL: bensmyth.com Language: English - Date: 2015-09-10 05:06:51
16	The automatic security protocol verifier ProVerif Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:52
17	Automatic Verification of Cryptographic Protocols in the Symbolic Model Automatic Verifier ProVerif Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2013-09-02 11:47:42
18	StatVerif: Verification of Stateful Processes Myrto Arapinis and Eike Ritter and Mark D. Ryan School of Computer Science, University of Birmingham, UK Abstract—We present StatVerif, which is an extension the ProVerif p Add to Reading List Source URL: www.cs.bham.ac.uk. Language: English - Date: 2011-08-11 06:54:34
19	Formal Certification of Game-Based Cryptographic Proofs Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain INRIA Sophia Antipolis - M´ Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Cryptology Cryptography ProVerif Knowledge Science Mathematical sciences Cryptanalysis
20	Verification of security protocols — reducing the number of agents — Laboratory, institution and university LSV, ENS Cachan and LORIA, Nancy universités The internship will be located at Nancy and/or at ENS Cachan d Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-21 15:33:34 Information Cryptographic protocols Free software ProVerif Ciphertext indistinguishability Communications protocol Cryptographic primitive Authentication Tor Cryptography Cryptographic software Data