@misc{cryptoeprint:2019:1356,
    author = {Jacqueline Brendel and Marc Fischlin and Felix Günther and Christian Janson and Douglas Stebila},
    title = {Challenges in Proving Post-Quantum Key Exchanges Based on Key Encapsulation Mechanisms},
    howpublished = {Cryptology ePrint Archive, Report 2019/1356},
    year = {2019},
    url = {https://eprint.iacr.org/2019/1356},
}