Jacqueline Brendel, Marc Fischlin, Felix Günther 0001, Christian Janson, Douglas Stebila. Challenges in Proving Post-Quantum Key Exchanges Based on Key Encapsulation Mechanisms. IACR Cryptology ePrint Archive, 2019:1356, 2019. [doi]
Abstract is missing.