Back to Results
First PageMeta Content
Adaptive chosen-ciphertext attack / Optimal asymmetric encryption padding / Zero-knowledge proof / ElGamal encryption / Symmetric-key algorithm / RSA / Chosen-ciphertext attack / Cryptography / Public-key cryptography / Ciphertext indistinguishability


1234145467836391829836846489A2BCBD183 École doctorale nO 84 : Sciences et technologies de l’information et de la communication Doctorat ParisTech
Add to Reading List

Document Date: 2013-03-13 12:33:24


Open Document

File Size: 1,36 MB

Share Result on Facebook

City

Sophia Antipolis Cedex / Los Alamitos / Berlin / New York / Paris / /

Company

ACM Press / Microsoft / S&P / /

Event

FDA Phase / /

Organization

Organization of the Dissertation / IEEE Computer Society / INRIA MINES ParisTech Centre / /

Person

Federico Olmedo / Yassine Lakhnech / Benjamin Grégoire / Santiago José / Coq / Gilles Barthe / Daniel Hedin / Sylvain Heraud / Joseph Fourier / /

Position

general-purpose proof assistant / l’assistant / /

Product

CCA2 / /

ProvinceOrState

California / New York / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

Encryption / 7.3 Sigma Protocols / Zero-Knowledge Protocols / digital signature / 7.1 Sigma-Protocols / ElGamal encryption / Sigma-Phi Protocols / 7.2 Sigma Protocols / /

SocialTag