About Me
I am a Doctoral Researcher at the Max Planck Institute for Security and Privacy, supervised by Peter Schwabe and Cas Cremers. My research deals with the security analysis of cryptographic protocols, through the use of formal verification and cryptanalysis, with an emphasis on secure messaging.
Previously, I completed both my MSc and BSc degrees in Computer Engineering at Polytechnic University of Turin and University of Calabria respectively. My Master’s thesis, titled “Design and in-orbit Demonstration of a Post-Quantum Cryptographic Solution Based on KEMTLS-PDK to Enhance Satellite Communication Security”, is available here. During my studies, I completed two internships as a Cybersecurity Engineer in the Italian Army (Rome, Italy) and at the European Space Agency (Darmstadt, Germany).
Research Interests
- Secure Messaging
- Security Analysis of Cryptographic Protocols
- Formal Verification
- Applied Cryptography
Publications
Message Injection Attacks Against Signal Kien Tuong Truong, Noemi Terzo, Kenneth Paterson
USENIX Security '26, Baltimore, August 2026.
To appear.Formal Security Analysis of the Olvid Messenger Noemi Terzo, Cas Cremers, Ruben Gonzalez, Peter Schwabe, Yuval Yarom, Zhiyuan Zhang
ACM CCS 2026, The Hague, November 2026.
To appear.
Talks
Signal Lost (Integrity): The Signal App is More than the Sum of its Protocols Olvid — The Good, the Bad and the Ugly ZISC Seminar Series @ ETH Zurich, 2025 [abstract]
Contacts
I am always happy to connect regarding research, collaboration, or professional opportunities. You can reach me through email or LinkedIn.