Active Projects

  • FACE: Formal Avenue for Chasing malwarE (Principal Investigator)

Upcoming Events I'm involved in

  • 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
  • 1st Workshop on FORmal methods for Security Engineering (ForSE 2017)
  • 6th Software Security, Protection and Reverse Engineering Workshop (SSPREW 2016)

Past Events I was involved in

  • 9th International Symposium on Foundations & Practice of Security (FPS 2016)
  • 2nd Workshop on Software Protection (SPRO 2016)
  • 6th International Numerical and Symbolic Abstract Domain Workshop (NSAD 2016)