Static confidentiality enforcement for distributed programs Sabelfeld, Andrei Mantel, Heiko 2002 - TUHH Open Research
A generic approach to the security of multi-threaded programs Mantel, Heiko Sabelfeld, Andrei 2001 - TUHH Open Research
A unifying approach to the security of distributed and multi-threaded programs Mantel, Heiko Sabelfeld, Andrei 2001 - TUHH Open Research