Juliane Krämer, Patrick Struck, Maximiliane Weishäupl: Binding Security of Implicitly-Rejecting KEMs and Application to BIKE and HQC. IACR Commun. Cryptol. 2(2): 19 (2025)