"An algorithm for detecting contention-based covert timing channels on ..."

Jie Chen, Guru Venkataramani (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics