Mizuki Oka, Hirotake Abe, Yoshihiro Oyama, and Kazuhiko Kato, Intrusion Detection System Based on Static Analysis and Dynamic Detection, 第2回情報科学技術フォーラム（FIT 2003）, 2003.

Mizuki Oka, Hirotake Abe, Yoshihiro Oyama, and Kazuhiko Kato, Intrusion detection system based on binary code and execution stack analysis, 日本ソフトウェア科学会第20回大会, 2003.

阿部洋丈, 大山恵弘, 岡瑞起, 加藤和彦 : 静的解析に基づく侵入検知システムの最適化, 第15回コンピュータシステム・シンポジウム, pp.7-16, Ibaraki, Japan, December 11-12, 2003（平成16年度山下記念研究賞受賞）