Justifying Integrity Using a Virtual Machine Verifier. - Joshua Schiffman; Thomas Moyer; Christopher Shal; Trent Jaeger; Patrick D. McDaniel (ACSAC, 2009)