Verifiable Decapsulation: Recognizing Faulty Implementations of Post-Quantum KEMs. - Lewis Glabush; Felix Günther 001; Kathrin Hövelmanns; Douglas Stebila (IACR Cryptol. ePrint Arch., 2025)

Tight Multi-challenge Security Reductions for Key Encapsulation Mechanisms. - Lewis Glabush; Kathrin Hövelmanns; Douglas Stebila (IACR Cryptol. ePrint Arch., 2025)