研究題目：
数学オブジェクトと帰着マッピングの数理モデル

典型的な暗号プロトコルである公開鍵暗号や、暗号理論分野で重要な役割を果た している落とし戸付き一方向性関数などの構成において、実際に用いることので きる数学的オブジェクトを探求します。ここでは、今まで用いることに成功して いない高度な数学的要素を含むものについても考察します。さらに、暗号方式の 安全性を示すために用いられる典型的な証明手法である確率的多項式時間帰着に ついても、高度な数学を用いることにより、より現実的な状況を加味した手法の 開発を目指します。