Combining Different Proof Techniques for Verifying Information Flow Security. - Heiko Mantel; Henning Sudbrock; Tina Kraußer (LOPSTR, 2006)

Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. - Heiko Mantel; Henning Sudbrock (CSF, 2007)

Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. - Heiko Mantel; Henning Sudbrock (Formal Aspects in Security and Trust, 2008)

Flexible Scheduler-Independent Security. - Heiko Mantel; Henning Sudbrock (ESORICS, 2010)

Assumptions and Guarantees for Compositional Noninterference. - Heiko Mantel; David Sands 001; Henning Sudbrock (CSF, 2011)

Types vs. PDGs in Information Flow Analysis. - Heiko Mantel; Henning Sudbrock (LOPSTR, 2012)

Compositional and Scheduler-Independent information flow security. - Henning Sudbrock (2013)

An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels. - Richard Gay; Heiko Mantel; Henning Sudbrock (Int. J. Secur. Softw. Eng., 2015)

An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties. - Oliver Bracevac; Richard Gay; Sylvia Grewe; Heiko Mantel; Henning Sudbrock; Markus Tasch (Arch. Formal Proofs, 2018)