@inproceedings{
Hofmann11Ensuring,
Author = {Owen Hofmann and Alan M. Dunn and Sangman Kim and Indrajit Roy and Emmett Witchel},
Title = {Ensuring Operating System Kernel Integrity with {OSck}},
Booktitle = {ASPLOS},
Year = {2011}
}