Sego: Pervasive Trusted Metadata for Efficiently Verified Untrusted System Services
Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems