I'm an INRIA Chargé de recherche, or research fellow, in the SECSI project team.
DBLP bibliography.
Slides from recent seminars.
My research concerns formal analysis of information security problems. In particular, I'm interested in security APIs, security protocols, and security of embedded systems.
Together with Mike Bond, I'm the organiser of the Analysis of Security APIs workshop series. The fourth edition, ASA-4, was held in Edinburgh, on July 21st 2010, as part of FLoC.
I'm a speaker at the SICSA Summer School on Formal Reasoning & Representation of Complex Systems, to be held in Edinburgh 14-15 August 2010.
I was General Chair for CSF 2010 at FLoC.
Programme committee for ARSPA-WITS 2010
Organising committee for CryptoForma Paris workshop 25 May.
At LSV I manage the seminars and the library.