Aurora Naska

According to our database, Aurora Naska authored at least 5 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Impossibility Results for Post-Compromise Security in Real-World Communication Systems.

Cas Cremers, Niklas Medinger, Aurora Naska

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

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

Formal Analysis of SPDM: Security Protocol and Data Model version 1.2.

Cas Cremers, Alexander Dax, Aurora Naska

IACR Cryptol. ePrint Arch., 2022

2020

Clone Detection in Secure Messaging: Improving Post-Compromise Security in Practice.

Cas Cremers, Jaiden Fairoze, Benjamin Kiesl, Aurora Naska

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020