IND-CCA security of Kyber in the quantum random oracle model, revisited
From MaRDI portal
Publication:6134014
DOI10.1007/978-3-031-26553-2_8zbMATH Open1530.81052MaRDI QIDQ6134014FDOQ6134014
Authors: Zhao Chen, Xianhui Lu, Dingding Jia, Bao Li 
Publication date: 21 August 2023
Published in: Information Security and Cryptology (Search for Journal in Brave)
Recommendations
- IND-CCA-secure key encapsulation mechanism in the quantum random oracle model, revisited
- An injectivity analysis of Crystals-Kyber and implications on quantum security
- (Tightly) QCCA-secure key-encapsulation mechanism in the quantum random oracle model
- Post-quantum anonymity of Kyber
- Formally verifying Kyber. Episode V: machine-checked IND-CCA security and correctness of ML-KEM in Easycrypt
Cryptography (94A60) Quantum coding (general) (81P70) Quantum cryptography (quantum-theoretic aspects) (81P94) Computer security (68M25)
Cites Work
- Title not available (Why is that?)
- Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
- Secure identity-based encryption in the quantum random oracle model
- Robust Encryption
- Secure integration of asymmetric and symmetric encryption schemes
- Title not available (Why is that?)
- Secure integration of asymmetric and symmetric encryption schemes
- Random oracles in a quantum world
- IND-CCA-secure key encapsulation mechanism in the quantum random oracle model, revisited
- A modular analysis of the Fujisaki-Okamoto transformation
- Revocable quantum timed-release encryption
- Tightly-secure key-encapsulation mechanism in the quantum random oracle model
- Tighter proofs of CCA security in the quantum random oracle model
- Tighter security proofs for generic key encapsulation mechanism in the quantum random oracle model
- Post-Quantum Security of the Fujisaki-Okamoto and OAEP Transforms
- Measure-rewind-measure: tighter quantum random oracle model proofs for one-way to hiding and CCA security
- Generic authenticated key exchange in the quantum random oracle model
- 4-round Luby-Rackoff construction is a qPRP
- How to record quantum queries, and applications to quantum indifferentiability
- Quantum security proofs using semi-classical oracles
- Anonymous, robust post-quantum public key encryption
- Anonymity of NIST PQC round 3 KEMs
Cited In (4)
- Post-quantum anonymity of Kyber
- Formally verifying Kyber. Episode V: machine-checked IND-CCA security and correctness of ML-KEM in Easycrypt
- SO-CCA secure PKE in the quantum random oracle model or the quantum ideal cipher model
- An injectivity analysis of Crystals-Kyber and implications on quantum security
This page was built for publication: IND-CCA security of Kyber in the quantum random oracle model, revisited
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6134014)
