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

Établi: décembre 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…