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 and Mantel, Heiko and Müller, Peter and Myers, Andrew and Sabelfeld, Andrei (eds.) (2007):
Executive Summary and Abstracts Collection of Seminar 0709: Mobility, Ubiquity, and Security.
Dagstuhl, [Conference or Workshop Item]

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

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

Mantel, Heiko and Sabelfeld, Andrei (2003):
A Unifying Approach to the Security of Distributed and Multi-Threaded Programs.
In: Journal of Computer Security (JCS), IOS Press, pp. 615--676, 11, (4), [Article]

Mantel, Heiko and Sabelfeld, Andrei (2003):
A Unifying Approach to the Security of Distributed and Multi-Threaded Programs.
In: Journal of Computer Security (JCS), IOS Press, pp. 615-676, 11, (4), [Article]

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

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

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

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

This list was generated on Tue Jun 25 00:48:30 2019 CEST.