Research

My research is at the intersection of formal methods, automated reasoning and security.

Currently, I am working towards my Ph.D., supervised by Prof. Dr. Cas Cremers. My research centers on formal methods and their applications to cyber security. More specifically, I investigate how the analysis of cryptographic protocols can be scaled from basic to more complex protocols, and from single protocols to systems consisting of multiple protocols.

In this, my focus is on the composability of cryptographic protocols: How can we derive security guarantees of protocols and multi-protocol systems from the analysis of their respective building blocks? I aim to understand under which requirements protocols can be securely composed to form a larger protocol or system, when they cannot be securely composed, and how the properties of individual (sub-)protocols influence the security guarantees provided by their composition.

While my research is mainly motivated by the application of formal methods to real-world problems, I am also very interested in the mathematical and philosophical foundations of formal logics. From my Bachelor’s studies, I kept an interest in algorithmics and complexity theory. On a more practical side, I am also interested in software engineering and (agile) project management.

---