Post-quantum verification of Fujisaki-Okamoto
From MaRDI portal
Publication:2692346
DOI10.1007/978-3-030-64837-4_11OpenAlexW3081753629MaRDI QIDQ2692346
Publication date: 21 March 2023
Full work available at URL: https://doi.org/10.1007/978-3-030-64837-4_11
Related Items (3)
Post-quantum anonymity of Kyber ⋮ Formal verification of Saber's public-key encryption scheme in easycrypt ⋮ Post-quantum verification of Fujisaki-Okamoto
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Tightly-secure key-encapsulation mechanism in the quantum random oracle model
- A modular analysis of the Fujisaki-Okamoto transformation
- OAEP reconsidered
- RSA-OAEP is secure under the RSA assumption
- Generic authenticated key exchange in the quantum random oracle model
- Quantum security proofs using semi-classical oracles
- Post-quantum verification of Fujisaki-Okamoto
- Quantum Proofs of Knowledge
- Zero-knowledge against quantum attacks
- Beyond Provable Security Verifiable IND-CCA Security of OAEP
- Random Oracles in a Quantum World
- Post-Quantum Security of the Fujisaki-Okamoto and OAEP Transforms
- The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
- Computer-Aided Security Proofs for the Working Cryptographer
- Formal certification of code-based cryptographic proofs
- Efficient Instantiations of Tweakable Blockciphers and Refinements to Modes OCB and PMAC
- Cryptanalysis of OCB2: attacks on authenticity and confidentiality
This page was built for publication: Post-quantum verification of Fujisaki-Okamoto
