The following two articles have been accepted for publication at FAST (Workshop on Formal Aspects in Security and Trust):
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.
