研究題目：
攻撃者のモデル化と実社会環境下での安全性評価

社会ニーズを反映した安全性モデル化と最強の攻撃者の限界モデル化について考察します。現実社会では、従来の安全性モデルでは捉えきれない攻撃が発見されたり、実装の不具合により深刻なセキュリティホールが生じています。さらに、暗号技術の高機能化に伴い、従来よりも巧妙な攻撃を想定する必要があります。これらの攻撃を適切にモデル化し、それに耐えうる安全性モデルの構築を行います。

外部からの物理的な観測により、暗号で用いる秘密鍵をあばきだす攻撃環境下での安全性を研究します。従来の研究よりも、より詳細な観測モデルを用いた解析を行い、実際の環境下での安全性解析を行います。

以上の研究を通して、安全性の高い方式の提案や安全な実装の設計につなげ、現実社会へのフィードバックを行います。