TU BRAUNSCHWEIG
| Carl Friedrich Gauß Faculty | Department of Computer Science
Informatikzentrum

Automatic OS Kernel TCB Reductionby Leveraging Compile-Time Configurability

IDtartler12hotdep
TypeinProceedings - an article in a conference proceedings
AuthorReinhard Tartler
Anil Kurmus
Andreas Ruprecht
Bernhard Heinloth
Valentin Rothberg
Daniela Dorneanu
Rüdiger Kapitza
Wolfgang Schröder-Preikschat
Daniel Lohmann
IBR Author(s)Prof. Dr. Rüdiger Kapitza, Anil Kurmus
IBR Group(s)DS (Prof. Kapitza)
EditorUSENIX
TitleAutomatic OS Kernel TCB Reductionby Leveraging Compile-Time Configurability
Book TitleProceedings of the 8th Workshop on Hot Topics in System Dependability (HotDep '12)
Year2012
LocationHollywood, CA, USA
URLhttp://www4.cs.fau.de/Publications/2012/tartler_12_hotdep.pdf

last changed 2019-07-25, 15:49 by Webmaster
printemailtop