Clone Detection in Secure Messaging: Improving Post-Compromise Security in Practice. - Cas Cremers; Jaiden Fairoze; Benjamin Kiesl; Aurora Naska (CCS, 2020)

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

Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations. - Cas Cremers; Charlie Jacomme; Aurora Naska (IACR Cryptol. ePrint Arch., 2022)

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)

Impossibility Results for Post-Compromise Security in Real-World Communication Systems. - Cas Cremers; Niklas Medinger; Aurora Naska (IACR Cryptol. ePrint Arch., 2024)