We develop techniques and abstractions for building trustworthy computer systems, i.e., systems that are safe and secure. In our work, we:

  • enjoy exploring the fundamental challenges posed to security and safety by large-scale systems consisting of many threads, many nodes, and millions of lines of code written by many programmers
  • seek solutions that solve real-world problems by overcoming theoretical worst-case limitations
  • build prototypes that directly improve the lives of real users and evaluate them on real-world workloads
  • operate at the intersection of operating systems, distributed systems, programming languages, formal methods, and computer architecture

Our work is funded by generous gifts from Google, Microsoft, Intel, Cyberhaven, IBM, and VMware, and grants from ERC and the Swiss NSF.

Are you a student interested in working with us? Take a look at our projects page.