prova


Upcoming Events I'm involved in

  • 7th Software Security, Protection and Reverse Engineering Workshop (SSPREW 2017)
  • 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018)
  • 2st Workshop on FORmal methods for Security Engineering (ForSE 2018)

Active Projects
  • FACE: Formal Avenue for Chasing malwarE (Principal Investigator)
  • ASPIS: Big-Code early threat detection by approximate similarity analysis


Past Events I was involved in