Alexander Dax
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.
Experience
CISPA Helmholtz Center for Information Security
Scientific Assistant • April, 2020 - Present
Department of Computer Science, Saarland University
Student Assistant • April, 2019 - February, 2020
CISPA, Saarland University
Student Assistant • April, 2016 - March, 2019
- Scientific student assistant in the Information Security & Cryptography Group.
- Student CISPA representative for career fairs.
- Tutor for university courses
Information System Group, Saarland University
Tutor • April, 2017 - September, 2017
Education
Saarland University, CISPA Helmholtz Center for Information Security
PhD, Computer Science • April, 2020 - Present
Saarland University
Master of Science, Computer Science • October, 2018 - March, 2020
Supervised by Prof. Dr. Cas Cremers and Dr. Robert Künnemann.
Saarland University
Bachelor of Science, Cybersecurity • October, 2015 - September, 2018
Supervised by Prof. Michael Backes and Dr. Robert Künnemann.
Publications
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
Associations
CISPA Works Council
Elected Member • 2022 - Present
Elected Member of the Works Council of the CISPA Helmholtz Center for Information Security.
FIS e.V.
Elected Board Member • 2019 - 2021
The FIS e.V. is a nonprofit organization with the goal to ease and improve the studies of computer science students at Saarland Unviersity.
Computer Science Students' Representative Council
Volunteer • 2017 - 2019
During my junior years in Saarland University I was actively involved in the computer science students' representative council as an elected member.