I’m a Ph.D. student at CISPA Helmholtz Center for Information Security, supervised by Prof. Dr. Cas Cremers. The main focus of my research is the theory and practice of automated reasoning, aimed at developing techniques that assist us in solving computationally hard problems such as the verification of security protocols, software, and hardware. Together with Aurora Naska and Cas Cremers I have created and analyzed an extensive formal model of DMTF’s SPDM protocol to enable infrastrucuture security. With Dr. Robert Künnemann I have proposed novel techniques to verify rule-based risk assessment techniques using methods from the Symbolic Model of Cryptography.
Before starting my Ph.D. journey, I did a Master (MSc) in Computer Science under Prof. Dr. Cas Cremers and Dr. Robert Künnemann at Saarland University, Germany, Saarbrücken. There I also finished my Bachelor (BSc) in Cybersecurity under Prof. Michael Backes and Dr. Robert Künnemann.