手塚 真徹 Webpage

2026年4月より名古屋市立大学大学院理学研究科に着任し，手塚研究室（暗号理論研究室）を主宰しています．専門は暗号理論であり，暗号技術の安全性モデルの提案や設計，安全性を証明に関する研究に従事しています．特に，大規模な量子コンピュータが実現する将来の社会においても安全に利用可能な耐量子暗号や，高度情報社会において有用な高機能暗号を研究しています．

暗号理論では帰着とよばれる手法を用いて暗号技術の安全性を証明します．帰着は計算問題どうしの難しさを比較するときに用いられる計算量理論の基本的な手法です．このように，計算量理論は暗号理論の基盤を支えています．計算量理論の理解は暗号理論の研究を深化するためには欠かせません．計算量理論にはさまざまな種類の帰着や計算量クラスが存在します．しかし，暗号理論との関係が解明されていないものも多くあります．そこで，これらの帰着や計算量クラスと暗号理論との関係を明らかにする研究にも興味があります．

• パラメータ化計算量 (Parameterized Complexity) 

• 精微な計算量 (Fine-Grained Complexity)

• 完備探索問題の計算量 (Complexity of Total Search Problems)