prova



Active Projects
  • FACE: Formal Avenue for Chasing malwarE

Upcoming Events

  • 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
  • 6th Software Security, Protection and Reverse Engineering Workshop (SSPREW 2016)
  • 2nd Workshop on Software Protection (SPRO 2016)
  • 6th International Numerical and Symbolic Abstract Domain Workshop (NSAD 2016)

Past Events

  • IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2016)
  • 5th International Workshop on Program Protection and Reverse Engineering (PPREW15)