About Me

I am a Doctoral Researcher in the Cryptographic Engineering group led by Peter Schwabe at the Max Planck Institute for Security and Privacy. I am currently a Visiting Researcher at CISPA Helmholtz Center for Information Security, hosted by Cas Cremers. My research deals with the security analysis of cryptographic protocols, through the use of formal verification and cryptanalysis.

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

  • Security Analysis of Cryptographic Protocols
  • Secure Messaging
  • Formal Verification
  • Post-Quantum Cryptography

Invited Talks

Contacts

I am always happy to connect regarding research, collaboration, or professional opportunities. You can reach me through email or LinkedIn.