Types vs. PDGs in information flow analysis Mantel, Heiko Sudbrock, Henning 2013 - TUHH Open Research
Assumptions and guarantees for compositional noninterference Mantel, Heiko Sands, David Sudbrock, Henning 2011 - TUHH Open Research
Information-theoretic modeling and analysis of interrupt-related covert channels Mantel, Heiko Sudbrock, Henning 2008 - TUHH Open Research
Comparing countermeasures against interrupt-related covert channels in an information-theoretic framework Mantel, Heiko Sudbrock, Henning 2007 - TUHH Open Research
Combining different proof techniques for verifying information flow security Mantel, Heiko Sudbrock, Henning Kraußer, Tina 2006 - TUHH Open Research