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 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 team 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.
Research Interests
- Formal Analysis of Protocols
- Secure Messaging
- Security Standards
Publications
-
ePrint
IACR Cryptol. ePrint Arch, 2024. -
ePrint
IACR Cryptol. ePrint Arch, 2024. -
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