手塚研究室は数学や理論計算機科学などの数理的な手法を用いて,暗号や理論計算機科学の研究に取り組む研究室です.暗号技術の実装やセキュリティシステムへの暗号技術の応用ではなく,暗号や関連分野の理論研究に重点を置いています.
手塚研究室は2026年4月に名古屋市立大学に発足した研究室です.本研究室は暗号理論および理論計算機科学に取り組みます.手塚研究室の前身は,2022年4月から鶴岡工業高等専門学校の情報コースにおいて1年間活動した手塚研究室であり,名古屋市立大学への着任を機に,研究内容および研究室運営の方針を再整備し,新たにスタートしました.
本研究室では,公開鍵暗号,電子署名などの暗号技術を対象として,安全性定義,暗号方式の構成,安全性証明に関する理論研究を行っています.具体的には,暗号技術に求められる安全性を数理的に定式化し,その安全性を満たす暗号方式を設計するとともに,計算問題の困難性に基づいて方式の安全性を証明します.また,暗号方式の安全性概念間の関係,安全性証明の効率,高機能暗号,耐量子暗号の構成法などについても研究しています.以下では,本研究室の主要な研究テーマを紹介します.
暗号技術の安全性を証明する手法に帰着とよばれる手法が用いられます.帰着(Reduction)とは,ある計算問題を別の計算問題へ変換する手法です.問題どうしの帰着が構成できれば,計算問題の難しさの関係を明らかにできます.暗号理論の研究においては,帰着は計算問題の困難性から暗号方式の安全性を証明するときに用いられます.本研究室では帰着を用いて安全性証明が可能である暗号技術の構成に取り組んでいます.
高機能暗号技術とは,従来の暗号技術に,より高度で柔軟な機能を付加した暗号技術です.その代表例の一つに関数型暗号(Functional Encryption)があります.関数型暗号では,秘密鍵が関数 f に対応付けられており,データ x の暗号文から x 自体を復号するのではなく,その秘密鍵に対応する関数の計算結果 f(x) のみを得ることができます.これにより,元のデータ x を秘匿したまま,利用者や目的に応じて必要な情報だけを取り出すことが可能になります.本研究室では,関数型暗号をはじめとする高機能暗号について,安全性モデルの定義,暗号方式の構成,および安全性証明に取り組んでいます.
耐量子暗号とは古典コンピュータで動作できる,量子コンピュータにとって破ることが困難である暗号です.大量の量子ビットを扱うことができる量子コンピュータが完成すると,従来用いているRSA暗号などの安全性が破られます.量子コンピュータの完成に備えて,耐量子暗号の開発を行う必要があります.本研究室では格子や符号に関する計算問題の困難性を用いた耐量子暗号の構成に取り組んでいます.
計算量理論やアルゴリズム理論の研究にも興味があります.計算量理論では計算問題がどれほど難しいかを計算に必要な時間や領域などの尺度を用いて調べる学問です.特に,計算問題の困難性や暗号技術の存在可能性に応じて計算世界を分類する,Impagliazzoの5つの世界に興味があります.他にも,パラメータ化計算量,精微な計算量,探索問題の計算量にも興味があります.アルゴリズム理論では,アルゴリズムの解の精度や動作時間が理論的に証明できるアルゴリズム設計に興味があります.
〒467-8501
愛知県瑞穂区瑞穂町字山の畑1
名古屋市立大学 滝子キャンパス
4号館4階435室(教員室)