暗号理論では、今後大きな脅威となりうる量子コンピュータに耐性をもつ新しい暗号基盤の開発研究を行っています。また、それらの安全性を理論的・実験的に調査することも大切であり、特に多変数公開鍵暗号では「ＭＱチャレンジ」という暗号解読コンテストを主催し、以下のようにウェブサイトで問題を公開しています。

　また、これまでの単純な機能を持つ暗号だけではなく、様々な機能（暗号化された状態でも足し算ができるなど）を持つ暗号の研究も行っています。
整数論では、Langlands予想やArthur予想といった未解決問題と関連する保型表現の研究を行っています。