A Two-Step Execution Mechanism for Thin Secure Hypervisors. - Manabu Hirano; Takahiro Shinagawa; Hideki Eiraku; Shoichi Hasegawa; Kazumasa Omote; Kouichi Tanimoto; Takashi Horie; Seiji Mune; Kazuhiko Kato; Takeshi Okuda; Eiji Kawai; Suguru Yamaguchi (SECURWARE, 2009)