Joshua Schiffman, Thomas Moyer, Christopher Shal, Trent Jaeger, Patrick Drew McDaniel. Justifying Integrity Using a Virtual Machine Verifier. In Twenty-Fifth Annual Computer Security Applications Conference, ACSAC 2009, Honolulu, Hawaii, 7-11 December 2009. pages 83-92, IEEE Computer Society, 2009. [doi]
Abstract is missing.