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
• Post-Quantum Cryptography

Talks

• Signal Lost (Integrity): The Signal App is More than the Sum of its Protocols

       Real World Crypto 2026 [slides]

• 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.