Sego: Pervasive Trusted Metadata for Efficiently Verified Untrusted System Services


Sego is a hypervisor-based system that gives strong privacy and integrity guarantees to trusted applications, even when the guest operating system is compromised or hostile. Sego verifies operating system services, like the file system, instead of replacing them. By associating trusted metadata with user data across all system devices, Sego verifies system services more efficiently than previous systems, especially services that depend on data contents. We extensively evaluate Sego’s performance on real workloads and implement a kernel fault injector to validate Sego’s file system-agnostic crash consistency and recovery protocol.

Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2016 (Accept rate = 53240 = 22%)