On the Security of NTS-KEM in the Quantum Random Oracle Model

Tighter Proofs for PKE-to-KEM Transformation in the Quantum Random Oracle Model

Security notions for the random oracle model in classical and quantum settings

Selective Opening Security in the Quantum Random Oracle Model, Revisited

On Tight Quantum Security of HMAC and NMAC in the Quantum Random Oracle Model

On the power of security reduction in the quantum-accessible random oracle model

Security of the Fiat-Shamir Transformation in the Quantum Random-Oracle Model