Spremljaj
Aurora Naska
Aurora Naska
CISPA Helmholtz Center for Information Security
Preverjeni e-poštni naslov na cispa.de
Naslov
Navedeno
Navedeno
Leto
Clone detection in secure messaging: Improving post-compromise security in practice
C Cremers, J Fairoze, B Kiesl, A Naska
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020
342020
Formal Analysis of {Session-Handling} in Secure Messaging: Lifting Security from Sessions to Conversations
C Cremers, C Jacomme, A Naska
32nd USENIX Security Symposium (USENIX Security 23), 1235-1252, 2023
132023
Formal Analysis of {SPDM}: Security Protocol and Data Model version 1.2
C Cremers, A Dax, A Naska
32nd USENIX Security Symposium (USENIX Security 23), 6611-6628, 2023
112023
Breaking and Provably Restoring Authentication: A Formal Analysis of SPDM 1.2 including Cross-Protocol Attacks
C Cremers, A Dax, A Naska
Cryptology ePrint Archive, 2024
2024
Impossibility Results for Post-Compromise Security in Real-World Communication Systems
C Cremers, N Medinger, A Naska
Cryptology ePrint Archive, 2024
2024
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–5