| |
| 2008 | ||
|---|---|---|
| 3 | EE | Heiko Mantel, Henning Sudbrock: Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. Formal Aspects in Security and Trust 2008: 67-81 |
| 2007 | ||
| 2 | EE | Heiko Mantel, Henning Sudbrock: Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. CSF 2007: 326-340 |
| 2006 | ||
| 1 | EE | Heiko Mantel, Henning Sudbrock, Tina Kraußer: Combining Different Proof Techniques for Verifying Information Flow Security. LOPSTR 2006: 94-110 |
| 1 | Tina Kraußer | [1] |
| 2 | Heiko Mantel | [1] [2] [3] |