Controlling the what and where of declassification in language-based security Mantel, Heiko Reinhard, Alexander 2007 - TUHH Open Research
Comparing countermeasures against interrupt-related covert channels in an information-theoretic framework Mantel, Heiko Sudbrock, Henning 2007 - TUHH Open Research
Transformational typing and unification for automatically correcting insecure programs Köpf, Boris Mantel, Heiko 2007 - TUHH Open Research