Jinrong Chen, Yi Wang, Rongmao Chen, Xinyi Huang, Wei Peng: Tighter Proofs for PKE-to-KEM Transformation in the Quantum Random Oracle Model. ASIACRYPT (4) 2024: 101-133