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

Research

Computer-aided cryptographic proofs

Publications

see DBLP

Journals and events

Archive

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

Contact information

Check my official homepage.