Théophile Wallez

About me

I am a post-doc researcher at CISPA in the research group of Cas Cremers.

In 2025, I completed my PhD in computer science at Inria Paris in the Prosecco team under the supervision of Karthikeyan Bhargavan and Jonathan Protzenko. I studied in the computer science department of ENS Paris and in 2020 graduated from the Master Parisien de Recherche en Informatique (MPRI).

My research interest includes developing tools to formally analyze cryptographic protocols, and using these tools on real-world protocols, for example on secure messaging protocols such as MLS.

Other websites

Recipes

I enjoy cooking a lot! I wrote a few recipes, techniques and thoughts (in French) on this website. It happens to also be a webring between former students of ENS Paris!

Laptop photos

A collection of photos of people working hard on their computer, even during vacations.

Various accounts on the Internet

You can find me on: