Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
using innovative instructions to create trustworthy software solutions .