Alexander Dax

About Me

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 Niklas Medinger and Cas Cremers I have proposed novel security notions for key encapsulation mechanisms (KEMs) while also introducing a methodology to analyse protocols relying on KEMs in 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.

Research Interests

• Formal Analysis of Protocols
• Symbolic Model of Cryptography
• Security Standardization

Publications

Teaching

• Teaching Assistant, Formal analysis of real-world security protocols at Saarland University, 2024/2025
• Instructor, Tamarin Prover Tutorial at Summer School on real-world crypto and privacy, 2024
• Teaching Assistant, Formal analysis of real-world security protocols at Saarland University, 2022
• Assistant, Tamarin Prover Tutorial at Summer School on real-world crypto and privacy, 2022
• Tutor, Informationssysteme at Saarland University, 2017
• Tutor, Foundations of Cybersecurity 1 at Saarland University, 2016/2017