学位
-
修士（理学） （ 東京工業大学 (現 東京科学大学) ）
-
博士（理学） （ 東京工業大学 (現 東京科学大学) ）
-
学士（理学） （ 首都大学東京 (現 東京都立大学) ）
研究キーワード
-
暗号理論
-
理論計算機科学
-
計算量理論
-
アルゴリズム理論
研究分野
-
情報通信 / 数理情報学
-
情報通信 / 情報学基礎論
学歴
-
東京工業大学大学院 情報理工学院 数理・計算科学系 博士課程
2019年4月 - 2022年3月
-
東京工業大学大学院 情報理工学院 数理・計算科学系 修士課程
2017年4月 - 2019年3月
-
首都大学東京 科目等履修生
2016年4月 - 2017年3月
-
首都大学東京 都市教養学部 理工学系 数理科学コース
2006年4月 - 2010年3月
経歴
-
東京科学大学 情報理工学院 特定助教
2026年4月 - 現在
-
名古屋市立大学 大学院理学研究科 自然情報系 助教
2026年4月 - 現在
-
東京科学大学 情報理工学院 特任助教
2024年10月 - 2026年3月
-
東京工業大学 情報理工学院 特任助教
2023年4月 - 2024年9月
-
鶴岡工業高等専門学校 創造工学科 情報コース 助教
2022年4月 - 2023年3月
-
松本秀峰中等教育学校 教諭
2014年4月 - 2016年3月
-
山梨県立塩山高等学校 教諭（期間採用）
2013年4月 - 2014年3月
-
北杜市立甲陵高等学校 教諭（期間採用）
2012年4月 - 2013年3月
-
工学院大学附属中学校・高等学校 非常勤講師
2011年4月 - 2012年3月
-
工学院大学附属中学校・高等学校 嘱託専任講師
2010年4月 - 2011年3月
所属学協会
-
電子情報通信学会（IEICE）
2022年3月 - 現在
-
国際暗号学会（IACR）
論文
-
Prefix Puncturable Signatures from Hierarchical Identity-Based Signatures 査読
Masayuki Tezuka, Keisuke Tanaka
ICICS 2026 2026年10月
-
Relationships Among FuncCPA and Its Related Notions 査読
Takumi Shinozaki, Tatsuaki Okamoto, Keisuke Tanaka, Masayuki Tezuka, Yusuke Yoshida
TCC 2025 II 97 - 122 2025年12月
-
Ordered Multi-signatures with Public-Key Aggregation from SXDH Assumption 査読
Masayuki Tezuka, Keisuke Tanaka
IWSEC 2025 67 - 87 2025年11月
-
Strong Designated Verifier Signatures with Non-delegatability from CSIDH 査読
Hiroki Minamide, Keisuke Tanaka, Masayuki Tezuka
ICISC 2025 2025年11月
-
Public Key Encryption with Equality Test from Tag-Based Encryption 査読
Masayuki Tezuka, Keisuke Tanaka
IWSEC 2025 24 - 44 2025年11月
-
Logarithmic-Size Ring Signatures with Tight Security from the DL Assumption 査読
Keisuke Hara, Masayuki Tezuka
ProvSec 2025 44 - 64 2025年10月
-
Practical Quantum Public Key Encryption from One-way Functions 査読
Kyohei Sudo, Keisuke Fujii, Keisuke Hara, Kosuke Ito, Masayuki Tezuka, Yusuke Yoshida
ACM APKC 2025 44 - 53 2025年8月
-
Quantum Search-to-Decision Reduction for the LWE Problem 査読
Kyohei SUDO, Keisuke HARA, Masayuki TEZUKA, Yusuke YOSHIDA
IEICE Trans. Fundamentals E108.A ( 2 ) 104 - 116 2025年2月
-
Universally Composable Relaxed Asymmetric Password-Authenticated Key Exchange 査読
Shuya Hanai, Keisuke Tanaka, Masayuki Tezuka, Yusuke Yoshida
SCN 2024 II 272 - 293 2024年9月
-
Masayuki Tezuka, Keisuke Tanaka
ICISC 2023 I 261 - 281 2023年11月
-
Forward Secure Message Franking with Updatable Reporting Tags 査読
Hiroki Yamamuro, Keisuke Hara, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
IEICE Trans. Fundamentals 106 ( 9 ) 1164 - 1176 2023年9月
-
Quantum Search-to-Decision Reduction for the LWE Problem 査読
Kyohei Sudo, Masayuki Tezuka, Keisuke Hara, Yusuke Yoshida
AFRICACRYPT 2023 395 - 413 2023年7月
-
Pointcheval-Sanders Signature-Based Synchronized Aggregate Signature 査読
Masayuki Tezuka, Keisuke Tanaka
ICISC 2022 317 - 336 2022年11月
-
Forward Secure Message Franking 査読
Hiroki Yamamuro, Keisuke Hara, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
ICISC 2021 339 - 358 2021年12月
-
Watermarkable Signature with Computational Function Preserving 査読
Kyohei Sudo, Keisuke Hara, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
IEICE Trans. Fundamentals 104-A ( 9 ) 1255 - 1270 2021年9月
-
Redactable Signature with Compactness from Set-Commitment 査読
Masayuki Tezuka, Keisuke Tanaka
IEICE Trans. Fundamentals 104-A ( 9 ) 1175 - 1187 2021年9月
-
Security Definitions on Time-Lock Puzzles 査読
Daiki Hiraga, Keisuke Hara, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
ICISC 2020 3 - 15 2020年12月
-
Masayuki Tezuka, Keisuke Tanaka
ACISP 2020 225 - 243 2020年11月
-
Watermarkable Signature with Computational Function Preserving 査読
Kyohei Sudo, Masayuki Tezuka, Keisuke Hara, Yusuke Yoshida, Keisuke Tanaka
ProvSec 2020 124 - 144 2020年11月
-
A t-out-of-n Redactable Signature Scheme 査読
Masayuki Tezuka, Xiangyu Su, Keisuke Tanaka
CANS 2019 470 - 489 2019年10月
-
Weakened Random Oracle Models with Target Prefix 査読
Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
SecITC 2018 344 - 357 2018年11月
書籍等出版物
-
Mathematical Foundations for Post-Quantum Cryptography Crypto-Math CREST
Masayuki Tezuka, Keisuke Tanaka（ 担当： 分担執筆 範囲: A Survey on Middle-Product Learning with Errors Cryptography）
Springer Singapore 2025年10月 （ ISBN:9789819612178 ）
MISC
-
Ordered Multi-Signatures from the DL Assumption
Keisuke Hara, Keisuke Tanaka, Masayuki Tezuka
IACR Cryptol. ePrint Arch. 2026年4月
-
更新と削除を考慮した秘密分散
安田 健嗣, 田中 圭介, 手塚 真徹, 吉田 雄祐
2026年ISEC/IT/RCC/WBS合同研究会 予稿集 2026年3月
-
FuncCPAとその変種の関係
篠﨑 拓実, 岡本 龍明, 田中 圭介, 手塚 真徹, 吉田 雄祐
2026年暗号と情報セキュリティシンポジウム (SCIS 2026) 予稿集 5E1-2 2026年1月
-
Broadcast Encryption with Interactive Key Generation
Boran Liu, Keisuke Tanaka, Masayuki Tezuka, Yusuke Yoshida
2026年暗号と情報セキュリティシンポジウム (SCIS 2026) 予稿集 3E3-4 2026年1月
-
揮発性をもたせるための暗号フレームワーク
中島 弘, 田中 圭介, 手塚 真徹, 吉田 雄祐
2026年暗号と情報セキュリティシンポジウム (SCIS 2026) 予稿集 4E3-4 2026年1月
-
鍵検証を含む非対称パスワード認証鍵交換における安全性緩和のバリエーション
花井 秀矢, 田中 圭介, 手塚 真徹, 吉田 雄祐
2025年暗号と情報セキュリティシンポジウム (SCIS 2025) 予稿集 1C1-1 2025年1月
-
FuncCPA安全性とReEncCPA安全性の分離
篠﨑 拓実, 岡本 龍明, 田中 圭介, 手塚 真徹, 吉田 雄祐
2025年暗号と情報セキュリティシンポジウム (SCIS 2025) 予稿集 4B2-5 2025年1月
-
A General Framework of Meta-Meta-Reduction
Natsuki Sagara, Masayuki Tezuka, Yoshida Yusuke, Keisuke Tanaka
2024年暗号と情報セキュリティシンポジウム (SCIS 2024) 予稿集 2B1-4 2024年1月
-
Universally Composable Relaxed Asymmetric Password Authenticated Key Exchange
Shuya Hanai, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
2024年暗号と情報セキュリティシンポジウム (SCIS 2024) 予稿集 3B2-2 2024年1月
-
FuncCPA安全性とFuncCPA+安全性の関係について
篠﨑 拓実, 手塚 真徹, 吉田 雄祐, 田中 圭介
2024年暗号と情報セキュリティシンポジウム (SCIS 2024) 予稿集 3A5-2 2024年1月
-
更新可能な報告タグをもつフォワード安全なメッセージフランキング
山室 宏貴, 原 啓祐, 手塚 真徹, 吉田 雄祐, 田中 圭介
2023年暗号と情報セキュリティシンポジウム (SCIS 2023) 予稿集 1C2-2 2023年1月
-
量子計算によるLWE問題のSearch-to-Decision帰着
数藤 恭平, 手塚 真徹, 原 啓祐, 吉田 雄祐
2023年暗号と情報セキュリティシンポジウム (SCIS 2023) 予稿集 1D3-1 2023年1月
-
A Quantum Search-to-Decision Reduction for the LPN Problem
数藤 恭平, 手塚 真徹, 原 啓祐, 吉田 雄祐, 田中 圭介
2022年暗号と情報セキュリティシンポジウム (SCIS 2022) 予稿集 2E3-2 2022年1月
-
計算量的機能保存性をもつ電子透かし署名
数藤 恭平, 手塚 真徹, 原 啓祐, 吉田 雄祐, 田中 圭介
2021年暗号と情報セキュリティシンポジウム (SCIS 2021) 予稿集 4A2-3 2021年1月
-
フォワード安全な認証付きコミッティング暗号
山室 宏貴, 原 啓祐, 手塚 真徹, 吉田 雄祐, 田中 圭介
2021年暗号と情報セキュリティシンポジウム (SCIS 2021) 予稿集 2B3-3 2021年1月
-
タイムロックパズルに対する安全性定義の考察
平賀 大揮, 手塚 真徹, 原 啓祐, 吉田 雄祐, 田中 圭介
2020年暗号と情報セキュリティシンポジウム (SCIS 2020) 予稿集 4E1-4 2020年1月
-
署名回路に対する秘匿可能な電子透かし
数藤 恭平,手塚 真徹,原 啓祐,吉田 雄祐,田中 圭介
2020年暗号と情報セキュリティシンポジウム (SCIS 2020) 予稿集 1E1-4 2020年1月
-
集合構造を持つメッセージに対する n-out-of-n 消去署名方式
手塚 真徹, 田中 圭介
2019年暗号と情報セキュリティシンポジウム (SCIS 2019) 予稿集 4A2-3 2019年1月
-
Intel SGXを用いた入力を制御できる複数入力関数型暗号
吉野 慎司, 手塚 真徹, 品川 和雅, 田中 圭介
2019年暗号と情報セキュリティシンポジウム (SCIS 2019) 予稿集 2A3-4 2019年1月
-
弱められたランダムオラクルモデルの拡張と署名方式の安全性
手塚 真徹, 吉田 雄祐, 田中 圭介
2018年暗号と情報セキュリティシンポジウム (SCIS 2018) 予稿集 3B2-5 2018年1月
講演・口頭発表等
-
OAEPとその変種の安全性について
手塚 真徹, 田中 圭介
Kプロ高機能暗号PQC2025年度第3回全体会議 2025年12月
-
極値組合せ論に関する完備探索問題とTFNPのサブクラス
手塚 真徹
早稲田離散数学と暗号のワークショップ 2025年8月
-
素因数分解問題とTFNPのサブクラス
手塚 真徹, 田中 圭介
CRESTクリプトマス2025年度第1回全体会議 2025年5月
-
符号と格子に関わるパラメータ化計算量
手塚 真徹, 田中 圭介
CRESTクリプトマス2024年度第1回全体会議 2024年5月
-
電子署名を用いたメッセージフランキングの提案
佐々木 悠真, 手塚 真徹, 森 隆裕
第29回高専シンポジウム 2024年1月
-
量子計算によるLWE問題のSearch-to-Decision帰着
数藤 恭平, 手塚 真徹, 原 啓祐, 吉田 雄祐
2022年度冬のLAシンポジウム 2023年1月
-
フォワード安全なメッセージフランキング (from ICISC 2021) 招待
Hiroki Yamamuro, Keisuke Hara, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
電子情報通信学会 情報セキュリティ研究会 (ISEC) 2022年5月
-
同期集約署名と計算仮定
手塚 真徹, 田中 圭介
2022年CREST暗号数理 最終ワークショップ 2022年3月
-
タイムロックパズルに対する安全性定義の考察 (from ICISC 2020) 招待
平賀 大揮, 原 啓祐, 手塚 真徹, 吉田 雄祐, 田中 圭介
電子情報通信学会 情報セキュリティ研究会 (ISEC) 2021年5月
-
選択接頭辞攻撃を考慮した署名方式の安全性について
手塚 真徹, 吉田 雄祐, 田中 圭介
2019年CREST暗号数理ミニワークショップ「若手研究者講演」 2019年3月
-
接頭辞攻撃を考慮したランダムオラクルモデルと署名の安全性
手塚 真徹, 吉田 雄祐, 田中 圭介
2018年度冬のLAシンポジウム 2019年2月
-
Mersenne数を用いた公開鍵暗号システムについて
手塚 真徹, 田中 圭介
2018年CREST暗号数理ミニワークショップ「未解決問題ワークショップ」 2018年9月
受賞
-
SCIS論文賞
2025年1月 一般社団法人 電子情報通信学会 情報セキュリティ専門委員会 FuncCPA安全性とFuncCPA+安全性の関係について
篠﨑 拓実, 手塚 真徹, 吉田 雄祐, 田中 圭介
共同研究・競争的資金等の研究課題
-
K Program セキュアなデータ流通を支える暗号関連技術（高機能暗号）
2025年4月
国立研究開発法人科学技術振興機構(JST) 経済安全保障重要技術育成プログラム
東京科学大学グループ
-
非対話型計算問題の困難性に基づく署名方式の安全性証明の改良
研究課題/領域番号：23K16841 2023年4月 - 2026年3月
日本学術振興会 科学研究費助成事業 若手研究
手塚 真徹
配分額：4680000円 （ 直接経費：3600000円 、 間接経費：1080000円 ）
-
ポスト量子社会が求める高機能暗号の数理基盤創出と展開
2023年4月
国立研究開発法人科学技術振興機構(JST) 戦略的創造研究推進事業
田中グループ
-
安全性証明可能な暗号技術の構成
2022年4月 - 2023年3月
鶴岡高専技術振興会 分野C, 学術研究および教育活動の充実発展の助成
手塚 真徹
担当区分：研究代表者