Luigi Catuogno Ivan Visconti An Architecture for Kernel-Level Verification of Executables at Run Time. 511-526 2004 47 Comput. J. 5 http://www3.oup.co.uk/computer_journal/hdb/Volume_47/Issue_05/470511.sgm.abs.html db/journals/cj/cj47.html#CatuognoV04