Jie Chen 0020, Guru Venkataramani. An algorithm for detecting contention-based covert timing channels on shared hardware. In Ruby B. Lee, Weidong Shi, editors, HASP 2014, Hardware and Architectural Support for Security and Privacy, Minneapolis, MN, USA, June 15, 2014. pages 1, ACM, 2014. [doi]
Abstract is missing.