I am an assistant professor (maître de conférences) at
Institut National des Sciences
(INSA Rennes) and a researcher at the
Institut de Recherche en
Informatique et Systèmes Aléatoires
(IRISA) in Rennes, France. I am a member of the project-team
EMbedded SEcurity and Cryptography
(EMSEC) led by
Previously, I was a research associate at the
University of Luxembourg.
I was a member of the Security and Trust of Software Systems (SaToSS) research group headed by Sjouke Mauw and
a member of the Interdisciplinary Centre for Security, Reliability and Trust.
I received my Ph.D. in computer science from
University of Orléans in France. My Ph.D. thesis supervisor was
We have a master internship proposal on formal foundations of attack-defense trees.
The details are available