Research

We work broadly in computer security and privacy. Our research is at the intersection of trusted computing, system security, program analysis and formal verification. Specifically, our goals are to lay down the foundations for building large-scale secure systems with long-term impact. A lot of our work furthers this goal by showcasing the practical feasibility of securing existing and emerging software systems.