大月 勇人，瀧本 栄二，齋藤 彰一，毛利 公一，
ブランチトレース機能を用いたシステムコール呼出し元識別手法,
情報処理学会論文誌，Vol. 57，No. 2，pp. 756-768，2016．

内匠 真也，奥野 航平 ，大月 勇人，瀧本 栄二，毛利 公一，
コンパイラとOSの連携によるデータフロー追跡手法，
情報処理学会論文誌，Vol. 56，No. 12，pp. 2313-2323，2015．

小川 拡，齋藤 彰一，安井 裕亮，川島 龍太，瀧本 栄二，毛利 公一，松尾 啓志，
マルチキューNICを用いたIPsecの並列化手法の実装と評価，
電子情報通信学会論文誌(B)，Vol. J98-B，No. 7，pp. 557-569，2015．

日置 将太，高瀬 拓歩，齋藤 彰一，毛利 公一，松尾 啓志，
Androidにおける実行中のクラスに基づくパーミッション制御手法，
情報処理学会論文誌，Vol. 56，No. 2，pp. 720-732，2015．

大月 勇人，瀧本 栄二，齋藤 彰一，毛利 公一，
マルウェア観測のための仮想計算機モニタを用いたシステムコールトレース手法，
情報処理学会論文誌，Vol. 55，No. 9，pp. 2034-2046，2014．
情報処理学会論文誌ジャーナル特選論文

吉田 健二，齋藤 彰一，毛利 公一，松尾 啓志，
プロセスの耐障害性向上のための多重OSの開発と評価，
情報処理学会論文誌 コンピューティングシステム，Vol. 7，No. 2，pp. 11-24，2014．

瀧本 栄二，樫山 武浩，毛利 公一，滝沢 泰久，
複数異種無線環境における自律分散型経路制御方式，
情報処理学会論文誌，Vol. 54，No. 2，pp. 596-609，2013．

Yuto Otsuki, Eiji Takimoto, Takehiro Kashiyama, Shoichi Saito, Eric W. Cooper, and Koichi Mouri,
Tracing Malicious Injected Threads Using Alkanet Malware Analyzer,
IAENG Transactions on Engineering Technologies, LNEE 247, pp. 283-299, 2013.

冨永 悠生，樫山 武浩，瀧本 栄二，桑原 寛明，毛利 公一，齋藤 彰一，上原 哲太郎，國枝 義敏，
コールスタックの制御データ検査によるスタック偽装攻撃検知，
情報処理学会論文誌，Vol. 53，No. 9，pp. 2075-2085，2012．

渡邉 和樹，片山 吉章，松本 利夫，瀧本 栄二，樫山 武浩，毛利 公一，
仮想計算機モニタXenにおけるRTOS向け割込み通知方式，
情報処理学会論文誌 コンピューティングシステム，Vol. 5，No. 4，pp. 87-100，2012．

廣 真文，鈴来 和久，毛利 公一，
プライバシアウェアOS Salviaにおける共有メモリアクセス制御方式，
情報処理学会論文誌，Vol．50，No．9，pp．1984-1996，2009．

田口 浩，糸賀 裕弥，毛利 公一，山本 哲男，島川 博光，
個々の学習者の理解状況と学習意欲に合わせたプログラミング教育支援，
情報処理学会論文誌，Vol．48，No．2，pp．958-968，2007．

鈴来 和久，一柳 淑美，毛利 公一，大久保 英嗣，
Privacy-Aware OS Salviaにおけるデータアクセス時のコンテキストに基づく適応的データ保護方式，
情報処理学会論文誌:コンピューティングシステム，Vol．47，No．SIG 3(ACS 13)，pp．1-15，2006．

水口 孝夫，芝 公仁，毛利 公一，大久保 英嗣，
分散オペレーティングシステムSolelcにおけるファイル管理機構の構成と性能評価，
情報処理学会論文誌:コンピューティングシステム，Vol．44，No．SIG 10(ACS 2)，pp．97-106，2003．

森本 洋行，小宮山 彰一郎，毛利 公一，吉澤 康文，
性能評価のための命令トレーサの開発，
電子情報通信学会論文誌(D-I)，Vol．J84-D-I，No．6，pp．584-593，2001．

芝 公仁，毛利 公一，大久保 英嗣，
モジュールの共有に基づくプロセス間協調処理の効率化手法，
情報処理学会論文誌，Vol．41，No．6，pp．1723-1733，2000．

毛利 公一，大久保 英嗣，
マイクロカーネルLavenderにおける2レベルスケジューラの構成方式，
情報処理学会論文誌，Vol．40，No．6，pp．2534-2542，1999．

毛利 公一，大久保 英嗣，
マイクロカーネルLavenderの設計と開発，
電子情報通信学会論文誌(D-I)，Vol．J82-D-I，No．6，pp．730-739，1999．

Yuto Otsuki, Eiji Takimoto, Shoichi Saito, Eric W. Cooper, and Koichi Mouri,
Identifying System Calls Invoked by Malware using Branch Trace Facilities,
International MultiConference of Engineers and Computer Scientists 2015 (IMECS 2015), Vol. 1, pp. 145-151, 2015.
Certificate of Merit (Student) for The 2015 IAENG International Conference on Computer Science

Shuhei Aketa, Eiji Takimoto, Yuto Otsuki, Shoichi Saito, Eric W. Cooper, and Koichi Mouri,
Suppressing Redundant TCP Retransmissions in Wireless Mesh Networks,
International MultiConference of Engineers and Computer Scientists 2015 (IMECS 2015), Vol. 2, pp. 556-561, 2015.

Eiji Takimoto, Shuhei Aketa, Yuto Otsuki, Shoichi Saito, Koichi Mouri,
Hybrid Loop-Free Routing Protocol for Wireless Mesh Networks,
IET International Conference on Frontiers of Communications, Networks and Applications (ICFCNA 2014), S3-02, 2014.

Kenji Yoshida, Shoichi Saito, Koichi Mouri and Hiroshi Matsuo,
Orthros: A High-Reliability Operating System with Transmigration of Processes,
2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing (PRDC 2013), pp. 318-327, 2013.

Yuto Otsuki, Eiji Takimoto, Takehiro Kashiyama, Shoichi Saito, Eric W. Cooper, and Koichi Mouri,
Alkanet: A Dynamic Malware Analyzer based on Virtual Machine Monitor,
World Congress on Engineering and Computer Science 2012 (WCECS 2012), Vol. 1, pp. 36-44, 2012.

Shozo Ida, Takehiro Kashiyama, Eiji Takimoto, Shoichi Saito, Eric Wallace Cooper, and Koichi Mouri,
Design and Implementation of DF-Salvia which Provides Mandatory Access Control based on Data Flow,
International MultiConference of Engineers and Computer Scientists 2012 (IMECS 2012), Vol. 1, pp. 182-189, 2012.

Hironori Shirai, Shoichi Saito, Koichi Mouri, and Hiroshi Matsuo,
Monitoring Instruction-based Intrusion Detection and Self-Healing System,
International MultiConference of Engineers and Computer Scientists 2012 (IMECS 2012), Vol. 1, pp. 250-256, 2012.
Best Student Paper Award of The 2012 IAENG International Conference on Computer Science

Yudai Kato, Shoichi Saito, Koichi Mouri, and Hiroshi Matsuo,
Faster Recovery from Operating System Failure and File Cache Missing,
International MultiConference of Engineers and Computer Scientists 2012 (IMECS 2012), Vol. 1, pp. 218-223, 2012.

Yuuki Tominaga, Takehiro Kashiyama, Eiji Takimoto, Hiroaki Kuwabara, Koichi Mouri, Shoichi Saito, Tetsutaro Uehara and Yoshitoshi Kunieda,
Secure Call and Return Instructions for Mimicry Attack Detection,
Proceedings of the Innovative Architecture for Future Generation High-Performance Processors and Systems (IWIA 2012), pp. 55-60, 2012.

渡邉 和樹，片山 吉章，松本 利夫，瀧本 栄二，樫山 武浩，毛利 公一，
仮想計算機モニタXenにおけるRTOS向け割込み通知機構，
コンピュータシステム・シンポジウム論文集，Vol. 2011，pp. 22-31，情報処理学会，2011．

鈴来 和久，毛利 公一，大久保 英嗣，
プライバシ保護に適したデータの伝搬範囲の適応的制御手法，
コンピュータシステム・シンポジウム論文集，pp．87-96，情報処理学会，2007．

廣 真文，鈴来 和久，毛利 公一，
プライバシアウェアOS Salviaにおける共有メモリアクセス制御手法，
コンピュータシステム・シンポジウム論文集，pp．69-78，情報処理学会，2007．

Kazuhisa Suzuki, Koichi Mouri and Eiji Okubo,
Salvia: A Privacy-Aware Operating System for Prevention of Data Leakage,
Advances in Information and Computer Security (Second International Workshop on Security, IWSEC 2007), LNCS 4752, pp. 230-245, 2007.

瀧本 栄二，滝沢 泰久，毛利 公一，大久保 英嗣，
AGマイクロカーネルにおけるリフレクティブエージェントの構成手法とスケジューラへの適用，
コンピュータシステム・シンポジウム論文集，pp．129-138，情報処理学会，2004．

Azizul Haq, Ryoya Ichioka, Naoki Matsumoto, Jacob Woltersdorf, Koichi Mouri, and Eiji Okubo,
Design of A Query Processing Architecture for Heterogeneous Sensor Network Database,
Proceedings of the 2nd International Conference on Computer Science and its Applications (ICCSA-2004), pp. 1-2, 2004.

Tadahiko Maeda, Koichi Mouri and Eiji Okubo,
Multi-Wireless Standards and Wireless-Oriented Operating System for Antenna Subsystem Based on Space Domain Wireless Resource Scheduling,
Proceedings of the 2002 Interim International Symposium on Antennas and Propagation (ISAP 2002), pp. 362-365, 2002.

Koichi Mouri and Yasufumi Yoshizawa,
Network QoS Control Mechanism for Multimedia Applications,
International Workshop on Next Generation Internet and its Applications Part III Joint Sessions, pp. 39-46, Internet Workshop 2001(IWS2001), 2001.

笠井 秀一，毛利 公一，吉澤 康文，
システムの負荷を考慮した負荷分散ルータの開発，
第42回プログラミング・シンポジウム報告集，pp．99-106，情報処理学会，2001．

毛利 公一，吉澤 康文，
リアルタイム通信向け予約型帯域保証機構の開発，
第42回プログラミング・シンポジウム報告集，pp．91-98，情報処理学会，2001．

大島 明浩，毛利 公一，吉澤 康文，
仮想計算機によるOSデバッグ支援機能の開発，
コンピュータシステム・シンポジウム論文集，pp．61-68，情報処理学会，2000．

瀧本 栄二，明田 修平，大月 勇人，齋藤 彰一，毛利 公一，
無線通信におけるTCP再送オフロードに関する一検討，
電子情報通信学会技術研究報告，Vol. 115，No. 496，pp. 49-54，2016．

佐藤 皓平，毛利 公一，齋藤 彰一，
Androidアプリケーション実行状態の端末間移送機構の設計と実装，
情報処理学会研究報告，Vol. 2016-CSEC-72，No. 38，pp. 1-8，2016．

松本 隆志，大月 勇人，明田 修平，瀧本 栄二，齋藤 彰一，毛利 公一，
Argosの動的テイント解析機能を利用したOSによる情報漏洩防止手法，
情報処理学会研究報告，Vol. 2016-CSEC-72，No. 33，pp. 1-8，2016．

大倉 有喜，大月 勇人，田中 恭之，明田 修平，瀧本 栄二，毛利 公一，
マルウェア解析のためのシステムコールトレースログと通信ログの突合手法，
情報処理学会研究報告，Vol. 2016-CSEC-72，No. 23，pp. 1-8，2016．

岩間 響子，毛利 公一，齋藤 彰一，
多様な障害へ対応したカーネルレベル障害検知機能の提案と実装，
情報処理学会研究報告，Vol. 2016-OS-136，No. 7，pp. 1-9，2016．

田原 裕暉，大月 勇人，明田 修平，瀧本 栄二，川端 秀明，窪田 歩，毛利 公一，
Androidにおけるモジュールを越えたAPI呼出し元特定手法，
2016年暗号と情報セキュリティシンポジウム(SCIS2016)，No. 1B2-5，pp. 1-8，2016．

佐藤 卓哉，明田 修平，大月 勇人，齋藤 彰一，國枝 義敏，毛利 公一，瀧本 栄二，
IEEE802.11 MACの拡張によるデュアルキャストの実装と評価，
電子情報通信学会技術研究報告，Vol. 115，No. 311，pp. 47-52，2015．

大倉 有喜，大月 勇人，田中 恭之，明田 修平，瀧本 栄二，毛利 公一，
マルウェア解析のためのシステムコールトレースログと通信の対応付け手法，
コンピュータセキュリティシンポジウム2015(CSS2015)論文集，Vol. 2015，No. 3，pp. 1379-1386，2015．

大月 勇人，中野 進，明田 修平，瀧本 栄二，齋藤 彰一，毛利 公一，
Windows 10 x64 環境を対象とするシステムコールトレーサの実現手法
コンピュータセキュリティシンポジウム2015(CSS2015)論文集，Vol. 2015，No. 3，pp. 839-846，2015．

中野 進，大月 勇人，明田 修平，瀧本 栄二，齋藤 彰一，毛利 公一，
Windows 7 x64 環境におけるマルウェア解析向けデータ取得法
コンピュータセキュリティシンポジウム2015(CSS2015)論文集，Vol. 2015，No. 3，pp. 831-838，2015．

福島 滉章，大月 勇人，瀧本 栄二，毛利 公一，
仮想計算機モニタとゲストOSの協調によるCPU資源割り付け方式，
第77回全国大会講演論文集，Vol. 1，pp. 143-144，2015．
学生奨励賞受賞

柴田 達也，奥野 航平，大月 勇人，瀧本 栄二，毛利 公一，
QEMUを用いた命令拡張によるリターンアドレス書換え攻撃検知手法，
情報処理学会研究報告，Vol. 2015-CSEC-68，No. 33，pp. 1-8，2015．

奥野 航平，内匠 真也，大月 勇人，瀧本 栄二，毛利 公一，
コンパイラを用いた情報フロー制御による情報漏洩防止機構，
情報処理学会研究報告，Vol. 2015-CSEC-68，No. 13，pp. 1-8，2015．

内匠 真也，奥野 航平，大月 勇人，瀧本 栄二，毛利 公一，
コンパイラとOSの連携によるデータフロー追跡手法，
情報処理学会研究報告，Vol. 2015-CSEC-68，No. 12，pp. 1-8，2015．

野村 拓矢，明田 修平，大月 勇人，毛利 公一，瀧本 栄二，
PiggyCode改善方式の提案と実機評価，
情報処理学会研究報告，Vol. 2015-MBL-74，No. 55，pp. 1-8，2015．
奨励発表賞受賞

田原 裕暉，渡邊 華奈子，大月 勇人，瀧本 栄二，川端 秀明，竹森 敬祐，毛利 公一，
Androidアプリ内の利用者情報を収集するモジュール特定方式，
2015年暗号と情報セキュリティシンポジウム(SCIS2015)，No. 4A2-5，pp. 1-8，2015．

渡邊 華奈子，田原 裕暉，大月 勇人，瀧本 栄二，川端 秀明，竹森 敬祐，毛利 公一，
環境によって変化するスマートフォンアプリケーション内広告ライブラリの動作検証方法に関する一考察，
2015年暗号と情報セキュリティシンポジウム(SCIS2015)，No. 4A2-4，pp. 1-7，2015．

大月 勇人，瀧本 栄二，齋藤 彰一，毛利 公一，
ブランチトレース機能を用いたシステムコール呼出し元アドレス取得手法，
コンピュータセキュリティシンポジウム2014(CSS2014)論文集，No. 2014，Vol. 2，pp. 843-850，2014．
MWS2014優秀論文賞受賞

赤川 奨，明田 修平，大月 勇人，瀧本 栄二，毛利 公一，
MANETにおけるコネクション分割によるTCP再送制御の局所化手法，
2014ソサイエティ大会講演論文集，B-7-41，電子情報通信学会，2014．

田仲 竜也，明田 修平，大月 勇人，瀧本 栄二，毛利 公一，
消失訂正符号⽅式におけるリンク品質に基づく冗⻑率の動的制御，
2014ソサイエティ大会講演論文集，B-6-34，電子情報通信学会，2014．

石川 幸希，齋藤 彰一，瀧本 栄二，毛利 公一，松尾 啓志，
Orthrosにおける異なるカーネルバージョンによる多重化の実現とファイルキャッシュマイグレーションへの適用，
情報処理学会研究報告，Vol. 2014-OS-130，No. 23，pp. 1-8，2014．
最優秀学生発表賞受賞

高瀬 拓歩，日置 将太，齋藤 彰一，瀧本 栄二，毛利 公一，松尾 啓志，
Androidにおける高速な簡易スタックトレースの実現とパーミッション制御手法への応用，
情報処理学会研究報告，Vol. 2014-CSEC-66，No. 7，pp. 1-7，2014．

小川 拡，齋藤 彰一，川島 龍太，瀧本 栄二，毛利 公一，松尾 啓志，
IPsecトンネリングにおけるパケットフロー単位での並列処理手法の提案，
情報処理学会研究報告 Vol. 2014-IOT-26，No. 10，pp. 1-8，2014．

穴田 啓晃，毛利 公一，山田 明，
国際会議NDSS2014参加報告，
情報処理学会研究報告，Vol. 2014-CSEC-65，No. 29，pp. 1-6，2014．

岡田 数馬，明田 修平，大月 勇人，瀧本 栄二，毛利 公一，
無線インタフェース集約における課題とその解決手法，
2014年電子情報通信学会総合大会 通信講演論文集，Vol. 2，p. 256 (B-7-81)，2014．

富樫 荘太，大月 勇人，瀧本 栄二，毛利 公一，
LinuxのCgroupsにおけるCPU throttlingの精度改善手法，
2014年電子情報通信学会総合大会 情報・システム講演論文集，Vol. 1，p. 62 (D-6-14)，2014．

奥野 航平，大月 勇人，瀧本 栄二，毛利 公一，
コード変換を利用した機密度に基づくアクセス制御機構，
第76回全国大会講演論文集，Vol. 1，pp. 326-327，2014．
学生奨励賞受賞

渡邊 華奈子，川端 秀明，竹森 敬祐，大月 勇人，瀧本 栄二，毛利 公一，
スマートフォンアプリケーション向け広告ライブラリのプライバシーに関する実態調査，
2014年暗号と情報セキュリティシンポジウム(SCIS2014)，3D1-3，pp. 1-8，2014．

明田 修平，大月 勇人，毛利 公一，瀧本 栄二，
経路変更に起因する冗長なTCP再送制御の抑制手法の改善，
電子情報通信学会技術研究報告，Vol. 113，No. 304，pp. 29-34, 2013．

大月 勇人，瀧本 栄二，齋藤 彰一，毛利 公一，
Alkanetにおけるシステムコールの呼出し元動的リンクライブラリの特定手法，
コンピュータセキュリティシンポジウム2013(CSS2013)論文集，Vol.2013，No. 4，pp. 753-760，2013．

渡邊 華奈子，大月 勇人，瀧本 栄二，齋藤 彰一，毛利 公一，
ユーザの意図しない情報の漏洩を防止するパーミッション動的制御，
情報処理学会研究報告，Vol. 2013-CSEC-62，No. 23，pp. 1-8，2013.

日置 将太，齋藤 彰一，毛利 公一，松尾 啓志，
Androidにおける実行コンテキストによるパーミッション切り替え手法の提案，
情報処理学会研究報告，Vol. 2013-CSEC-62，No. 22，pp. 1-8，2013.

明田 修平，大月 勇人，毛利 公一，瀧本 栄二，
シーケンス番号の差分に基づいた経路変更に起因するTCP再送制御の抑制手法，
電子情報通信学会技術研究報告，Vol. 113，No. 123，pp. 61-66, 2013．

明田 修平，瀧本 栄二，毛利 公一，
MANETにおける経路変更に起因するTCP再送制御の抑制手法，
2013年電子情報通信学会総合大会 通信講演論文集，Vol. 2，p. 217 (B-7-73)，2013．

若林 大晃，片山 吉章，出口 昌弘，瀧本 栄二，毛利 公一，
コンパイラを用いた命令変換によるメモリエラーの検出と訂正 ，
2013年電子情報通信学会総合大会 情報・システム講演論文集，Vol. 1，p. 150 (D-10-4)，2013．

富樫 荘太，片山 吉章，桐村 昌行，瀧本 栄二，毛利 公一，
LinuxのCgroupsにおけるCPU throttlingの性能評価，
2013年電子情報通信学会総合大会 情報・システム講演論文集，Vol. 1，p. 58 (D-6-11)，2013．

胡 懐穎，瀧本 栄二，毛利 公一，
無線マルチホップネットワークにおけるTCP通信へのネットワークコーディングの適用，
電子情報通信学会技術研究報告，Vol. 112，No. 352，pp. 45-50，2012．

安井 裕亮，齋藤 彰一，津邑 公暁，毛利 公一，松尾 啓志，
アプリケーション - カーネル間共有メモリを用いたユーザ関数カーネル内実行機構の実現，
情報処理学会研究報告，Vol. 2012-OS-123，No. 10，pp. 1-7，2012．
最優秀学生発表賞受賞

大月 勇人，若林 大晃，瀧本 栄二，齋藤 彰一，毛利 公一，
マルウェアアナライザAlkanetによるマルウェア解析報告2012，
コンピュータセキュリティシンポジウム2012(CSS2012)論文集，Vol. 2012，No. 3，pp. 106-113，情報処理学会，2012．

吉田 健二，加藤 雄大，齋藤 彰一，毛利 公一，松尾 啓志，
OSの多重化とプロセス移植によるフェイルオーバー機構の開発，
情報処理学会研究報告，Vol. 2012-OS-122，No. 20，pp. 1-9，2012．

稲葉 和希，白井 宏憲，齋藤 彰一，毛利 公一，松尾 啓志，
命令レベル動的解析と関数レベル静的解析による侵入検知システムの開発，
情報処理学会研究報告，Vol. 2012-OS-122，No. 11，pp. 1-8，2012．
最優秀学生発表賞受賞

渡邉 和樹，片山 吉章，松本 利夫，瀧本 栄二，樫山 武浩，毛利 公一，
仮想計算機モニタXenにおけるRTOS向けタイマ割込み管理機構の構築と評価，
第74回全国大会講演論文集，Vol. 1，pp. 167-168，情報処理学会，2012．
学生奨励賞受賞

金川 高久，毛利 公一，
RTOSのためのXenにおける仮想化オーバヘッドの可視化，
第74回全国大会講演論文集，Vol. 1，pp. 169-170，情報処理学会，2012．

大石 達也，樫山 武浩，瀧本 栄二，毛利 公一，
動的テイント解析とOSの連携による情報漏洩防止手法の提案，
第74回全国大会講演論文集，Vol. 3，pp. 631-632，情報処理学会，2012．

富樫 荘太，片山 吉章，出口 昌弘，毛利 公一，
Linuxの資源管理機構Control Groupsの性能調査，
第74回全国大会講演論文集，Vol. 1，pp. 125-126，情報処理学会，2012．

若林 大晃，片山 吉章，出口 昌弘，毛利 公一，
メモリエラーに起因するデータ破損を検出するソフトウェアの提案，
第74回全国大会講演論文集，Vol. 1，pp. 133-134，情報処理学会，2012．

Yuuki Tominaga, Takehiro Kashiyama, Eiji Takimoto, Hiroaki Kuwabara, Koichi Mouri, Shoichi Saito, Tetsutaro Uehara and Yoshitoshi Kunieda,
Secure Call and Return Instructions for Mimicry Attack Detection,
The International Workshop on Innovative Architecture for Future Generation High-Performance Processors and Systems (IWIA) 2012, 2012.

樫山 武浩，瀧本 栄二，毛利 公一，
コンパイラとOSの連携によるデータフロー間伝播解析，
コンピュータセキュリティシンポジウム2011(CSS2011)論文集，Vol. 2011，No. 3，pp. 768-773，情報処理学会，2011．

大月 勇人，瀧本 栄二，樫山 武浩，毛利 公一，
マルウェア挙動解析のためのシステムコール実行結果取得法，
コンピュータセキュリティシンポジウム2011(CSS2011)論文集，Vol. 2011，No. 3，pp. 95-100，情報処理学会，2011．

渡邉 和樹，瀧本 栄二，樫山 武浩，毛利 公一，
仮想計算機モニタXenにおけるMSIを用いたRTOS向け割込み通知機構，
情報処理学会研究報告，Vol. 2011-OS-117，No. 27，pp. 1-9，2011．

樫山 武浩，河島 裕亮，井田 章三，瀧本 栄二，毛利 公一，
データフロー情報に基づくアクセス制御のためのプログラム解析，
情報処理学会研究報告，Vol. 2011-CSEC-52，No. 45，pp. 1-6，2011．

瀧本 栄二，樫山 武浩，毛利 公一，滝沢 泰久，
マルチチャネル・マルチホップ無線LANシステムにおける経路制御方式，
情報処理学会研究報告，Vol. 2011-DPS-146，No. 3，pp. 1-6，2011.

渡邉 和樹，瀧本 栄二，樫山 武浩，毛利 公一，
仮想計算機モニタXenにおけるRTOS向け割込み通知機構，
第73回全国大会講演論文集，Vol. 1，pp. 183-184，情報処理学会，2011．

井田 章三，河島 裕亮，樫山 武浩，瀧本 栄二，毛利 公一，
データフローを主体としたアクセス制御を実現するDF-Salviaの設計と開発，
第73回全国大会講演論文集，Vol. 3，pp. 511-512，情報処理学会，2011．

河島 裕亮，井田 章三，樫山 武浩，瀧本 栄二，毛利 公一，
DF-Salviaにおけるアクセス制御のためのデータフロー解析手法，
第73回全国大会講演論文集，Vol. 3，pp. 513-514，情報処理学会，2011．
学生奨励賞受賞

大月 勇人，毛利 公一，
仮想計算機モニタによるマルウェアの監視，
コンピュータセキュリティシンポジウム2010(CSS2010)論文集，Vol. 2010，No. 9，pp. 225-230，情報処理学会，2010．

川口 雄二郎，瀧本 栄二，毛利 公一，
無線LANにおけるアソシエーションの最適化を行うQoS制御システムの評価，
マルチメディア・分散・協調とモバイル(DICOMO 2010)シンポジウム論文集，pp．1890-1897，情報処理学会，2010．

永島 力，渡邉 和樹，茂田井 寛隆，片山 吉章，毛利 公一，
仮想計算機におけるリアルタイム性保証のためのI/O 割込み管理手法，
情報処理学会研究報告，Vol. 2010-EMB-16，No. 31，pp. 1-8，2010．

野村 和裕，吉村 拓也，毛利 公一，
マルウェア解析のための仮想計算機モニタを用いたシステムコール情報の取得，
第72回全国大会講演論文集，Vol. 3，pp. 611-612，情報処理学会，2010．
学生奨励賞受賞

吉村 拓也，野村 和裕，毛利 公一，
マルウェア解析のための仮想計算機モニタを用いたシステムコールフック手法，
第72回全国大会講演論文集，Vol. 3，pp. 609-610，情報処理学会，2010．

渡邉 和樹，永島 力，茂田井 寛隆，片山 吉章，毛利 公一，
XenにおけるPCI Passthroughの性能評価，
情報処理学会研究報告，Vol．2010-OS-113，No．3，pp．1-8，2010．

野村 和裕，吉村 拓也，毛利 公一，
仮想計算機を使ったマルウェアの挙動解析，
コンピュータセキュリティシンポジウム2009(CSS2009)論文集，Vol. 2009，No. 11，pp. 787-792，情報処理学会，2009．

永島 力，金城 聖，毛利 公一，
仮想計算機モニタにおける割込み処理の性能評価，
第71回全国大会講演論文集，Vol．1，pp．59-60，情報処理学会，2009．

小野 利直，金城 聖，永島 力，毛利 公一，
組込みシステムを想定したXenの軽量化手法，
第71回全国大会講演論文集，Vol．1，pp．61-62，情報処理学会，2009．

荒木 裕靖，毛利 公一，
協調型仮想計算機システムにおける協調機構，
第71回全国大会講演論文集，Vol．1，pp．63-64，情報処理学会，2009．

川口 雄二郎，毛利 公一，
無線基地局と端末の協調によるQoS制御システム，
第71回全国大会講演論文集，Vol．1，pp．165-166，情報処理学会，2009．

金城 聖，永島 力，毛利 公一，
仮想計算機上のRT-OSと非RT-OSに対するタイマ割込み管理手法，
第71回全国大会講演論文集，Vol．1，pp．21-22，情報処理学会，2009．

井田 章三，岩永 真幸，毛利 公一，
Privacy-aware OS Salviaにおけるデータフローを主体としたアクセス制御手法，
第71回全国大会講演論文集，Vol．3，pp．353-354，情報処理学会，2009．
学生奨励賞受賞

岩永 真幸，毛利 公一，
情報漏洩防止のための出力先毎に制御可能なファイルアクセス制御方式，
第71回全国大会講演論文集，Vol．3，pp．355-356，情報処理学会，2009．

河島 裕亮，岩永 真幸，毛利 公一，
ユーザレベルでの情報漏洩防止機構User-Mode Salviaの構築，
第71回全国大会講演論文集，Vol．3，pp．361-362，情報処理学会，2009．

鍛治 輝行，岩永 真幸，毛利 公一，
Linux Security Moduleを用いたPrivacy-aware OS Salviaの構築，
第71回全国大会講演論文集，Vol．3，pp．365-366，情報処理学会，2009．

金城 聖，永島 力，元濱 努，片山 吉章，毛利 公一，
リアルタイム仮想化ソフトウェア基盤におけるタイマ割込み通知機構，
情報処理学会研究報告 2008-EMB-10，Vol．2008，No．116，pp．9-16，2008．

河島 裕亮，井田 章三，鍛治 輝行，岩永 真幸，毛利 公一，
セキュアOS Salviaを用いたファイルアクセス制御，
コンピュータセキュリティシンポジウム2008，デモンストレーション・セッション，DS-02，2008．

岩永 真幸，毛利 公一，
リムーバブルメディアを経由した情報漏洩を防止する手法，
コンピュータセキュリティシンポジウム2008(CSS2008)論文集，Vol. 2008，No. 8，pp. 211-216，情報処理学会，2008．

荒木 裕靖，佐治 勇季，金城 聖，毛利 公一，
協調型仮想計算機システム向けOSにおけるプロセッサ間同期手法，
情報処理学会研究報告 2008-OS-108，Vol．2008，No．35，pp．171-178，2008．

岩永 真幸，毛利 公一，
Thin Clientシステムにおけるリムーバブルメディアを介した情報漏洩の防止手法，
第70回全国大会講演論文集，Vol．3，pp．441-442，情報処理学会，2008．

永島 力，金城 聖，荒木 裕靖，毛利 公一，
仮想計算機上でのリアルタイムOSの動作に対する評価と考察，
第70回全国大会講演論文集，Vol．1，pp．153-154，情報処理学会，2008．

岩永 真幸，毛利 公一，
Thin Clientシステムにおけるリムーバブルメディアのアクセス制御，
情報処理学会研究報告 2008-CSEC-40/2008-DPS-134，Vol．2008，No．21，pp．121-126，2008．

荒木 裕靖，金城 聖，元濱 努，片山 吉章，毛利 公一，
動的なプロセッサコア資源の変動に適応するCPUスケジューラの検討，
情報処理学会研究報告 2008-OS-107，Vol．2008，No．9，pp．119-125，2008．

金城 聖，荒木 裕靖，元濱 努，片山 吉章，毛利 公一，
仮想計算機モニタを利用したゲストOSの入出力要求監視手法，
情報処理学会研究報告 2008-OS-107，Vol．2008，No．9，pp．9-15，2008．

毛利 公一，
システムコール間のデータフローに基づくデータ漏洩防止手法，
コンピュータセキュリティシンポジウム2007(CSS2007)論文集，pp. 631-636，情報処理学会，2007．

表 雄仁，森山 壱貴，桑原 寛明，毛利 公一，齋藤 彰一，上原 哲太郎，國枝 義敏，
コンパイラとOSの連携による強制アクセス制御向けプロセス監視手法，
コンピュータセキュリティシンポジウム2007(CSS2007)論文集，pp. 109-114，情報処理学会，2007．

森山 壱貴，表 雄仁，桑原 寛明，毛利 公一，齋藤 彰一，上原 哲太郎，國枝 義敏，
コンパイラとOSの連携による強制アクセス制御向け静的解析，
コンピュータセキュリティシンポジウム2007(CSS2007)論文集，pp. 103-108，情報処理学会，2007．

水野 邦彦，伊藤 淳，毛利 公一，
複数の無線基地局を用いたQoS制御システムにおける適応的接続制御アルゴリズム，
マルチメディア・分散・協調とモバイル(DICOMO 2007)シンポジウム論文集，pp．1614-1621，情報処理学会，2007．

金城　聖，鈴来和久，毛利公一，
仮想計算機モニタを用いたOS動作状況観測手法，
第69回全国大会講演論文集，Vol．1，pp．117-118，情報処理学会，2007．

岩永真幸，鈴来和久，毛利公一，
コンテキストアウェアオペレーティングシステムのための割込みを契機としたコンテキストの取得法，
第69回全国大会講演論文集，Vol．1，pp．113-114，情報処理学会，2007．

西村 和憲，鈴来 和久，毛利 公一，
プライバシ情報の伝播範囲を制御するためのOSレベルの通信制御方式，
情報処理学会研究報告 2007-CSEC-36/2007-DPS-130，Vol．2007，No．16，pp．37-42，2007．

伊藤 淳，水野 邦彦，毛利 公一，
複数の無線基地局を用いたQoS制御システムにおける通信チャネル制御方式，
情報処理学会研究報告 2007-MBL-40/2007-UBI-13，Vol．2007，No．14，pp．91-98，2007．

鈴来 和久，毛利 公一，大久保 英嗣，
Privacy-Aware Data Object Containerによる細粒度データアクセス制御方式，
情報処理学会研究報告 2007-OS-104，Vol．2007，No．10，pp．57-64，2007．

西岡 隆司，鈴来 和久，毛利 公一，大久保 英嗣，
ユーザプログラムの応答性の低下を防ぐ実行時コンパイラ構成法，
第68回全国大会講演論文集，Vol．1，pp．113-114，情報処理学会，2006．

廣 真文，鈴来 和久，毛利 公一，大久保 英嗣，
プライバシアウェアOS Salviaにおける共有メモリを介したデータ漏洩の防止手法，
第68回全国大会講演論文集，Vol．1，pp．67-68，情報処理学会，2006．

元濱 努，瀧本 栄二，鈴来 和久，毛利 公一，大久保 英嗣，
異種ネットワーク環境における適応的通信デバイス制御，
情報処理学会研究報告 2006-UBI-10，Vol．2006，No．14，pp．281-286，2006．

市岡 怜也，鈴来 和久，毛利 公一，大久保 英嗣，
センサネットワークにおけるゲートウェイサービスの構成，
情報処理学会研究報告 2006-UBI-10，Vol．2006，No．14，pp．233-238，2006．

一柳 淑美，鈴来 和久，毛利 公一，大久保 英嗣，
オペレーティングシステムSalviaにおけるデータアクセス制御の記述モデル，
情報処理学会研究報告 2005-CSEC-30，Vol．2005，No．70，pp．235-242，2005．

西村 和憲，一柳 淑美，鈴来 和久，毛利 公一，大久保 英嗣，
プライバシ保護のためのOSにおけるネットワーク機構，
第67回全国大会講演論文集，Vol．3，pp．675-676，情報処理学会，2005．
学生奨励賞受賞

塩地 朋則，伊藤 淳，鈴来 和久，毛利 公一，大久保 英嗣，
複数の無線LAN基地局を用いたQoS制御システム，
第67回全国大会講演論文集，Vol．3，pp．465-466，情報処理学会，2005．

伊藤 淳，塩地 朋則，鈴来 和久，毛利 公一，大久保 英嗣，
無線LANにおける複数チャネルを用いた通信の優先制御，
第67回全国大会講演論文集，Vol．3，pp．463-464，情報処理学会，2005．

林 佳寛，瀧本 栄二，毛利 公一，大久保 英嗣，
ファイルの特性とアクセスパターンに適応可能なメモリ管理手法，
第67回全国大会講演論文集，Vol．1，pp．175-176，情報処理学会，2005．
学生奨励賞受賞

関田 正人，鈴来 和久，毛利 公一，大久保 英嗣，
適応ソフトウェアのための位置情報管理ミドルウェア，
第67回全国大会講演論文集，Vol．1，pp．117-118，情報処理学会，2005．

西山 正浩，毛利 公一，大久保 英嗣，
ユビキタス環境におけるトランザクション処理方式，
情報処理学会研究報告 2005-OS-98，Vol．2005，No．16，pp．105-110，2005．

奥田 勝己，瀧本 栄二，毛利 公一，大久保 英嗣，
ネットワークデバイス切替え時における通信の継続手法，
情報処理学会研究報告 2005-OS-98，Vol．2005，No．16，pp．81-88，2005．

一柳 淑美，鈴来 和久，毛利 公一，大久保 英嗣，
プライバシ保護を実現するオペレーティングシステムのファイルアクセス制御手法，
情報処理学会研究報告 2005-OS-98，Vol．2005，No．16，pp．1-8，2005．

元濱 努，瀧本 栄二，毛利 公一，大久保 英嗣，
エージェント指向オペレーティングシステムAGにおける通信デバイス切替え手法，
2004ソサイエティ大会講演論文集，B-6-78，電子情報通信学会，2004．

鈴来 和久，一柳 淑美，毛利 公一，大久保 英嗣，
プライバシ保護を実現するオペレーティングシステムにおけるコンテキスト管理，
情報処理学会研究報告 2004-OS-96，Vol．2004，No．63，pp．7-14，2004．

中道 真一，永宗 宏一，水口 孝夫，毛利 公一，大久保 英嗣，
コンポーネントウェアにおけるコンポーネントインタフェースの抽象化手法，
第66回全国大会講演論文集，Vol．3，pp．409-410，情報処理学会，2004．

奥田 勝己，瀧本 栄二，毛利 公一，大久保 英嗣，
デバイス切替え時における通信の継続手法，
第66回全国大会講演論文集，Vol．3，pp．393-394，情報処理学会，2004．

松本 直樹，水口 孝夫，永宗 宏一，毛利 公一，大久保 英嗣，
アドホックデバイスネットワークにおけるサービス情報の取得とデバイス選択，
第66回全国大会講演論文集，Vol．1，pp．105-106，情報処理学会，2004．

馬 天峰，水口 孝夫，永宗 宏一，毛利 公一，大久保 英嗣，
アドホックデバイスネットワークにおける仮想デバイスの実現，
第66回全国大会講演論文集，Vol．1，pp．103-104，情報処理学会，2004．

一柳 淑美，鈴来 和久，毛利 公一，大久保 英嗣，
コンテキストに適応可能なデータ保護機構におけるファイルアクセス制御，
第66回全国大会講演論文集，Vol．1，pp．95-96，情報処理学会，2004．

鈴来 和久，毛利 公一，大久保 英嗣，
データの拡散防止を実現するコンテキスト適応型ソフトウェア基盤，
情報処理学会研究報告 2004-OS-95，Vol．2004，No．17，pp．57-64，2004．

玉田 純子，水口 孝夫，瀧本 栄二，芝 公仁，毛利 公一，大久保 英嗣，
分散オペレーティングシステムSolelcにおけるメモリ操作のトランザクション化による耐障害性向上手法，
情報処理学会研究報告 2004-OS-95，Vol．2004，No．17，pp．41-48，2004．

瀧本 栄二，藤田 耕作，滝沢 泰久，毛利 公一，大久保 英嗣，
ファイル共有システムにおけるユーザビューの切り分け手法，
電子情報通信学会第3回次世代ネットワークソフトウェア研究会研究報告，pp. 18-20，2004．

西村 昌俊，瀧本 栄二，毛利 公一，大久保 英嗣，
分散オペレーティングシステムAGにおける通信機構の設計と実装，
第65回全国大会講演論文集，Vol．1，pp．103-104，情報処理学会，2003．

藤田 耕作，瀧本 栄二，毛利 公一，大久保 英嗣，
アドホック分散システムのための資源管理手法，
第65回全国大会講演論文集，Vol．1，pp．101-102，情報処理学会，2003．

荒川 智史，勝部 弘嗣，御田村 晃，瀧本 栄二，毛利 公一，大久保 英嗣，
マルチメディア処理に適したリアルタイムファイルシステム，
第65回全国大会講演論文集，Vol．1，pp．99-100，情報処理学会，2003．

清水 雅純，勝部 弘嗣，御田村 晃，瀧本 栄二，毛利 公一，大久保 英嗣，
ストリーミングサーバ向き通信機構の設計と実装，
第65回全国大会講演論文集，Vol．1，pp．79-80，情報処理学会，2003．
学生奨励賞受賞

五條 多紀子，瀧本 栄二，芝 公仁，毛利 公一，大久保 英嗣，
マルチメディアアプリケーションに適した仮想記憶管理手法，
第65回全国大会講演論文集，Vol．1，pp．77-78，情報処理学会，2003．

鈴来 和久，瀧本 栄二，毛利 公一，大久保 英嗣，
ユビキタスコンピューティング環境における各種アプライアンスに適応したオペレーティングシステム，
第65回全国大会講演論文集，Vol．3，pp．453-454，情報処理学会，2003．

毛利 公一，前田 忠彦，大久保 英嗣，
次世代ワイヤレス通信を指向するオペレーティングシステムの提案，
情報処理学会研究報告 2003-OS-92，Vol．2003，No．19，pp．107-114，2003．

勝部 弘嗣，毛利 公一，大久保 英嗣，
リアルタイム環境に適用可能なUltra DMA転送機構の設計と実装，
情報処理学会研究報告 2003-OS-92，Vol．2003，No．19，pp．77-84，2003．

玉田 純子，水口 孝夫，永宗 宏一，瀧本 栄二，芝 公仁，毛利 公一，大久保 英嗣，
分散オペレーティングシステム Solelc におけるシステムコール処理の分散化方式，
情報処理学会研究報告 2003-OS-92，Vol．2003，No．19，pp．55-60，2003．

笠井 秀一，並木 美太郎，毛利 公一，
動的なコンフィグレーションを可能としたオペレーティングシステムの構成手法，
情報処理学会研究報告 2003-OS-92，Vol．2003，No．19，pp．39-46，2003．

瀧本 栄二，滝沢 泰久，毛利 公一，大久保 英嗣，
エージェント指向オペレーティングシステムAGにおけるリフレクティブエージェントの実現手法，
情報処理学会研究報告 2003-OS-92，Vol．2003，No．19，pp．1-6，2003．

並木 美太郎，野瀬 隆，毛利 公一，但馬 康宏，寺田 松昭，
大学における電子掲示板システムを活用した教育支援系の一事例 ～Edenにおける教育支援系の実現と評価～，
第64回全国大会講演論文集，Vol．4，pp．175-176，情報処理学会，2002．

毛利 公一，但馬 康宏，野瀬 隆，並木 美太郎，寺田 松昭，
教育用計算機システムEdenにおけるネットワークシステムの評価，
第64回全国大会講演論文集，Vol．4，pp．173-174，情報処理学会，2002．

野瀬 隆，但馬 康宏，毛利 公一，並木 美太郎，寺田 松昭，
教育用計算機システムEdenにおけるクライアントサーバシステムの評価，
第64回全国大会講演論文集，Vol．4，pp．171-172，情報処理学会，2002．

笠井 秀一，毛利 公一，平瀬 吉也，森 英悟，
スケジューラの動的な変更を可能とするオペレーティングシステムの構成手法，
情報処理学会研究報告 2001-OS-89，Vol．2002，No．13，pp．101-108，2002．

野瀬 隆，並木 美太郎，毛利 公一，櫛橋 康博，寺田 松昭，
IT時代を担う人材を育成する教育用計算機システム「Eden」の稼働実績，
第63回全国大会講演論文集，Vol．4，pp．183-184，情報処理学会，2001．

帆波 幸二，毛利 公一，吉澤 康文，
リアルタイムスケジューリングのためのI/Oアクセス制御，
情報処理学会研究報告 2001-OS-88，Vol．2001，No．78，pp．91-98，2001．

浅見 和男，森本 洋行，毛利 公一，吉澤 康文，
資源の予約管理機構に基づくリアルタイムオペレーティングシステムの設計，
情報処理学会研究報告 2001-OS-87，Vol．2001，No．65，pp．145-152，2001．

毛利 公一，並木 美太郎，野瀬 隆，
IT時代を担う人材を育成する教育用計算機システム「Eden」の設計(3) ～高速ネットワークシステムについて～，
第62回全国大会講演論文集，Vol．4，pp．293-294，情報処理学会，2001．

野瀬 隆，並木 美太郎，毛利 公一，藤田 欣也，寺田 松昭，
IT時代を担う人材を育成する教育用計算機システム「Eden」の設計(1) ～基本設計について～，
第62回全国大会講演論文集，Vol．4，pp．289-290，情報処理学会，2001．

小宮山 彰一郎，森本 洋行，毛利 公一，吉澤 康文，
命令トレーサ「鶴」におけるログ機構の開発，
第62回全国大会講演論文集，Vol．1，pp．43-44，情報処理学会，2001．

帆波 幸二，毛利 公一，吉澤 康文，
ディスクアクセスのリアルタイムスケジューリング方式，
第62回全国大会講演論文集，Vol．1，pp．31-32，情報処理学会，2001．

間島 敦史，毛利 公一，吉澤 康文，
マルチメディア通信における帯域予約型資源管理方式の開発，
情報処理学会研究報告 2000-OS-85，Vol．2000，No．75，pp．17-22，2000．

毛利 公一，趙 強，吉澤 康文，
ネットワーク機器の分散配置によるトラフィック軽減手法，
マルチメディア・分散・協調とモバイル(DICOMO 2000)シンポジウム論文集，pp．403-408，情報処理学会，2000．

毛利 公一，森本 洋行，池谷 敬之，吉澤 康文，
命令トレーサを用いたネットワークサーバプログラムの性能評価，
情報処理学会研究報告 2000-OS-84，Vol．2000，No．43，pp．165-171，2000．

森本 洋行，池谷 敬之，毛利 公一，吉澤 康文，
OSの性能評価を可能とする命令トレーサの開発，
情報処理学会研究報告 2000-OS-84，Vol．2000，No．43，pp．157-164，2000．

外山 正勝，毛利 公一，大久保 英嗣，
マイクロカーネルLavender上へのUNIXサーバの構築，
情報処理学会研究報告 2000-OS-83，Vol．2000，No．21，pp．25-30，2000．

寺澤 弘泰，芝 公仁，毛利 公一，斎藤 彰一，大久保 英嗣，
マイクロカーネルLavenderにおけるセキュリティ機構の導入，
第58回全国大会講演論文集，Vol．1，pp．75-76，情報処理学会，1999．

外山 正勝，佐脇 秀登，芝 公仁，毛利 公一，大久保 英嗣，
マイクロカーネルLavenderにおけるUNIXサーバの構成，
第58回全国大会講演論文集，Vol．1，pp．73-74，情報処理学会，1999．

豊岡 明，佐脇 秀登，芝 公仁，毛利 公一，大久保 英嗣，
マイクロカーネルLavenderにおけるIPC機構とデバイスドライバの構成，
第58回全国大会講演論文集，Vol．1，pp．71-72，情報処理学会，1999．

青木 英郎，佐脇 秀登，毛利 公一，大久保 英嗣，
マイクロカーネルLavenderにおけるネームサーバの構築，
第58回全国大会講演論文集，Vol．1，pp．69-70，情報処理学会，1999．

芝 公仁，佐脇 秀登，豊岡 明，毛利 公一，大久保 英嗣，
マイクロカーネルLavenderにおけるシステムサーバの処理方式，
第58回全国大会講演論文集，Vol．1，pp．67-68，情報処理学会，1999．

瀧本 栄二，芝 公仁，毛利 公一，大久保 英嗣，
リアルタイムオペレーティングシステムR2における2レベルスケジューラの構築，
第58回全国大会講演論文集，Vol．1，pp．63-64，情報処理学会，1999．

森田 健司，佐脇 秀登，芝 公仁，豊岡 明，毛利 公一，大久保 英嗣，
マイクロカーネルLavender上へのネットワークシステムサーバの構築，
情報処理学会研究報告 98-OS-79，Vol.98，No.71，pp．31-36，1998．

市岡 耕平，佐脇 秀登，芝 公仁，豊岡 明，毛利 公一，大久保 英嗣，
マイクロカーネルLavender上のファイルシステムサーバの構築と応用，
情報処理学会研究報告 98-OS-79，Vol.98，No.71，pp．25-30，1998．

佐脇 秀登，芝 公仁，豊岡 明，毛利 公一，大久保 英嗣，
マイクロカーネルLavenderにおけるプロセス管理方式，
第55回全国大会講演論文集，Vol．1，pp．222-223，情報処理学会，1997．

毛利 公一，佐脇 秀登，芝 公仁，豊岡 明，大久保 英嗣，
マイクロカーネルLavenderにおける多段階スケジューリング機構，
第55回全国大会講演論文集，Vol．1，pp．220-221，情報処理学会，1997．

豊岡 明，佐脇 秀登，芝 公仁，毛利 公一，大久保 英嗣，
マイクロカーネルLavenderにおけるIPC機構とデバイスドライバの構成，
情報処理学会研究報告 97-OS-76，Vol.97，No.77，pp．49-54，1997．

毛利 公一，佐脇 秀登，芝 公仁，豊岡 明，大久保 英嗣，
マイクロカーネルLavenderにおけるスケジューラの構成，
情報処理学会研究報告 97-OS-76，Vol.97，No.77，pp．7-12，1997．

芝 公仁，佐脇 秀登，豊岡 明，毛利 公一，大久保 英嗣，
マイクロカーネルLavenderの構成，
情報処理学会研究報告 97-OS-75，Vol.97，No.56，pp．7-12，1997．

毛利 公一，大久保 英嗣，
マイクロカーネルLavenderにおけるスケジューリング方式，
情報処理学会研究報告 96-OS-72，Vol.96，No.38，pp．25-30，1996．

山田 博士，毛利 公一，中村 素典，大久保 英嗣，
マイクロカーネルLavenderにおけるメモリ管理部の構成，
第51回全国大会講演論文集，Vol．4，pp．19-20，情報処理学会，1995．

毛利 公一，山田 博士，中村 素典，大久保 英嗣，
マイクロカーネルLavenderにおけるプロセス管理部の構成，
第51回全国大会講演論文集，Vol．4，pp．17-18，情報処理学会，1995．

毛利 公一，山田 博士，斎藤 彰一，中村 素典，大久保 英嗣，
マイクロカーネルLavenderにおける階層化インタフェース，
情報処理学会研究報告 95-OS-70，Vol.95，No.79，pp．57-63，1995．

田原 裕暉，大月 勇人，明田 修平，瀧本 栄二，川端 秀明，窪田 歩，毛利 公一，
複数の第三者モジュールを組み込むAndroidアプリにおけるモジュール間連携の観測手法，
コンピュータセキュリティシンポジウム2015(CSS2015)デモンストレーション (ポスター) セッション，DPS-06，2015．

大月 勇人，瀧本 栄二，齋藤 彰一，毛利 公一，
ブランチトレース機能を用いたゲストOS上のプロセス観測手法，
BitVisor Summit 3，2014．

奥野 航平，大月 勇人，瀧本 栄二，毛利 公一，
BitVisor用のストレージスナップショット機能の実装，
BitVisor Summit 3，2014．

田原 裕暉，渡邊 華奈子，大月 勇人，瀧本 栄二，川端 秀明，竹森 敬祐，毛利 公一，
AndroidにおけるAPI呼出し元モジュール特定方式，
コンピュータセキュリティシンポジウム2014(CSS2014)デモンストレーション (ポスター) セッション，2014．

大月 勇人，瀧本 栄二，毛利 公一，
BitVisorへのシステムコールトレース機能追加によるマルウェアアナライザの実現，
BitVisor Summit，2012．

樫山 武浩，大石 達也，瀧本 栄二，毛利 公一，
情報漏洩防止のためのアクセス制御機構を備えたDF-Salviaの開発，
コンピュータシステム・シンポジウム ポスター・デモセッション，2011．

大月 勇人，瀧本 栄二，樫山 武浩，毛利 公一，
仮想計算機モニタを用いたマルウェアの挙動解析，
コンピュータシステム・シンポジウム ポスター・デモセッション，2011．

Takehiro Kashiyama, Tatsuya Oishi, Eiji Takimoto, and Koichi Mouri,
Development of DF-Salvia which provides mandatory access control based on data flow,
International Workshop on Security (IWSEC2011) Poster Session, 2011.

鍛治 輝行，井田 章三，河島 裕亮，毛利 公一，
Privacy-aware OS Salviaを用いたプライバシデータ保護，
コンピュータセキュリティシンポジウム2009，デモンストレーション・セッション，DPS-09，2009．

鍛治 輝行，岩永 真幸，井田 章三，河島 裕亮，毛利 公一，
Privacy-aware OS Salviaを用いたファイルアクセス制御，
第71回全国大会デモセッション，No. デ-06，2009．

河島 裕亮，井田 章三，鍛治 輝行，岩永 真幸，毛利 公一，
セキュアOS Salviaを用いたファイルアクセス制御，
コンピュータセキュリティシンポジウム2008(CSS2008)デモンストレーション・セッション，DS-02，2008．

鈴来 和久，一柳 淑美，西村 和憲，毛利 公一，大久保 英嗣，
プライバシ保護を実現するコンテキストアウェアOS，
第67回全国大会講演論文集，Vol．1，pp．207-208，情報処理学会，2005．

鈴来 和久, 一柳 淑美, 西村 和憲, 毛利 公一, 大久保 英嗣，
プライバシ保護を実現するコンテキストアウェアOS，
コンピュータシステム・シンポジウム ポスター＆デモ・セッション，情報処理学会，2004．

毛利 公一，小宮山 彰一郎，森本 洋行，吉澤 康文，
性能評価のための命令トレーサ，
第62回全国大会 OS研究会デモンストレーション「システムソフトウェアの新しい潮流」，情報処理，Vol. 42，No. 2 付録，pp. 47，情報処理学会，2001．

毛利 公一，
PLC(高速電力線通信)，
京都新聞 2007年2月4日版 日曜けいざい すっきりエコノ案内人，経済面(p. 10)，2007．

毛利 公一，
データ保護を実現するコンテキストアウエアOS Salvia，
CYBER SECURITY MANAGEMENT，Vol．6，No．68，pp．72-77，Japan Cyber Security Institute，2005．

G. J. Pottie and W. J. Kaiser 著，毛利 公一 訳，
無線を用いたネットワークセンサの統合，
Communications of the ACM 日本語版，Vol．1，No．4，pp．14-23，2000．

Koichi Mouri and Eiji Okubo,
The Design and Implementation of the Lavender Micro Kernel,
Systems and Computers in Japan, Vol. 31, No. 7, pp. 47-55, Scripta Technica, 2000.

毛利 公一，芝 公仁，大久保 英嗣，
マイクロカーネルLavenderの開発，
bit (7月号)，Vol．32，No．7，pp．3-7，共立出版，2000．