Login / Signup
Aurora Naska
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 5
Top Topics
Payment Protocol
Formal Analysis
Clone Detection
Security Services
Top Venues
IACR Cryptol. ePrint Arch.
USENIX Security Symposium
CCS
</>
Publications
</>
Cas Cremers
,
Charlie Jacomme
,
Aurora Naska
Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations.
USENIX Security Symposium
(2023)
Cas Cremers
,
Alexander Dax
,
Aurora Naska
Formal Analysis of SPDM: Security Protocol and Data Model version 1.2.
USENIX Security Symposium
(2023)
Cas Cremers
,
Alexander Dax
,
Aurora Naska
Formal Analysis of SPDM: Security Protocol and Data Model version 1.2.
IACR Cryptol. ePrint Arch.
2022 (2022)
Cas Cremers
,
Charlie Jacomme
,
Aurora Naska
Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations.
IACR Cryptol. ePrint Arch.
2022 (2022)
Cas Cremers
,
Jaiden Fairoze
,
Benjamin Kiesl
,
Aurora Naska
Clone Detection in Secure Messaging: Improving Post-Compromise Security in Practice.
CCS
(2020)