Awards
- Distinguished paper award at ESORICS 2023:
Tamarin-based Analysis of Bluetooth Uncovers Two Practical Pairing Confusion Attacks with T. Claverie, G. Avoine, and J. Lopes-Esteves
- Recipient of a Google Gift for my work on Security Formal Verification, 2022.
- Award for "distinguished paper" at
CSF 2022 (part
of FLOC):
Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the SQUIRREL Proof Assistant with
D. Baelde, A. Koutsos and S. Moreau
- Best paper award at ToSC 2020:
Catching the Fastest Boomerangs - Application to SKINNY with
P. Derbez and M. Vavrille. The paper will be presented at FSE 2022.
- Best paper award at ESORICS 2020:
Automatic generation of sources lemmas in Tamarin: towards
automatic proofs of security protocols with V. Cortier and J. Dreier
- Award for "distinguished paper" at
CSF 2020:
A Method for Proving Unlinkability of Stateful Protocols with
D. Baelde and S. Moreau
- Outstanding community service award
from the IEEE technical committee on Security and Privacy, 2019.
- EASST Best paper at ETAPS 2016:
Bounding the number of agents, for equivalence too with V.
Cortier and A. Dallon.
- Award for "outstanding thesis" given by France
Télécom (now Orange Labs), 2006.