Alexander Dax

15 papers A* 5A 2Journal 7

Year	Rank	Type	Title / Venue / Authors
2025	—	`—`	Advancing security protocol verification: A journey along the boundaries of the symbolic model. Alexander Dax
2025	A*	`conf`	Breaking and Provably Restoring Authentication: A Formal Analysis of SPDM 1.2 including Cross-Protocol Attacks. CCS Cas Cremers, Alexander Dax, Aurora Naska
2024	J	`jnl`	Breaking and Provably Restoring Authentication: A Formal Analysis of SPDM 1.2 including Cross-Protocol Attacks. IACR Cryptol. ePrint Arch. Cas Cremers, Alexander Dax, Aurora Naska
2024	A*	`conf`	Keeping Up with the KEMs: Stronger Security Notions for KEMs and Automated Analysis of KEM-based Protocols. CCS Cas Cremers, Alexander Dax, Niklas Medinger
2023	A*	`conf`	Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security. USENIX Security Symposium Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao
2023	J	`jnl`	Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security. IACR Cryptol. ePrint Arch. Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao
2023	A*	`conf`	Formal Analysis of SPDM: Security Protocol and Data Model version 1.2. USENIX Security Symposium Cas Cremers, Alexander Dax, Aurora Naska
2023	A*	`conf`	Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. USENIX Security Symposium Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
2023	J	`jnl`	Keeping Up with the KEMs: Stronger Security Notions for KEMs. IACR Cryptol. ePrint Arch. Cas Cremers, Alexander Dax, Niklas Medinger
2022	J	`jnl`	Formal Analysis of SPDM: Security Protocol and Data Model version 1.2. IACR Cryptol. ePrint Arch. Cas Cremers, Alexander Dax, Aurora Naska
2022	J	`jnl`	Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. IACR Cryptol. ePrint Arch. Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
2021	A	`conf`	On the Soundness of Infrastructure Adversaries. CSF Alexander Dax, Robert Künnemann
2021	J	`jnl`	On the Soundness of Infrastructure Adversaries. CoRR Alexander Dax, Robert Künnemann
2019	A	`conf`	How to Wrap it up - A Formally Verified Proposal for the use of Authenticated Wrapping in PKCS#11. CSF Alexander Dax, Robert Künnemann, Sven Tangermann, Michael Backes
2019	J	`jnl`	How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS\#11. IACR Cryptol. ePrint Arch. Alexander Dax, Robert Künnemann, Sven Tangermann, Michael Backes