Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems | Synapse