Folgen
Aurora Naska
Aurora Naska
CISPA Helmholtz Center for Information Security
Bestätigte E-Mail-Adresse bei cispa.de
Titel
Zitiert von
Zitiert von
Jahr
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
232020
Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations
C Cremers, C Jacomme, A Naska
Usenix Security, 2023
32023
Formal Analysis of SPDM: Security Protocol and Data Model version 1.2
C Cremers, A Dax, A Naska
Cryptology ePrint Archive, 2022
32022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3