Aurora Naska

According to our database, Aurora Naska authored at least 3 papers between 2020 and 2022.

Collaborative distances:

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

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