ProximiTEE: Hardened SGX Attestation and Trusted Path through Proximity Verification
Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems