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

Automatic OS Kernel TCB Reductionby Leveraging Compile-Time Configurability

IDtartler12hotdep
TypinProceedings - Artikel in einem Konferenzband
AutorReinhard 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)
EditorUSENIX
TitelAutomatic OS Kernel TCB Reductionby Leveraging Compile-Time Configurability
BuchtitelProceedings of the 8th Workshop on Hot Topics in System Dependability (HotDep '12)
Jahr2012
OrtHollywood, CA, USA
URLhttp://www4.cs.fau.de/Publications/2012/tartler_12_hotdep.pdf

aktualisiert am 07.06.2017, 12:21 von Webmaster
printemailtop