Back to Results
First PageMeta Content
Advantage / Tiny Encryption Algorithm / Random oracle / 0K / Chosen-ciphertext attack / Cryptography / Optimal asymmetric encryption padding / Semantic security


Beyond Provable Security Verifiable IND-CCA Security of OAEP Gilles Barthe1 , Benjamin Gr´egoire2, Yassine Lakhnech3 , and Santiago Zanella B´eguelin1 1
Add to Reading List

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

Open Document

File Size: 228,43 KB

Share Result on Facebook

Company

Oracle / LG / /

Currency

pence / /

Facility

Paulin’s library / /

IndustryTerm

mature technology / generation algorithms / software systems / /

Person

Benjamin Gr / Rabin / Santiago Zanella / Hoare Logic / /

/

Position

plaintext extractor / Coq proof assistant / /

Product

Oracle D(c) / /

Technology

encryption / cryptography / dom / key generation algorithms / simulation / operating systems / mature technology / /

SocialTag