My research interests lie in the areas of security, cryptography,
programming languages, verification, and logic.
Journals and events
- From 2011 until 2014, I was chair of the Steering Committee of the POST: Principles of Security and Trust, a security conference affiliated with ETAPS (POST'12,
- From 2005 until 2009, I was the scientific coordinator the EU project