IBR Login
Automatic OS Kernel TCB Reductionby Leveraging Compile-Time Configurability
| ID | tartler12hotdep |
| Type | inProceedings - an article in a conference proceedings |
| Author | Reinhard 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, Dr. Anil Kurmus |
| IBR Group(s) | DS (Prof. Kapitza) |
| Project | tclouds |
| Editor | USENIX |
| Title | Automatic OS Kernel TCB Reductionby Leveraging Compile-Time Configurability |
| Book Title | Proceedings of the 8th Workshop on Hot Topics in System Dependability (HotDep '12) |
| Year | 2012 |
| Location | Hollywood, CA, USA |
| URL | http://www4.cs.fau.de/Publications/2012/tartler_12_hotdep.pdf |