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: 3.

Dmitrienko, Alexandra and Gessner, Dennis and Sadeghi, Ahmad-Reza and Schulz, Steffen and Stüble, Christian and Ullmann, Markus :
Trusted embedded System Operating System (TeSOS) - Study and Design.

[Other] , (2011) (Unpublished)

Darvas, Adam and Hähnle, Reiner and Sands, Dave
Hutter, Dieter and Ullmann, Markus (eds.) :

A Theorem Proving Approach to Analysis of Secure Information Flow.
In: LNCS , 3450 . Springer-Verlag
[Conference or Workshop Item] , (2005)

Darvas, Adam and Hähnle, Reiner and Sands, David
Hutter, Dieter and Ullmann, Markus (eds.) :

A Theorem Proving Approach to Analysis of Secure Information Flow.
[Online-Edition: https://doi.org/10.1007/978-3-540-32004-3_20]
In: Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings. In: Lecture Notes in Computer Science , 3450 . Springer
[Conference or Workshop Item] , (2005)

This list was generated on Tue Apr 23 01:06:31 2019 CEST.