We stand with Ukraine  

Benjamin Lipp

Orcid: 0000-0001-7827-5520

Affiliations:
  • Max Planck Institute for Security and Privacy (MPI-SP), Bochum, Germany


According to our database1, Benjamin Lipp authored at least 6 papers between 2019 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
The Pre-Shared Key Modes of HPKE.
[BibTeX]
[DOI]
Joël Alwen
,
Jonas Janneck
,
Eike Kiltz
,
Benjamin Lipp
IACR Cryptol. ePrint Arch., 2023

2022
Hybrid Public Key Encryption.
[BibTeX]
[DOI]
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).
[BibTeX]
[DOI]
Benjamin Lipp
PhD thesis, 2022

2020
An Analysis of Hybrid Public Key Encryption.
[BibTeX]
[DOI]
Benjamin Lipp
IACR Cryptol. ePrint Arch., 2020

Analysing the HPKE Standard.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Benjamin Lipp
,
Bruno Blanchet
,
Karthikeyan Bhargavan
Proceedings of the IEEE European Symposium on Security and Privacy, 2019


  Loading...