IND-CCA security of Kyber in the quantum random oracle model, revisited
From MaRDI portal
Publication:6134014
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
Cites work
- scientific article; zbMATH DE number 176565 (Why is no real title available?)
- scientific article; zbMATH DE number 1256737 (Why is no real title available?)
- 4-round Luby-Rackoff construction is a qPRP
- A modular analysis of the Fujisaki-Okamoto transformation
- Anonymity of NIST PQC round 3 KEMs
- Anonymous, robust post-quantum public key encryption
- Generic authenticated key exchange in the quantum random oracle model
- How to record quantum queries, and applications to quantum indifferentiability
- IND-CCA-secure key encapsulation mechanism in the quantum random oracle model, revisited
- Measure-rewind-measure: tighter quantum random oracle model proofs for one-way to hiding and CCA security
- Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
- Post-Quantum Security of the Fujisaki-Okamoto and OAEP Transforms
- Quantum security proofs using semi-classical oracles
- Random oracles in a quantum world
- Revocable quantum timed-release encryption
- Robust Encryption
- Secure identity-based encryption in the quantum random oracle model
- Secure integration of asymmetric and symmetric encryption schemes
- Secure integration of asymmetric and symmetric encryption schemes
- 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
- Tightly-secure key-encapsulation mechanism in the quantum random oracle model
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)
