@inproceedings {179459,
	author = {Reinhard Tartler and Anil Kurmus and Bernhard Heinloth and Valentin Rothberg and Andreas Ruprecht and Daniela Dorneanu and R{\"u}diger Kapitza and Wolfgang Schr{\"o}der-Preikschat and Daniel Lohmann},
	title = {Automatic {OS} Kernel {TCB} Reduction by Leveraging {Compile-Time} Configurability},
	booktitle = {Eighth Workshop on Hot Topics in System Dependability (HotDep 12)},
	year = {2012},
	address = {Hollywood, CA},
	url = {https://www.usenix.org/conference/hotdep12/workshop-program/presentation/Tartler},
	publisher = {USENIX Association},
	month = oct
}
