Talks

2026

Robust Logical Foundations for Mechanizing Post-Quantum Cryptography in Squirrel

Invited talk, GT MFS Annual Meeting
Mar 26, 2026 9:00 AM Luz-Saint-Sauveur (France)
Slides

Robust Logical Foundations for Mechanizing Post-Quantum Cryptography in Squirrel

Les Trans-Numériques, SVP/PQ-TLS joint workshop
Feb 1, 2026 3:00 PM Rennes (France)
Slides

2024

Mechanizing and Automating Cryptographic Arguments

Invited talk, ProTeCS workshop
May 25, 2024 1:30 PM ETH Zurich (Switzerland)
Slides

2023

Mechanized Proofs of Adversarial Complexity and Application to UC

SCOT seminar 15/12/2023
Dec 15, 2023 3:00 PM Online Event
Slides

Verifying Cryptographic Protocols

Demi-heure de science 09/11/2023
Nov 9, 2023 11:00 AM Inria Center, 2 rue Simone Iff, Paris
Slides

2022

Cracking the Stateful Nut

CSF 2022
Aug 9, 2022 11:00 AM Haïfa, Israël
Slides

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability

GT MFS 2022
Mar 23, 2022 11:00 AM Fréjus, France
Slides

2019

The 5G-AKA Authentication Protocol Privacy

STIC Doctoral School Best Scientific Contribution Award Ceremony
Nov 28, 2019 11:30 AM CentraleSupélec Paris-Saclay
Slides

The 5G-AKA Authentication Protocol Privacy

Prosecco Seminar
Nov 5, 2019 2:00 PM INRIA Paris
Slides

The Last Mile: High-Assurance and High-Speed Cryptographic Implementations

Celtique Seminar
Sep 10, 2019 10:00 AM IRISA, Rennes
Slides