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


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.


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

Publication Page

Cremers, C., Dax, A. and Naska, A., 2023, August. Formal Analysis of SPDM Security Protocol and Data Model version 1.2. In USENIX 2023.

Publication Page

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

Publication Page

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.

Publication Page

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

Publication Page


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.