I am a researcher at Microsoft Research Cambridge in the Programming Principles and Tools group and a member of the Constructive Security sub group.
I did my PhD at COSIC (Computer Security and Industrial Cryptography) group at the Department of Electrical Engineering ESAT of the K.U.Leuven. During my PhD I worked as a researcher in the European PRIME project (Privacy Enhancing Identity Management for Everyone) and PrimeLife project. In prehistoric times, I received a degree of Master in Computer Science (Diplom Ingenieur, Dipl.-Ing.) from the University of Klagenfurt, Austria and visited IBM Research Zurich for my master thesis.
I previously worked on privacy-friendly smart metering, zero-knowledge proofs and malleability, and formal verification of cryptographic protocols, especially modular, code-based cryptographic verification.
My current research focus is on privacy-enhancing cryptography and formal reasoning about cryptographic protocols. More specifically, I examine the interplay of cryptography and real-world security systems through collaborative projects on verifiable computation and SSL/TLS.
Please look at DBLP for my publications. Please also contact me directly if you have any questions on my most recent work.