Information-theoretic modeling and analysis of interrupt-related covert channels Mantel, Heiko Sudbrock, Henning 2008 - TUHH Open Research