I am a Senior Lecturer, Associate Professor, in the Security and Privacy research group at the University of Edinburgh. I holds a PhD in cryptography from COSIC at the K.U. Leuven and previously was a researcher at Microsoft Research Cambridge in the Programming Principles and Tools group.
My research interest lie at the intersection of formal verification, foundations of cryptography and applied cryptography, especially with regard to privacy-enhancing cryptographic protocols and the formal verification of protocol implementations. For my master thesis I worked on the implementation of the Identity Mixer anonymous credential system at IBM Research Zurich and I am a founding member of the miTLS project, now project Everest, a verified implementation of the TLS standard. For the latter work I am a co-recipient of received the Levchin price for real-world cryptography.