- Award for "distinguished paper" at
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.