Verifiable decapsulation: recognizing faulty implementations of post-quantum KEMs
From MaRDI portal
Cites work
- A modular analysis of the Fujisaki-Okamoto transformation
- A note on \textit{failing gracefully}: completing the picture for explicitly rejecting Fujisaki-Okamoto transforms using worst-case correctness
- Failing gracefully: decryption failures and the Fujisaki-Okamoto transform
- Generic authenticated key exchange in the quantum random oracle model
- IND-CCA-secure key encapsulation mechanism in the quantum random oracle model, revisited
- Key encapsulation mechanism with explicit rejection in the quantum random oracle model
- Measure-rewind-measure: tighter quantum random oracle model proofs for one-way to hiding and CCA security
- Online-extractability in the quantum random-oracle model
- Post-quantum key exchange for the Internet and the open quantum safe project
- Secure integration of asymmetric and symmetric encryption schemes
- Secure integration of asymmetric and symmetric encryption schemes
- Separate your domains: NIST PQC KEMs, oracle cloning and read-only indifferentiability
- Tighter proofs of CCA security in the quantum random oracle model
- Tightly-secure key-encapsulation mechanism in the quantum random oracle model
- Verifiable decapsulation: recognizing faulty implementations of post-quantum KEMs
This page was built for publication: Verifiable decapsulation: recognizing faulty implementations of post-quantum KEMs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6863921)