I'm an INRIA Chargé de recherche, or research fellow, in the SECSI project team.
DBLP bibliography.
I've recently been touring a seminar entitled Blunting Differential Attacks on PIN Processing APIs. Next show in Rennes (January 28).
Slides from other recent seminars.
My research concerns formal analysis of information security problems. In particular, I'm interested in security APIs, security protocols, group protocols, cash machines, and the security of embedded systems in cars.
I'm General Chair for CSF 2010 at FLoC.
Together with Mike Bond, I'm the organiser of the Analysis of Security APIs workshop series. The fourth edition, ASA-4, will be 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.
Programme committee for ARSPA-WITS 2010
Organising committee for CryptoForma Paris workshop 25 May.
At LSV I manage the seminars and the library.