Interests
My main research interests are in the field of formal methods for security and programming languages; with particular attention to program verification and semantics, code protection, malware detection, compilation, distributed systems and functional testing.
Projects
Build Trust proof of Concept
Funded by the University of Verona and Build Trust Srl (Joint Project 2021)
Coordinator: Prof. Franco Fummi
Research assistant
Blockchain · UML · Smart-contracts · Automatic code generation · Certification
IT MATTERS – Methods and Tools for Trustworthy Smart Systems
Funded by the Ministry of Education, University and Research - Italy (PRIN Project 2017)
Coordinator: Prof. Rocco De Nicola
External research assistant
Autonomic computing · Formal methods · IoT systems · Verification
ASPRA – Analysis of Program Analyses
Funded by the Ministry of Education, University and Research - Italy (PRIN Project 2017)
Coordinator: Prof. Roberto Giacobazzi
Research assistant
Static analysis · Up-to techniques · Abstract interpretation · Completeness