CryptoVerif

#	Item
11	From CryptoVerif Specifications to Computationally Secure Implementations of Protocols (Work in Progress) David Cad´e ´ Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-09-27 12:25:51
12	Introduction CryptoVerif CDH Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:51
13	CryptoVerif: A Computationally Sound Mechanized Prover for Cryptographic Protocols Bruno Blanchet ´ CNRS, Ecole Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:57
14	PDF Document Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-16 06:52:57 Cryptography Public-key cryptography Ciphertext indistinguishability Cryptographic protocols Cryptographic software Chosen-ciphertext attack RSA Key exchange Advantage CryptoVerif Semantic security Strong secrecy
15	ProVerif 1.88: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial Bruno Blanchet1 , Ben Smyth1 , and Vincent Cheval2 1 Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2013-08-30 03:11:35 Information Cryptographic software Internet protocols Free software ProVerif Computer network security Authentication protocol Cryptographic primitive CryptoVerif Cryptographic protocols Cryptography Data