研究開発項目7
研究開発責任者
安⽥ 雅哉
研究開発責任者
立教大学
安⽥ 雅哉
格⼦暗号・同種写像暗号の安全性評価
高機能暗号の安全性を多方面から評価することを目指し、計算量評価による安全性証明と形式検証技法による安全性検証に取り組むと共に、数理アルゴリズムに基づいて、量子安全性と離散数理による安全性解析に取り組む。
高機能暗号の安全性を多方面から評価することを目指し、計算量評価による安全性証明と形式検証技法による安全性検証に取り組むと共に、数理アルゴリズムに基づいて、量子安全性と離散数理による安全性解析に取り組む。
MEMBER
- 研究開発責任者 理学部数学科 教授 安田 雅哉
- 理学部数学科 教授 野呂 正行
- 理学部数学科 名誉教授 横山 和弘
- 理学部数学科 ポストドクトラルフェロ 根岸 崚