Komodo: Using verification to disentangle secure-enclave hardware from software

Established: December 15, 2014

The Systems Research Group is devoted to advancing the state of the art in distributed systems and operating systems. Our aim is to make systems secure, scalable, fault-tolerant, manageable, fast, and efficient. One of the major themes within the group…