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