My research interests lie in the areas of security, cryptography, (differential) privacy, programming languages, verification, and logic.

Open positions

I am looking for post-docs to work in programming languages and verification, and their applications to privacy and cryptography. See announcement.


see DBLP

Journals and events


From 2005 until 2009, I was the scientific coordinator the EU project Mobius.

Contact information

Check my official homepage.