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

Contact information

Check my official homepage.