Benjamin Lipp

According to our database, Benjamin Lipp authored at least 9 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Pre-Shared Key Modes of HPKE.

Joël Alwen, Jonas Janneck, Eike Kiltz, Benjamin Lipp

IACR Cryptol. ePrint Arch., 2023

2022

Analysing the HPKE Standard - Supplementary Material.

Joël Alwen, Bruno Blanchet, Eduard Hauck, Eike Kiltz, Benjamin Lipp, Doreen Riepel

Dataset, August, 2022

Hybrid Public Key Encryption.

Richard L. Barnes, Karthikeyan Bhargavan, Benjamin Lipp, Christopher A. Wood

RFC, February, 2022

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

PhD thesis, 2022

2021

Analysing the HPKE Standard - Supplementary Material.

Joël Alwen, Bruno Blanchet, Eduard Hauck, Eike Kiltz, Benjamin Lipp, Doreen Riepel

Dataset, September, 2021

2020

Analysing the HPKE Standard - Supplementary Material.

Joël Alwen, Bruno Blanchet, Eduard Hauck, Eike Kiltz, Benjamin Lipp, Doreen Riepel

Dataset, November, 2020

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

2019

A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol.

Benjamin Lipp, Bruno Blanchet, Karthikeyan Bhargavan

Proceedings of the IEEE European Symposium on Security and Privacy, 2019