Matteo Busi

Matteo Busi is a researcher at University Ca' Foscari Venice, specializing in software security, language-based security, and secure compilation. His work focuses on formal verification of security properties in cryptographic implementations and protocol verification using symbolic methods.

Research interests include:

• Software Security
• Language-Based Security
• Secure Compilation
• Formal Verification
• Cryptographic Protocol Analysis
• Embedded Security

Recent publications examine constant-time preservation under obfuscation, remote attestation protocols using pi-calculus, and robust compilation techniques. His contributions span POPL, PriSC, and APLAS conferences from 2019 to 2024.