Back to Results
First PageMeta Content
Ciphertext indistinguishability / Public-key cryptography / Mathematical proof / Concrete security / Random oracle / RSA / Equivalence relation / Cryptography / Optimal asymmetric encryption padding / Mathematical logic


Beyond Provable Security: Verifiable IND-CCA Security of OAEP
Add to Reading List

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

Open Document

File Size: 2,60 MB

Share Result on Facebook

City

Madrid / Méditerranée / /

Company

Santiago Zanella Beguelin1 1 2 2 IMDEA Software / /

Event

FDA Phase / /

Facility

Verified library / /

IndustryTerm

correct-by-construction operating systems / /

Person

Sophia Antipolis / Joseph Fourier / /

Position

general purpose proof assistant / /

Product

CCA2 / /

ProgrammingLanguage

J / V / C / /

Technology

encryption / operating systems / cryptography / /

SocialTag