Research

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.



Current Projects

(last update: November 16, 2021)

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

  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