papers/pq-hybrid-kem/refs.bib

@misc{xwing2024,
  author       = {Manuel Barbosa and Deirdre Connolly and Jo{\~a}o Diogo Duarte and Aaron Kaiser and Peter Schwabe and Karoline Varner and Bas Westerbaan and Andreas H{\"u}lsing},
  title        = {{X-Wing}: The Hybrid {KEM} You've Been Looking For},
  year         = {2024},
  howpublished = {Cryptology ePrint Archive, Paper 2024/039},
  url          = {https://eprint.iacr.org/2024/039}
}

@inproceedings{kyber2018,
  author    = {Joppe W. Bos and L{\'e}o Ducas and Eike Kiltz and Tancr{\`e}de Lepoint and Vadim Lyubashevsky and John M. Schanck and Peter Schwabe and Gregor Seiler and Damien Stehl{\'e}},
  title     = {{CRYSTALS-Kyber}: A {CCA}-Secure Module-Lattice-Based {KEM}},
  booktitle = {{IEEE} European Symposium on Security and Privacy, EuroS\&P},
  year      = {2018},
  pages     = {353--367}
}

@inproceedings{curve25519,
  author    = {Daniel J. Bernstein},
  title     = {{Curve25519}: New {Diffie-Hellman} Speed Records},
  booktitle = {Public Key Cryptography -- {PKC} 2006},
  series    = {LNCS},
  volume    = {3958},
  pages     = {207--228},
  year      = {2006},
  publisher = {Springer}
}

@misc{nistsp800208,
  author       = {David A. Cooper and Daniel Apon and Quynh Dang and Michael Davidson and Morris Dworkin and Carl A. Miller},
  title        = {{NIST SP 800-208}: Recommendation for Stateful Hash-Based Signature Schemes},
  year         = {2020},
  publisher    = {National Institute of Standards and Technology},
  doi          = {10.6028/NIST.SP.800-208}
}

@misc{nistpqc,
  author       = {Gorjan Alagic and Daniel Apon and David Cooper and Quynh Dang and Thinh Dang and John Kelsey and Jacob Lichtinger and Carl Miller and Dustin Moody and Rene Peralta and Ray Perlner and Angela Robinson and Hamilton Silberg and Daniel Smith-Tone},
  title        = {Status Report on the Third Round of the {NIST Post-Quantum Cryptography} Standardization Process},
  year         = {2022},
  howpublished = {NIST IR 8413},
  doi          = {10.6028/NIST.IR.8413}
}

@inproceedings{cremers2017ake,
  author    = {Cas Cremers and Marko Horvat and Jonathan Hoyland and Sam Scott and Thyla van der Merwe},
  title     = {A Comprehensive Symbolic Analysis of {TLS 1.3}},
  booktitle = {ACM CCS},
  year      = {2017},
  pages     = {1773--1788}
}

@inproceedings{cremers2009ake,
  author    = {Cas Cremers},
  title     = {Session-state Reveal Is Stronger than {Ephemeral Key Reveal}: Attacking the {NAXOS} Authenticated Key Exchange Protocol},
  booktitle = {ACNS},
  year      = {2009},
  pages     = {20--33}
}

@inproceedings{sigma,
  author    = {Hugo Krawczyk},
  title     = {{SIGMA}: The {SIGn}-and-{MAc} Approach to Authenticated {Diffie-Hellman} and Its Use in the {IKE} Protocols},
  booktitle = {CRYPTO},
  series    = {LNCS},
  volume    = {2729},
  pages     = {400--425},
  year      = {2003}
}

@book{boyd2020ake,
  author    = {Colin Boyd and Anish Mathuria and Douglas Stebila},
  title     = {Protocols for Authentication and Key Establishment},
  edition   = {Second},
  publisher = {Springer},
  year      = {2020}
}

@inproceedings{tamarin,
  author    = {Simon Meier and Benedikt Schmidt and Cas Cremers and David A. Basin},
  title     = {The {TAMARIN} Prover for the Symbolic Analysis of Security Protocols},
  booktitle = {CAV},
  series    = {LNCS},
  volume    = {8044},
  pages     = {696--701},
  year      = {2013}
}

@inproceedings{bos2015hybrid,
  author    = {Joppe W. Bos and Craig Costello and L{\'e}o Ducas and Ilya Mironov and Michael Naehrig and Valeria Nikolaenko and Ananth Raghunathan and Douglas Stebila},
  title     = {{Frodo}: Take off the Ring! Practical, Quantum-Secure Key Exchange from {LWE}},
  booktitle = {ACM CCS},
  year      = {2016},
  pages     = {1006--1018}
}

@inproceedings{giacon2018kem,
  author    = {Federico Giacon and Felix Heuer and Bertram Poettering},
  title     = {{KEM} Combiners},
  booktitle = {Public-Key Cryptography -- PKC 2018},
  series    = {LNCS},
  volume    = {10769},
  pages     = {190--218},
  year      = {2018}
}

@misc{boringssl_xmlkem,
  author       = {{Google}},
  title        = {{X25519MLKEM768}: {BoringSSL} hybrid key agreement},
  howpublished = {\url{https://boringssl.googlesource.com/boringssl/}},
  year         = {2024}
}

@inproceedings{mceliece1978,
  author = {Robert J. McEliece},
  title  = {A Public-Key Cryptosystem Based on Algebraic Coding Theory},
  booktitle = {DSN Progress Report 42-44, Jet Propulsion Laboratory},
  year   = {1978}
}

@misc{classicmceliece,
  author = {Daniel J. Bernstein and Tung Chou and Tanja Lange and Ingo von Maurich and Rafael Misoczki and Ruben Niederhagen and Edoardo Persichetti and Christiane Peters and Peter Schwabe and Nicolas Sendrier and Jakub Szefer and Wen Wang},
  title  = {{Classic McEliece}: Conservative Code-Based Cryptography},
  year   = {2022},
  howpublished = {NIST PQC submission, Round 4}
}

@inproceedings{shoupgame,
  author = {Victor Shoup},
  title  = {Sequences of Games: A Tool for Taming Complexity in Security Proofs},
  booktitle = {IACR Cryptology ePrint Archive, Report 2004/332},
  year   = {2004}
}

@inproceedings{krawczyk2010hkdf,
  author    = {Hugo Krawczyk},
  title     = {Cryptographic Extraction and Key Derivation: The {HKDF} Scheme},
  booktitle = {CRYPTO},
  series    = {LNCS},
  volume    = {6223},
  pages     = {631--648},
  year      = {2010}
}

@misc{nistmlkem,
  author = {{NIST}},
  title  = {{FIPS 203}: Module-Lattice-Based Key-Encapsulation Mechanism Standard},
  year   = {2024},
  publisher = {National Institute of Standards and Technology}
}

@inproceedings{cek2020hybrid,
  author    = {Federico Bergsma and Tibor Jager and J{\"o}rg Schwenk},
  title     = {On the Security of {TLS}-{DHE} in the Standard Model},
  booktitle = {CRYPTO},
  year      = {2012},
  series    = {LNCS},
  volume    = {7417},
  pages     = {273--293}
}

@inproceedings{harvest_now,
  author    = {Mosca, Michele},
  title     = {Cybersecurity in an Era with Quantum Computers: {W}ill We Be Ready?},
  booktitle = {{IEEE} Security \& Privacy},
  volume    = {16},
  number    = {5},
  pages     = {38--41},
  year      = {2018}
}

@inproceedings{bindel2019hybrid,
  author    = {Nina Bindel and Jacqueline Brendel and Marc Fischlin and Brian Goncalves and Douglas Stebila},
  title     = {Hybrid Key Encapsulation Mechanisms and Authenticated Key Exchange},
  booktitle = {Post-Quantum Cryptography -- PQCrypto},
  series    = {LNCS},
  volume    = {11505},
  pages     = {206--226},
  year      = {2019}
}