The framework of selective interleaving functions and the modular assembly kit Mantel, Heiko 2005 - TUHH Open Research
Exploiting generic aspects of security models in formal developments Mantel, Heiko Schairer, Axel 2005 - TUHH Open Research
Eliminating implicit information leaks by transformational typing and unification Köpf, Boris Mantel, Heiko 2005 - TUHH Open Research