System-Level Non-interference of Constant-Time Cryptography. Part I: Model
Hey, you, get off of my cloud: exploring information leakage in third-party compute clouds