Research

Interests

My main research interests are in the fields of software engineering and formal methods for programming languages; with particular attention to functional and security testing, program verification and semantics, language-based security, distributed systems design, code protection and malware detection.



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