ANR DeCrypt, member (2019-2023) Declarative approach for Symmetric Cryptography
ERC Starting Grant
POPSTAR, PI (2017-2022) Reasoning about Physical
properties Of security Protocols with an Application To contactless
Systems Open positions: Looking for outstanding
students and young researchers.
ANR TECAP,
local PI (2018-2022) Protocol Analysis - Combining
Existing Tools
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.