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 001 (IACR Cryptol. ePrint Arch., 2019)

On the Soundness of Infrastructure Adversaries. - Alexander Dax; Robert Künnemann (CSF, 2021)

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 (IACR Cryptol. ePrint Arch., 2022)

Formal Analysis of SPDM: Security Protocol and Data Model version 1.2. - Cas Cremers; Alexander Dax; Aurora Naska (IACR Cryptol. ePrint Arch., 2022)

Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security. - Cas Cremers; Alexander Dax; Charlie Jacomme; Mang Zhao (IACR Cryptol. ePrint Arch., 2023)

Keeping Up with the KEMs: Stronger Security Notions for KEMs. - Cas Cremers; Alexander Dax; Niklas Medinger (IACR Cryptol. ePrint Arch., 2023)

Keeping Up with the KEMs: Stronger Security Notions for KEMs and Automated Analysis of KEM-based Protocols. - Cas Cremers; Alexander Dax; Niklas Medinger (CCS, 2024)

Breaking and Provably Restoring Authentication: A Formal Analysis of SPDM 1.2 including Cross-Protocol Attacks. - Cas Cremers; Alexander Dax; Aurora Naska (IACR Cryptol. ePrint Arch., 2024)