If you made any changes in Pure these will be visible here soon.

Personal profile

Personal profile

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.

Research interests

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.

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or