Shielding Applications from an Untrusted Cloud with Haven
TrustVisor: Efficient TCB Reduction and Attestation