The Pre-Shared Key Modes of HPKE - Joël Alwen; Jonas Janneck; Eike Kiltz; Benjamin Lipp (Advances in Cryptology - ASIACRYPT 2023 - 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part VI, 2023)

The Pre-Shared Key Modes of HPKE - Joël Alwen; Jonas Janneck; Eike Kiltz; Benjamin Lipp (IACR Cryptol. ePrint Arch., 2023)

Mechanized Cryptographic Proofs of Protocols and their Link with Verified Implementations. (Preuves mécanisées de protocoles cryptographiques et leur lien avec des implémentations vérifiées) - Benjamin Lipp (PSL University, Paris, France, 2022)

Analysing the HPKE Standard - Supplementary Material (Version v3.0) - Joël Alwen; Bruno Blanchet; Eduard Hauck; Eike Kiltz; Benjamin Lipp; Doreen Riepel (Zenodo, 2022)
Accessed on YYYY-MM-DD.

Hybrid Public Key Encryption - Richard L. Barnes; Karthikeyan Bhargavan; Benjamin Lipp; Christopher A. Wood (RFC, 2022)

Analysing the HPKE Standard - Joël Alwen; Bruno Blanchet; Eduard Hauck; Eike Kiltz; Benjamin Lipp; Doreen Riepel (Advances in Cryptology - EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17-21, 2021, Proceedings, Part I, 2021)

Analysing the HPKE Standard - Supplementary Material (Version v2.0) - Joël Alwen; Bruno Blanchet; Eduard Hauck; Eike Kiltz; Benjamin Lipp; Doreen Riepel (Zenodo, 2021)
Accessed on YYYY-MM-DD.

Analysing the HPKE Standard - Supplementary Material (Version v1.0) - Joël Alwen; Bruno Blanchet; Eduard Hauck; Eike Kiltz; Benjamin Lipp; Doreen Riepel (Zenodo, 2020)
Accessed on YYYY-MM-DD.

An Analysis of Hybrid Public Key Encryption - Benjamin Lipp (IACR Cryptol. ePrint Arch., 2020)

Analysing the HPKE Standard - Joël Alwen; Bruno Blanchet; Eduard Hauck; Eike Kiltz; Benjamin Lipp; Doreen Riepel (IACR Cryptol. ePrint Arch., 2020)

A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol - Benjamin Lipp; Bruno Blanchet; Karthikeyan Bhargavan (IEEE European Symposium on Security and Privacy, EuroS&P 2019, Stockholm, Sweden, June 17-19, 2019, 2019)