A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol. - Benjamin Lipp 001; Bruno Blanchet; Karthikeyan Bhargavan (EuroS&P, 2019)

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

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

Analysing the HPKE Standard - Supplementary Material. - Joël Alwen; Bruno Blanchet; Eduard Hauck; Eike Kiltz; Benjamin Lipp 001; Doreen Riepel (Zenodo, 2020)

Analysing the HPKE Standard - Supplementary Material. - Joël Alwen; Bruno Blanchet; Eduard Hauck; Eike Kiltz; Benjamin Lipp 001; Doreen Riepel (Zenodo, 2021)

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 001 (2022)

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

Analysing the HPKE Standard - Supplementary Material. - Joël Alwen; Bruno Blanchet; Eduard Hauck; Eike Kiltz; Benjamin Lipp 001; Doreen Riepel (Zenodo, 2022)

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