Back to Results
First PageMeta Content
ElGamal encryption / Public-key cryptography / Ciphertext indistinguishability / Diffie–Hellman problem / Decisional Diffie–Hellman assumption / Optimal asymmetric encryption padding / Cramer–Shoup cryptosystem / Cryptography / Computational hardness assumptions / Finite fields


Formal Certification of Code-Based Cryptographic Proofs GILLES BARTHE and SANTIAGO ZANELLA BEGUELIN IMDEA Software, Madrid, Spain and BENJAMIN GREGOIRE
Add to Reading List

Document Date: 2013-06-17 13:32:36

Open Document

File Size: 530,13 KB

Share Result on Facebook

City

Madrid / /

Company

Code-Based Cryptographic Proofs (1) inline KG / ACM Inc. / Oracle / SANTIAGO ZANELLA BEGUELIN IMDEA Software / G. Instead / /

Country

Spain / /

Currency

USD / /

Event

FDA Phase / Product Issues / /

IndustryTerm

generation algorithm / main tools / mathematical tools / cryptographic systems / secure cryptographic systems / copyright/server / specific tools / /

Organization

Organization of the Article / /

Person

BENJAMIN GREGOIRE INRIA / Coq / Sophia Antipolis / GILLES BARTHE / /

Position

IND-CPA / et al. Game IND-CPA / proof assistant / cryptographic / Game IND-CPA / Pr IND-CPA / general-purpose proof assistant / proof assistant / Program analysis General / AdvIND-CPA / advantage qH AdvIND-CPA / /

Product

DDH1 / G1 / A1 / DDH0 / Permission / /

ProgrammingLanguage

L / /

Technology

encryption / cryptography / key generation algorithm / public key / dom / secret key / Hashed ElGamal encryption / ElGamal encryption / /

SocialTag