Aurora Naska
About Me
I am currently a Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University, where I work under the supervision of Prof. Dr. Cas Cremers. My research focuses on the formal analysis of reliable security guarantees for real-world systems. Specifically, I explore the trade-offs between usability, engineering challenges, and security, examining how these factors impact end-user guarantees of communication systems. My work includes analyzing and identifying vulnerabilities in protocols like DMTF’s SPDM and the Signal protocols.
Previously, I was an Applied Scientist Intern at Amazon Web Services (AWS)’s Automated Reasoning Group in Santa Clara, California in Summer 2023. I completed my Master’s degree in Computer Science at Saarland University and my Bachelor’s in Business Informatics at the University of Tirana, Albania.
News
- I will be attending the IETF #122 meeting in Bangkok, Thailand, as well as HACS and Real World Crypto in Sofia, Bulgaria.
- I will be presentating “Impossibility Results for Post-Compromise Security in Real-World Communication Systems” at S&P 25 in May.
Research Interests
- Formal Analysis of Protocols
- Secure Messaging
- Security Standards
Publications
-
S&P 25
IEEE Symposium on Security and Privacy, 2025. -
CCS 25
ACM Conference on Computer and Communications Security, 2025. -
USENIX 23
USENIX Security Symposium, 2023. -
USENIX 23
USENIX Security Symposium, 2023. -
CCS 20
ACM Conference on Computer and Communications Security, 2020.
Academic Activities
Invited Talks:
Microsoft Research, 2024 Radboud University, 2024 Cornell University, 2023
Teaching:
Lecturer, SUMMER SCHOOL ON REAL-WORLD CRYPTO AND PRIVACY, 2024 Instructor, SUMMER SCHOOL ON REAL-WORLD CRYPTO AND PRIVACY, 2022 Teaching Assistant, Formal analysis of real-world security protocols , 2022