About
Matteo Busi is a Researcher (RTD-A) at the Department of Environmental Sciences, Informatics and Statistics at Ca' Foscari University of Venice since February 2023. He previously held academic positions at the University of Pisa, including PhD studies (2017-2020) and postdoctoral work.
- Education:
- PhD in Computer Science (2017-2020), University of Pisa
- M.Sc. in Computer Science (2015-2017), University of Pisa
- B.Sc. in Computer Science (2012-2015), University of Pisa
His research interests focus on software security, language-based security, and secure compilation, with significant contributions to cryptographic constant-time preservation, remote attestation verification, and formal methods for security protocols.
Matteo has served as a program committee member for conferences like PriSC (2022-2024), SecDev (2022-2023), and CSR (2023), and participated in artifact evaluation committees for POPL 2024. His recent publications emphasize formal modeling of security architectures, remote attestation protocols, and cryptographic obfuscation techniques.
- Community Service:
- Program Committee Member: PriSC 2024, 2022; SecDev 2023; CSR 2023
- Artifact Evaluation Committee: POPL 2024
- External Reviewer: ITASEC'20, HotSpot'20, POST'19
He has contributed to educational initiatives including guest lectures on side-channels, tutoring high school students on Turing machines, and serving as teaching assistant for advanced programming and computer science courses. His GitHub activity includes formal verification frameworks for security protocols and compiler validation tools.
