"Detecting Covert Timing Channels with Time-Deterministic Replay."

Ang Chen et al. (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics