Analyzing and improving Linux kernel memory protection: a model checking approach. - Siarhei Liakh; Michael C. Grace; Xuxian Jiang (ACSAC, 2010)

Transparent Protection of Commodity OS Kernels Using Hardware Virtualization. - Michael C. Grace; Zhi Wang 004; Deepa Srinivasan; Jinku Li; Xuxian Jiang; Zhenkai Liang; Siarhei Liakh (SecureComm, 2010)