Post-quantum verification of Fujisaki-Okamoto

DOI10.1007/978-3-030-64837-4_11OpenAlexW3081753629MaRDI QIDQ2692346

Dominique Unruh

Publication date: 21 March 2023

Full work available at URL: https://doi.org/10.1007/978-3-030-64837-4_11

Mathematics Subject Classification ID

Cryptography (94A60) Quantum cryptography (quantum-theoretic aspects) (81P94)

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

• Isabelle
• EasyCrypt
• GitHub

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