Upcoming Events I'm involved in

  • 12th International Conference on Emerging Security Information, Systems and Technologies (SECURAWARE 2018)
  • 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018)
  • 2nd 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