معرفی
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.
۰مقاله منتشرشده
