prova

Upcoming Events I'm involved in

  • 39th International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2019)
  • International Symposium on Code Generation and Optimization (CGO 2019)
  • 3rd International Workshop on FORmal methods for Security Engineering (ForSE 2019)
  • 8th Software Security, Protection and Reverse Engineering Workshop (SSPREW 2018)

Main Projects
  • ASPIS: Big-Code early threat detection by approximate similarity analysis (March 2017 - March 2019), Joint Project 2016 — Principal Investigator
  • FACE: Formal Avenue for Chasing malwarE (March 2014 - March 2018), University of Verona and Politecnico di Milano — Principal Investigator

Past Events I was involved in