Sego: Pervasive Trusted Metadata for Efficiently Verified Untrusted System Services
Design and Implementation of SecPod, A Framework for Virtualization-Based Security Systems