Building a Hypervisor on a Formally Verifiable Protection Layer

Michael McCoyd, Robert Bellarmine Krug, Deepak Goel, Mike Dahlin, William D. Young. Building a Hypervisor on a Formally Verifiable Protection Layer. In 46th Hawaii International Conference on System Sciences, HICSS 2013, Wailea, HI, USA, January 7-10, 2013. pages 5069-5078, IEEE, 2013. [doi]

Abstract

Abstract is missing.