SKETHIC: Secure Kernel Extension against Trojan Horses with Information-Carrying Codes. - Eun-Sun Cho; Sunho Hong; Sechang Oh; Hongjin Yeh; Manpyo Hong; Cheol Won Lee; Hyundong Park; Chun-Sik Park (ACISP, 2001)