証明可能安全な暗号技術の設計およびその実社会への応用

安全な電子社会を目指すうえで核となる作業は破られない暗号を作ることです。では、暗号が破られないことを保証するにはどのようにすればよいでしょうか。「専門家が作った」「高水準の標準化仕様に選定された」なども考えられますが、過去にはISO/IEC にて次世代規格として選定された後に脆弱性が発覚した技術もあります。このようなテーマに対し、数学の概念を活用して「暗号が安全であることを証明できる」ものを証明可能安全な暗号といいます。この証明可能安全な暗号技術の設計について研究しています。また、証明可能安全な暗号技術の利活用を通じて、近年のサイバー攻撃への対応策についても研究を行っています。

2014年3月　筑波大学　博士（工学）
2014年4月～大阪大学大学院　情報科学研究科　助教