対外発表

論文（査読付き）

Manabu Hirano, Takahiro Shinagawa, Hideki Eiraku, Shoichi Hasegawa, Kazumasa Omote, Koichi Tanimoto, Takashi Horie, Seiji Mune, Kazuhiko Kato, Takeshi Okuda, Eiji Kawai, Suguru Yamaguchi. "A Two-step Execution Mechanism for Thin Secure Hypervisors". In Proceedings of the 3rd International Conference on Emerging Security Information, Systems and Technologies, Jun, 2009.
Takahiro Shinagawa, Hideki Eiraku, Kouichi Tanimoto, Kazumasa Omote, Shoichi Hasegawa, Takashi Horie, Manabu Hirano, Kenichi Kourai, Yoshihiro Oyama, Eiji Kawai, Kenji Kono, Shigeru Chiba, Yasushi Shinjo and Kazuhiko Kato. "BitVisor: A Thin Hypervisor for Enforcing I/O Device Security", In Proceedings of the 2009 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2009), pp. 121-130, Mar. 2009.
K. Omote, A. Miyaji and K. Kato. "Simple Certificateless Signature with Smart Cards". In Proc. 4th International Workshop on Security in Ubiquitous Computing Systems - SECUBIQ'08, pp.431-436, Dec, 2008.
Manabu Hirano, Takahiro Shinagawa, Hideki Eiraku, Shoichi Hasegawa, Kazumasa Omote, Koichi Tanimoto, Takashi Horie, Kazuhiko Kato, Takeshi Okuda, Eiji Kawai and Suguru Yamaguchi, "Introducing Role-based Access Control to a Secure Virtual Machine Monitor: Security Policy Enforcement Mechanism for Distributed Computers", IEEE International Workshop on Dependable and Secure Services Computing 2008 (DSSC 2008), Dec. 2008.
K. Omote and K. Kato. "Protection and Recovery of Disk Encryption Key using Smart Cards", In Proceedings of the 5th International Conference on Information Technology: New Generations - ITNG'08, pp.106-111, Apr, 2008.
Manabu Hirano, Takeshi Okuda, Eiji Kawai, and Suguru Yamaguchi. "Design and Implementation of a Portable ID Management Framework for a Secure Virtual Machine Monitor". Journal of Information Assurance and Security (JIAS), Vol. 2, pp. 211-216, 2007.
Manabu Hirano, Takeshi Okuda, Eiji Kawai, Suguru Yamaguchi, "Design and Implementation of a Portable ID Management Framework for a Secure Virtual Machine Monitor", 2nd International Workshop on Secure Information Systems (SIS'07), Wisla, Poland, Oct. 2007.

論文（査読なし）

Manabu Hirano, Takeshi Okuda, Eiji Kawai, Takahiro Shinagawa, HidekiEiraku, Kouichi Tanimoto, Shoichi Hasegawa, Takashi Horie, Seiji Mune, Kazumasa Omote, Kenichi Kourai, Yoshihiro Oyama, Kenji Kono, Shigeru Chiba, Yasushi Shinjo, Kazuhiko Kato, and Suguru Yamaguchi, "Portable ID Management Framework for Security Enhancement of Virtual Machine Monitors", Engineering the Computer Science and IT, ISBN978-953-7619-32-9, IN-TECH, 2009.
仮想機械デバイスドライバ検証の一考察．八木勲，河合栄治，関浩之，品川高廣，加藤和彦．情報処理学会研究報告, 2008-CSEC-43(7), pp.37-42, December 5, 2008.
八木勲, 河合栄治, 関浩之, 品川高廣, 加藤和彦．セキュアVMにおけるIDEデバイスドライバの安全性検証．日本ソフトウェア科学会第6回ディペンダブルシステムワークショップ(DSW2008)論文集, pp.137-140, July 2-4, 2008.
品川高廣, 榮樂英樹, 谷本幸一, 面和成, 長谷川晶一, 保理江高志, 平野学, 光来健一, 大山恵弘, 河合栄治, 河野健二, 千葉滋, 新城靖, 加藤和彦. 「準パススルー型仮想マシンモニタBitVisorの設計と実装」. 2008年並列／分散／協調処理に関する『佐賀』サマー・ワークショップ（SWoPP佐賀2008）, 佐賀, 2008年8月.
面和成, 加藤和彦．スマートカードを用いた簡易的なCertificateless Signatureに関する一考察．The 2008 Symposium on Cryptography and Information Security, Miyazaki, Japan, Jan. 22-25, 2008.
面和成, 加藤和彦．スマートカードを用いたディスク暗号鍵の保護およびリカバリに関する一考察．コンピュータセキュリティシンポジウム2007 (CSS2007). 2007年11月．

招待講演

品川高廣．「セキュアVMのアーキテクチャ概要」．第13回仮想化実装技術勉強会．秋葉原ダイビル13F 東大秋葉原拠点大会議室, 2008年5月．
品川高廣．「セキュアVMのアーキテクチャ概要」．第108回システムソフトウェアとオペレーティング・システム研究会．那覇市IT創造館．2008年4月．
Kazuhiko Kato. Modeling and Virtualization for Secure Computing Environments. 12th Annual Asian Computing Science Conference (ASIAN '07), Doha, Qatar, Dec, 2007.
加藤和彦．「セキュアVMプロジェクトの紹介」．セキュリティキャンプ・キャラバン with プログラミング　-筑波-（第5回つくばコンピュータサイエンス産学オープンカレッジ）, 2007年11月．
加藤和彦．「高セキュリティ機能を実現する次世代OS環境構築を目指して」．第4回セキュアOSカンファレンス, 2006年6月．

TV放映

2008年6月11日（水）：サイエンスチャンネル

放送日時：2008年6月11日（水）17:30～18:00 （開始15分23秒～21分25秒）
タイトル：「Moe in the Black Box　情報の世界」（６）情報化の問題は社会問題？
チャンネル：サイエンスチャンネル（無料）
視聴方法：SKY PerfecTV! 765ch, e2 by スカパー！300ch, インターネット

2008年2月23日（土）：テレビ神奈川

放送日時：2008年2月23日（土）ほか
タイトル：『Just Japan』情報の安全に取り組んでいますか？
チャンネル：テレビ神奈川『Just Japan』