prova

Upcoming Events I'm involved in


  • 29th International Conference on Compiler Construction (CC20)
  • 9th Software Security, Protection and Reverse Engineering Workshop (SSPREW 2019)
  • 12th International Symposium of Foundations & Practice of Security (FPS2019)
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

  • Dagstuhl Seminar 19331 - Software Protection Decision Support and Evaluation Methodologies - August 11th - 16th 2019.
  • 39th International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2019)
  • 3rd International Workshop on Software Protection (SPRO 2019)
  • International Symposium on Code Generation and Optimization (CGO 2019)