ProVerif

Results: 29



#Item
21Blind signature / Digital signature / RSA / ProVerif / Cryptography / Public-key cryptography / Group signature

Automated algebraic analysis of structure-preserving signature schemes Joeri de Ruiter Institute for Computing and Information Sciences Radboud University Nijmegen P.O. Box 9010, 6500 GL Nijmegen, The Netherlands

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2014-07-30 07:09:47
22Cryptography / Politics / Cryptographic protocols / Elections / Cryptographic software / ProVerif / Homomorphic encryption / ThreeBallot / Electronic voting / Electoral systems / Information / Data

Type-Based Verification of Electronic Voting Protocols Véronique Cortier1 , Fabienne Eigner2 , Steve Kremer1 , Matteo Maffei2 , and Cyrille Wiedling3 1 LORIA, CNRS & INRIA & University of Lorraine, France

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2015-01-15 13:48:11
23Blind signature / Digital signature / RSA / ProVerif / Cryptography / Public-key cryptography / Group signature

Automated algebraic analysis of structure-preserving signature schemes Joeri de Ruiter Institute for Computing and Information Sciences Radboud University Nijmegen P.O. Box 9010, 6500 GL Nijmegen, The Netherlands

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2014-07-30 07:09:47
24Cryptographic protocols / Ciphertext indistinguishability / ProVerif / ElGamal encryption / Digital signature / Cramer–Shoup cryptosystem / RSA / Cryptographic primitive / Computer security / Cryptography / Public-key cryptography / Electronic commerce

MPRI Lecture Notes Course 2-30 Cryptographic protocols Formal and Computational Proofs

Add to Reading List

Source URL: www.di.ens.fr

Language: English - Date: 2011-09-28 08:57:21
25Free software / ProVerif / Ciphertext indistinguishability / Science / Automated theorem proving / Cachan / Mathematical sciences / Applied mathematics / Cryptography / Cryptographic protocols / Cryptographic software

Verification of equivalence properties in security protocols Laboratory, institution and university LSV, ENS Cachan and LORIA, Nancy universit´es. The internship will be located at Nancy or at ENS Cachan depending on th

Add to Reading List

Source URL: www.loria.fr

Language: English - Date: 2013-10-21 04:06:12
26Science / ProVerif / Cryptography / Formal verification / Protocol / Mathematical sciences / Cryptographic protocols / Cryptographic software / Applied mathematics

ETAPS Daily Issue 6 Thursday, March 21st, 2013 A new “Pope” for ETAPS The banquet of yesterday night was the last official event where Prof. Vladimiro

Add to Reading List

Source URL: www-i2.informatik.rwth-aachen.de

Language: English - Date: 2013-03-25 04:51:00
27RSA / ProVerif / Cryptographic protocols / Cryptography / Electronic commerce / Public-key cryptography

Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage Bruno Blanchet ´ CNRS, Ecole Normale Sup´erieure, INRIA∗

Add to Reading List

Source URL: prosecco.gforge.inria.fr

Language: English - Date: 2012-10-01 13:05:01
28Electronic commerce / Public-key cryptography / Cryptography standards / Hardware security module / Cryptographic primitive / ProVerif / Formal verification / Secure channel / Microsoft CryptoAPI / Cryptography / Cryptographic protocols / Cryptographic software

Prosecco Programming Securely with Cryptography A Project-Team Proposal Karthikeyan Bhargavan

Add to Reading List

Source URL: prosecco.gforge.inria.fr

Language: English - Date: 2012-03-14 05:31:34
29Information / Cryptographic software / Internet protocols / Free software / ProVerif / Computer network security / Authentication protocol / Cryptographic primitive / CryptoVerif / Cryptographic protocols / Cryptography / Data

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
UPDATE