Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability. - Reinhard Tartler; Anil Kurmus; Bernhard Heinloth; Valentin Rothberg; Andreas Ruprecht; Daniela Dorneanu; Rüdiger Kapitza; Wolfgang Schröder-Preikschat; Daniel Lohmann (HotDep, 2012)

Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring. - Anil Kurmus; Reinhard Tartler; Daniela Dorneanu; Bernhard Heinloth; Valentin Rothberg; Andreas Ruprecht; Wolfgang Schröder-Preikschat; Daniel Lohmann; Rüdiger Kapitza (NDSS, 2013)