I am a Lecturer in Information Security within the Information Security Group (ISG) at Royal Holloway, University of London. Before joining Royal Holloway, I was a Postdoc at the Institute of Information Security (SEC) at the University of Stuttgart, which I also assisted to set up from scratch. I obtained my doctorate with distinction from the University of Stuttgart and my “Diplom” (cf. MSci) from the University of Trier.

My research interests focus on the formal verification of networked systems, including authentication protocols, web security, and Internet of Things and mobile applications. I am part of the REPROSEC project, a collaboration between INRIA Paris, the SEC, IIT Ghandhinagar, and Royal Holloway. Our contributions include DY*, a new protocol analysis framework that enables modular, holistic verification of precise security goals up to implementation-level details. Furthermore, I am co-author of the Web Infrastructure Model, which allows in-depth verification of complex web standards and applications with unprecedented detail.