TU BRAUNSCHWEIG
| Carl-Friedrich-Gauß-Fakultät | Informatik
Informatikzentrum

Automatic OS Kernel TCB Reductionby Leveraging Compile-Time Configurability

ID tartler12hotdep
Typ inProceedings - Artikel in einem Konferenzband
Autor Reinhard Tartler
Anil Kurmus
Andreas Ruprecht
Bernhard Heinloth
Valentin Rothberg
Daniela Dorneanu
Rüdiger Kapitza
Wolfgang Schröder-Preikschat
Daniel Lohmann
IBR Autor(en) Prof. Dr. Rüdiger Kapitza, Anil Kurmus
IBR Gruppe(n) DS (Prof. Kapitza)
Editor USENIX
Titel Automatic OS Kernel TCB Reductionby Leveraging Compile-Time Configurability
Buchtitel Proceedings of the 8th Workshop on Hot Topics in System Dependability (HotDep '12)
Jahr 2012
Ort Hollywood, CA, USA
URL http://www4.cs.fau.de/Publications/2012/tartler_12_hotdep.pdf

aktualisiert am 07.06.2017, 12:21 von Webmaster
printemailtop