Lecture notes in computer scienceTighter Security Proofs for Generic Key Encapsulation Mechanism in the Quantum Random Oracle ModelHaodong Jiang, Zhenfeng Zhang, Zhi MaPublished Jan 1, 2019• 39 citationsPublisherDOI10.1007/978-3-030-25510-7_13