ProVerif - PDFSEARCH.IO - Document Search Engine

ProVerif
Results: 29

#	Item
21	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 Blind signature Digital signature RSA ProVerif Cryptography Public-key cryptography Group signature
22	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 Cryptography Politics Cryptographic protocols Elections Cryptographic software ProVerif Homomorphic encryption ThreeBallot Electronic voting Electoral systems Information Data
23	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 Blind signature Digital signature RSA ProVerif Cryptography Public-key cryptography Group signature
24	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 Cryptographic protocols Ciphertext indistinguishability ProVerif ElGamal encryption Digital signature Cramer–Shoup cryptosystem RSA Cryptographic primitive Computer security Cryptography Public-key cryptography Electronic commerce
25	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 Free software ProVerif Ciphertext indistinguishability Science Automated theorem proving Cachan Mathematical sciences Applied mathematics Cryptography Cryptographic protocols Cryptographic software
26	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 Science ProVerif Cryptography Formal verification Protocol Mathematical sciences Cryptographic protocols Cryptographic software Applied mathematics
27	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 RSA ProVerif Cryptographic protocols Cryptography Electronic commerce Public-key cryptography
28	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 Electronic commerce Public-key cryptography Cryptography standards Hardware security module Cryptographic primitive ProVerif Formal verification Secure channel Microsoft CryptoAPI Cryptography Cryptographic protocols Cryptographic software
29	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