The conference paper "Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework" by Heiko Mantel and Henning Sudbrock has been accepted for publication at the 20th IEEE Computer Security Foundations Symposium.
The work was funded by the DFG FM-SecEng project.