An exploration of L2 cache covert channels in virtualized environments
IP covert timing channels: design and detection