Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
Tamper-Resistant Execution in an Untrusted Operating System Using A Virtual Machine Monitor