Hrsg.: Barthe, Gilles ; Mantel, Heiko ; Müller, Peter ; Myers, Andrew ; Sabelfeld, Andrei (2007)
Executive Summary and Abstracts Collection of Seminar 0709: Mobility, Ubiquity, and Security.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Barthe, Gilles ; Mantel, Heiko ; Müller, Peter ; Myers, Andrew C. ; Sabelfeld, Andrei (2007)
Executive Summary and Abstracts Collection of Seminar 0709: Mobility, Ubiquity, and Security.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Banerjee, Anindya ; Mantel, Heiko ; Naumann, David ; Sabelfeld, Andrei (2003)
Final Report on Seminar 03411: Language-Based Security.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sabelfeld, Andrei (2003)
A Unifying Approach to the Security of Distributed and Multi-Threaded Programs.
In: Journal of Computer Security (JCS), 11 (4)
Artikel, Bibliographie

Mantel, Heiko ; Sabelfeld, Andrei (2003)
A Unifying Approach to the Security of Distributed and Multi-Threaded Programs.
In: Journal of Computer Security (JCS), 11 (4)
Artikel, Bibliographie

Sabelfeld, Andrei ; Mantel, Heiko (2002)
Static Confidentiality Enforcement for Distributed Programs.
Konferenzveröffentlichung, Bibliographie

Sabelfeld, Andrei ; Mantel, Heiko (2002)
Static Confidentiality Enforcement for Distributed Programs.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sabelfeld, Andrei (2001)
A Generic Approach to the Security of Multi-threaded Programs.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sabelfeld, Andrei (2001)
A Generic Approach to the Security of Multi-threaded Programs.
Konferenzveröffentlichung, Bibliographie