| Document Date: 2013-06-17 13:32:36 Open Document File Size: 315,03 KBShare Result on Facebook
City Madrid / / Company Case / Oracle / France 3 IMDEA Software / Microsoft / / Country France / / Currency USD / / / Event FDA Phase / / Facility INRIA Joint Centre / / IndustryTerm polynomial algorithms / main tools / cryptographic applications / aggressive slicing algorithm / / Organization INRIA Joint Centre / U.S. Securities and Exchange Commission / GA AE / / Person Coq / Sophia Antipolis / / Position author / IND-CPA / Game IND-CPA / general-purpose proof assistant / representative / proof assistant / PrIND-CPA / / Product Fundamental Lemma / relational Hoare logic / CCA2 / DDH0 / / ProgrammingLanguage J / K / / Technology encryption / cryptography / three algorithms / public key / aggressive slicing algorithm / polynomial algorithms / dom / ElGamal encryption / certified algorithm / / URL http /
SocialTag |