Introducing Role-Based Access Control to a Secure Virtual Machine Monitor: Security Policy Enforcement Mechanism for Distributed Computers. - Manabu Hirano; Takahiro Shinagawa; Hideki Eiraku; Shoichi Hasegawa; Kazumasa Omote; Kouichi Tanimoto; Takashi Horie; Kazuhiko Kato; Takeshi Okuda; Eiji Kawai; Suguru Yamaguchi (APSCC, 2008)

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)

BitVisor: a thin hypervisor for enforcing i/o device security. - Takahiro Shinagawa; Hideki Eiraku; Kouichi Tanimoto; Kazumasa Omote; Shoichi Hasegawa; Takashi Horie; Manabu Hirano; Kenichi Kourai; Yoshihiro Oyama; Eiji Kawai; Kenji Kono; Shigeru Chiba; et al. (VEE, 2009)