研究開発項目6
研究開発責任者
⾼島 克幸
研究開発責任者
早稲田大学
⾼島 克幸
⾼機能暗号の安全性評価
高機能暗号の安全性を多方面から評価することを目指し、計算量評価による安全性証明と形式検証技法による安全性検証に取り組むと共に、数理アルゴリズムに基づいて、量子安全性と離散数理による安全性解析に取り組む。
高機能暗号の安全性を多方面から評価することを目指し、計算量評価による安全性証明と形式検証技法による安全性検証に取り組むと共に、数理アルゴリズムに基づいて、量子安全性と離散数理による安全性解析に取り組む。
MEMBER
- 研究開発責任者 教育・総合科学学術院 教授 高島 克幸
- 教育・総合科学学術院 教授 谷 誠一郎
- 理工学術院 教授 三枝崎 剛
- 教育・総合科学学術院 講師 内蔵 理史