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

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
eds.: Hutter, Dieter ; Ullmann, Markus (2005)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Conference or Workshop Item

Darvas, Adam ; Hähnle, Reiner ; Sands, David
eds.: Hutter, Dieter ; Ullmann, Markus (2005)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings.
doi: 10.1007/978-3-540-32004-3_20
Conference or Workshop Item