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. 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
• Formal Verification of Protocols
• Cryptography in the Wild
• Post-Quantum Cryptography

Contacts

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