Aurora Naska

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

Collaborative distances:

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

2025

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

Cas Cremers, Niklas Medinger, Aurora Naska

Proceedings of the IEEE Symposium on Security and Privacy, 2025

Breaking and Provably Restoring Authentication: A Formal Analysis of SPDM 1.2 including Cross-Protocol Attacks.

Cas Cremers, Alexander Dax, Aurora Naska

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2023

Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations.

Cas Cremers, Charlie Jacomme, Aurora Naska

Proceedings of the 32nd USENIX Security Symposium, 2023

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

Cas Cremers, Alexander Dax, Aurora Naska

Proceedings of the 32nd USENIX Security Symposium, 2023

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