Research themes:

Our current research interests fall into the following major themes:

  • Platform security and applications: we investigate the design of new hardware and software platform security techniques as well as the use of current, widely deployed platform security techniques to secure applications and services. PlatSec
  • Machine learning and security/privacy: we study how to apply machine learning techniques to solve security and privacy problems as well as security and privacy challenges that arise in machine learning applications in general. MLSec

In addition to these major themes, we have several other themes where we do exploratory work. Other

Current projects:

  • Rigorous security guarantees for run-time integrity

Past projects: