Main projects

  • AIDA2 Abstract Interpretation Design and Applications (2008-2010)
    Progetto MIUR COFIN coordinato tra le università di
    Padova (coordinatore), Parma, Verona. (Tot: 60KEuro)
  • FACE: Formal Avenue for Chasing malwarE (2014-2017).Verona and Politecnico di Milano (500KEuro)
  • ATEN Cyberspace Surveillance Technologies (2018-2021) Fondazione CARIVERONA (413KEuro).