Slick: Secure Middleboxes using Shielded Execution
Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems