（理論面の）対象 暗号理論、多変数多項式、グレブナー基底 （理論面の）目標 多変数連立2次方程式の求解困難性の解析 ここまでの成果/重要な発見 多変数多項式に基づいて開発された暗号の安全性解析 これからの目標/現在取り組んでいる目標 ヒルベルト級数などの数学的不変量に基づいた安全性解析手法の開発 応用上の成果/目標 コンパクトな鍵を持つ多 … 続きを読む 池松 泰彦