Guest-transparent instruction authentication for self-patching kernels. - Dannie M. Stanley; Zhui Deng; Dongyan Xu; Rick Porter; Shane Snyder (MILCOM, 2012)