Benjamin Lipp

Cryptography Research and Development at Rosenpass • Security Engineering Consultant at Alter Solutions • Guest Researcher, former Post-Doc at Max Planck Institute for Security and Privacy (MPI-SP) • PhD from the Prosecco research team at Inria Paris

Computer-aided cryptography • formal methods in cryptography • mechanized cryptographic proofs • protocol design

At MPI-SP, I have been associated to the research group Foundations of Security and Privacy led by Gilles Barthe.

Prior to MPI-SP, I was at Inria Paris in the Prosecco research team for my PhD. My PhD advisors were Bruno Blanchet and Karthikeyan Bhargavan. I have been working with the CryptoVerif proof assistant and the F* proof-oriented programming language, to write proofs for real-world protocols like WireGuard and the recent Hybrid Public Key Encryption standard that I co-authored.

Blog Posts

Publications

RFCs / Internet Standards

Free and Open Source Software

Peer-Reviewed Articles

Theses

PhD Thesis

Mechanized Cryptographic Proofs of Protocols and their Link with Verified Implementations. The defence took place on June 28, 2022. More information can be found on the page of the PhD defence.

Master's Thesis

A Mechanised Computational Analysis of the WireGuard Virtual Private Network Protocol. This work has been superseeded by the above-mentioned peer-reviewed article. For completeness, the master's thesis is still made available.

Bachelor's Thesis

sPlot-based Training of Multivariate Classifiers in the Belle II Analysis Software Framework, prepared at Karlsruhe Institute of Technology (KIT) during my bachelor studies in physics. (version in the institute's library)

Talks (incomplete)

Teaching

Summer Semester 2023

Summer Semester 2022

University Year 2020-21

I was a teaching assistant at Université Paris Diderot which has become part of Université de Paris.

University Year 2019-20

I was a teaching assistant at Université Paris Diderot which has become part of Université de Paris.

Academic Community Service

Contact

E-Mail: firstname (dot) lastname (ätt) mpi (dash) sp (dot) org

Elsewhere on the Internet