alexander (at) dax.saarland
My name is Alex and I am an PhD 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.
Supervised by Prof. Dr. Cas Cremers and Dr. Robert Künnemann.
Supervised by Prof. Michael Backes and Dr. Robert Künnemann.
Cremers, C., Dax, A., Jacomme, C. and Zhao, M., 2023, August. Automated Analysis of Protocols that use Authenticated Encryption How Subtle AEAD Differences can impact Protocol Security. In USENIX 2023.
Distinguished Paper Award
Cremers, C., Dax, A. and Naska, A., 2023, August. Formal Analysis of SPDM Security Protocol and Data Model version 1.2. In USENIX 2023.
Cheval, V., Cremers, C., Dax, A., Hirschi, L., Jacomme, C. and Kremer, S., 2023, August. Hash Gone Bad Automated discovery of protocol attacks that exploit hash function weaknesses. In USENIX 2023.
Distinguished Paper Award
Dax, A. and Künnemann, R., 2021, June. On the soundness of infrastructure adversaries. In 2021 IEEE 34th Computer Security Foundations Symposium (CSF) (pp. 1-16). IEEE.
Dax, A., Künnemann, R., Tangermann, S. and Backes, M., 2019, June. How to Wrap it up-A Formally Verified Proposal for the use of Authenticated Wrapping in PKCS# 11. In 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) (pp. 62-6215). IEEE
Elected Member of the Works Council of the CISPA Helmholtz Center for Information Security.
The FIS e.V. is a nonprofit organization with the goal to ease and improve the studies of computer science students at Saarland Unviersity.
During my junior years in Saarland University I was actively involved in the computer science students' representative council as an elected member.