Beyond provable security verifiable IND-CCA security of OAEP

DOI10.1007/978-3-642-19074-2_13zbMATH Open1284.94052OpenAlexW1539009458MaRDI QIDQ3073706FDOQ3073706

Authors: Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin, Yassine Lakhnech 

Publication date: 11 February 2011

Published in: Topics in Cryptology – CT-RSA 2011 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19074-2_13

Recommendations

• OAEP reconsidered
• Instantiability of RSA-OAEP under chosen-plaintext attack
• scientific article; zbMATH DE number 1842495
• Strengthening Security of RSA-OAEP
• On the Security of OAEP

Mathematics Subject Classification ID

Cryptography (94A60)

Cites Work

• Formal certification of code-based cryptographic proofs
• A method for obtaining digital signatures and public-key cryptosystems
• The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
• Title not available (Why is that?)
• Formal proof - the four color theorem
• Automated proofs for asymmetric encryption
• Title not available (Why is that?)
• Proofs of randomized algorithms in Coq
• Formal Proof of Provable Security by Game-Playing in a Proof Assistant
• Formal proof
• Formal certification of a compiler back-end or: programming a compiler with a proof assistant
• A Formal Language for Cryptographic Pseudocode
• Provable security for public key schemes
• A revision of the proof of the Kepler conjecture
• OAEP Is Secure under Key-Dependent Messages
• Another look at automated theorem-proving
• RSA-OAEP is secure under the RSA assumption
• Strengthening Security of RSA-OAEP
• Subtleties in the definition of IND-CCA: when and how should challenge decryption be disallowed?
• Programming language techniques for cryptographic proofs

Cited In (5)

• Formal verification of Saber's public-key encryption scheme in easycrypt
• Automated proofs of block cipher modes of operation
• Machine-checked security for XMSS as in RFC 8391 and SPHINCS\textsuperscript{+}
• Verifiable security of Boneh-Franklin identity-based encryption
• Post-quantum verification of Fujisaki-Okamoto

Uses Software

• Coq
• CertiCrypt
• seL4
• kepler98

This page was built for publication: Beyond provable security verifiable IND-CCA security of OAEP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3073706)