コンピュータシステムにおける信頼性と安全性の追求

　安全かつ信頼できる情報社会構築のための情報基盤技術を研究している。特に、暗号理論と情報セキュリティにおける数学理論・計算数理論の応用を、基礎から最新の結果までをふまえて調査研究するとともに、それらを応用したシステム化技術にも取り組んでいる。さらに、数理論理に基づくセキュリティシステムの安全性証明や、暗号プロトコル設計の基本となっているゼロ知識証明論などにも係わり、インターネットやWWW、生体認証に関する実用面からのセキュリティ確保に対する手法等を研究している。