Alexander Dax

According to our database, Alexander Dax authored at least 9 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Advancing security protocol verification: A journey along the boundaries of the symbolic model.

Alexander Dax

PhD thesis, 2025

Breaking and Provably Restoring Authentication: A Formal Analysis of SPDM 1.2 including Cross-Protocol Attacks.

Cas Cremers, Alexander Dax, Aurora Naska

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2024

Keeping Up with the KEMs: Stronger Security Notions for KEMs and Automated Analysis of KEM-based Protocols.

Cas Cremers, Alexander Dax, Niklas Medinger

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

Keeping Up with the KEMs: Stronger Security Notions for KEMs.

Cas Cremers, Alexander Dax, Niklas Medinger

IACR Cryptol. ePrint Arch., 2023

Formal Analysis of SPDM: Security Protocol and Data Model version 1.2.

Cas Cremers, Alexander Dax, Aurora Naska

Proceedings of the 32nd USENIX Security Symposium, 2023

Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security.

Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao

Proceedings of the 32nd USENIX Security Symposium, 2023

Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses.

Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer

Proceedings of the 32nd USENIX Security Symposium, 2023

2021

On the Soundness of Infrastructure Adversaries.

Alexander Dax, Robert Künnemann

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2019

How to Wrap it up - A Formally Verified Proposal for the use of Authenticated Wrapping in PKCS#11.

Alexander Dax, Robert Künnemann, Sven Tangermann, Michael Backes

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019