私たちの研究室では、情報セキュリティ、特に公開鍵暗号技術と暗号プロトコルの研究開発を行っています。現代の暗号技術は、素因数分解問題や離散対数問題などの計算困難問題に基づいて安全性を証明できるように設計されています。このため、どうやって安全性を証明するかという理論的な解析が必要となります。一方で暗号技術は、安全に通信を行うために必須の技術であり、実際に使われることを考えた実用性も重要になります。これらの観点を踏まえて、下記のテーマについて研究開発を行います。

耐量子計算機暗号技術の研究開発

現在使われている公開鍵暗号技術は量子計算機が実用化されると解読されてしまい使用できなくなります。このため、量子計算機でも解読できない耐量子計算機暗号技術の研究が始まっています。耐量子計算機暗号技術特に同種写像暗号とその応用について研究開発を行います。

高機能暗号技術と楕円曲線やペアリングの研究開発

匿名で電子署名を行える匿名署名などの高機能署名、暗号文から平文の関数値を計算することができる関数暗号、秘密を保持したまま計算が行える秘匿計算などの、高機能暗号技術の研究開発を行います。また、その基礎となる楕円曲線やペアリングの研究開発を行います。

実用的な暗号プロトコルの研究開発

インターネットで広く用いられている鍵交換プロトコルTLSや、ビットコインなどで用いられている分散台帳技術ブロックチェーンなど、実際に使われている暗号技術について、安全性の評価や、それらを用いた応用プロトコルの研究開発を行います。
\