| Document Date: 2013-06-17 13:32:36 Open Document File Size: 530,13 KBShare 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 |