Alexander Dax

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 11

Top Topics

Automated Discovery

Hashing Methods

Provably Secure

Top Venues

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

Publications

Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao
Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security. IACR Cryptol. ePrint Arch. 2023 (2023)
Cas Cremers, Alexander Dax, Niklas Medinger
Keeping Up with the KEMs: Stronger Security Notions for KEMs. IACR Cryptol. ePrint Arch. 2023 (2023)
Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. USENIX Security Symposium (2023)
Cas Cremers, Alexander Dax, Aurora Naska
Formal Analysis of SPDM: Security Protocol and Data Model version 1.2. USENIX Security Symposium (2023)
Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao
Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security. USENIX Security Symposium (2023)
Cas Cremers, Alexander Dax, Aurora Naska
Formal Analysis of SPDM: Security Protocol and Data Model version 1.2. IACR Cryptol. ePrint Arch. 2022 (2022)
Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. IACR Cryptol. ePrint Arch. 2022 (2022)
Alexander Dax, Robert Künnemann
On the Soundness of Infrastructure Adversaries. CSF (2021)
Alexander Dax, Robert Künnemann
On the Soundness of Infrastructure Adversaries. CoRR (2021)
Alexander Dax, Robert Künnemann, Sven Tangermann, Michael Backes
How to Wrap it up - A Formally Verified Proposal for the use of Authenticated Wrapping in PKCS#11. CSF (2019)
Alexander Dax, Robert Künnemann, Sven Tangermann, Michael Backes
How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS\#11. IACR Cryptol. ePrint Arch. 2019 (2019)