Aviram, Hu, Ford, Gummadi, 2010. Determinating Timing Channels in Compute Clouds.