Impossibility Results for Post-Compromise Security in Real-World Communication Systems. - Cremers, Cas; Medinger, Niklas; Naska, Aurora (2025)

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

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

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

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

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

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

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