TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 9.

Barthe, Gilles ; Mantel, Heiko ; Müller, Peter ; Myers, Andrew ; Sabelfeld, Andrei (eds.) (2007):
Executive Summary and Abstracts Collection of Seminar 0709: Mobility, Ubiquity, and Security.
Dagstuhl, [Conference or Workshop Item]

Barthe, Gilles ; Mantel, Heiko ; Müller, Peter ; Myers, Andrew C. ; Sabelfeld, Andrei (eds.) (2007):
Executive Summary and Abstracts Collection of Seminar 0709: Mobility, Ubiquity, and Security.
Dagstuhl, [Conference or Workshop Item]

Banerjee, Anindya ; Mantel, Heiko ; Naumann, David ; Sabelfeld, Andrei (eds.) (2003):
Final Report on Seminar 03411: Language-Based Security.
Dagstuhl, [Conference or Workshop Item]

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), pp. 615--676. IOS Press, [Article]

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), pp. 615-676. IOS Press, [Article]

Sabelfeld, Andrei ; Mantel, Heiko (2002):
Static Confidentiality Enforcement for Distributed Programs.
In: LNCS 2477, In: Proceedings of the 9th International Static Analysis Symposium, SAS'02, pp. 376-394,
Madrid, Spain, Springer-Verlag, [Conference or Workshop Item]

Sabelfeld, Andrei ; Mantel, Heiko (2002):
Static Confidentiality Enforcement for Distributed Programs.
In: LNCS 2477, In: Proceedings of the 9th International Static Analysis Symposium, SAS'02, pp. 376--394,
Springer-Verlag, [Conference or Workshop Item]

Mantel, Heiko ; Sabelfeld, Andrei (2001):
A Generic Approach to the Security of Multi-threaded Programs.
In: Proceedings of the 14th IEEE Computer Security Foundations Workshop, pp. 126-142,
Cape Breton, Nova Scotia, Canada, IEEE Computer Society, [Conference or Workshop Item]

Mantel, Heiko ; Sabelfeld, Andrei (2001):
A Generic Approach to the Security of Multi-threaded Programs.
In: Proceedings of the 14th IEEE Computer Security Foundations Workshop, pp. 126--142,
IEEE Computer Society, [Conference or Workshop Item]

This list was generated on Tue Jun 22 02:23:59 2021 CEST.