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.