Organization
School of Computing Visiting Assistant Professor
Title
Visiting Assistant Professor
External link
TEZUKA MASAYUKI
Degree
-
修士（理学） ( 東京工業大学 (現 東京科学大学) )
-
博士（理学） ( 東京工業大学 (現 東京科学大学) )
-
学士（理学） ( 首都大学東京 (現 東京都立大学) )
Research Interests
-
暗号理論
-
理論計算機科学
-
計算量理論
-
アルゴリズム理論
Research Areas
-
Informatics / Mathematical informatics
-
Informatics / Theory of informatics
Education
-
東京工業大学大学院 情報理工学院 数理・計算科学系 博士課程
2019.4 - 2022.3
-
東京工業大学大学院 情報理工学院 数理・計算科学系 修士課程
2017.4 - 2019.3
-
Tokyo Metropolitan University
2016.4 - 2017.3
-
Tokyo Metropolitan University
2006.4 - 2010.3
Research History
-
Institute of Science Tokyo School of Computing Visiting Assistant Professor
2026.4
-
Nagoya City University Graduate School of Science Division of Mathematical and Material Science Assistant Professor
2026.4
-
Institute of Science Tokyo School of Computing Specially Appointed Assistant Professor
2024.10 - 2026.3
-
Tokyo Institute of Technology School of Computing Specially Appointed Assistant Professor
2023.4 - 2024.9
-
Tsuruoka National College of Technology Course of Information Systems Engineering Assistant Professor
2022.4 - 2023.3
-
松本秀峰中等教育学校 教諭
2014.4 - 2016.3
-
山梨県立塩山高等学校 教諭（期間採用）
2013.4 - 2014.3
-
北杜市立甲陵高等学校 教諭（期間採用）
2012.4 - 2013.3
-
工学院大学附属中学校・高等学校 非常勤講師
2011.4 - 2012.3
-
工学院大学附属中学校・高等学校 嘱託専任講師
2010.4 - 2011.3
Professional Memberships
-
電子情報通信学会（IEICE）
2022.3
-
国際暗号学会（IACR）
Papers
-
Prefix Puncturable Signatures from Hierarchical Identity-Based Signatures Reviewed
Masayuki Tezuka, Keisuke Tanaka
ICICS 2026 2026.10
-
Relationships Among FuncCPA and Its Related Notions Reviewed
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 Reviewed
Masayuki Tezuka, Keisuke Tanaka
IWSEC 2025 67 - 87 2025.11
-
Strong Designated Verifier Signatures with Non-delegatability from CSIDH Reviewed
Hiroki Minamide, Keisuke Tanaka, Masayuki Tezuka
ICISC 2025 2025.11
-
Public Key Encryption with Equality Test from Tag-Based Encryption Reviewed
Masayuki Tezuka, Keisuke Tanaka
IWSEC 2025 24 - 44 2025.11
-
Logarithmic-Size Ring Signatures with Tight Security from the DL Assumption Reviewed
Keisuke Hara, Masayuki Tezuka
ProvSec 2025 44 - 64 2025.10
-
Practical Quantum Public Key Encryption from One-way Functions Reviewed
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 Reviewed
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 Reviewed
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 Reviewed
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 Reviewed
Kyohei Sudo, Masayuki Tezuka, Keisuke Hara, Yusuke Yoshida
AFRICACRYPT 2023 395 - 413 2023.7
-
Pointcheval-Sanders Signature-Based Synchronized Aggregate Signature Reviewed
Masayuki Tezuka, Keisuke Tanaka
ICISC 2022 317 - 336 2022.11
-
Forward Secure Message Franking Reviewed
Hiroki Yamamuro, Keisuke Hara, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
ICISC 2021 339 - 358 2021.12
-
Watermarkable Signature with Computational Function Preserving Reviewed
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 Reviewed
Masayuki Tezuka, Keisuke Tanaka
IEICE Trans. Fundamentals 104-A ( 9 ) 1175 - 1187 2021.9
-
Security Definitions on Time-Lock Puzzles Reviewed
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 Reviewed
Kyohei Sudo, Masayuki Tezuka, Keisuke Hara, Yusuke Yoshida, Keisuke Tanaka
ProvSec 2020 124 - 144 2020.11
-
A t-out-of-n Redactable Signature Scheme Reviewed
Masayuki Tezuka, Xiangyu Su, Keisuke Tanaka
CANS 2019 470 - 489 2019.10
-
Weakened Random Oracle Models with Target Prefix Reviewed
Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
SecITC 2018 344 - 357 2018.11
Books
-
Mathematical Foundations for Post-Quantum Cryptography Crypto-Math CREST
Masayuki Tezuka, Keisuke Tanaka（ Role： ContributorA 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
Presentations
-
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) Invited
Hiroki Yamamuro, Keisuke Hara, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
電子情報通信学会 情報セキュリティ研究会 (ISEC) 2022.5
-
同期集約署名と計算仮定
手塚 真徹, 田中 圭介
2022年CREST暗号数理 最終ワークショップ 2022.3
-
タイムロックパズルに対する安全性定義の考察 (from ICISC 2020) Invited
平賀 大揮, 原 啓祐, 手塚 真徹, 吉田 雄祐, 田中 圭介
電子情報通信学会 情報セキュリティ研究会 (ISEC) 2021.5
-
選択接頭辞攻撃を考慮した署名方式の安全性について
手塚 真徹, 吉田 雄祐, 田中 圭介
2019年CREST暗号数理ミニワークショップ「若手研究者講演」 2019.3
-
接頭辞攻撃を考慮したランダムオラクルモデルと署名の安全性
手塚 真徹, 吉田 雄祐, 田中 圭介
2018年度冬のLAシンポジウム 2019.2
-
Mersenne数を用いた公開鍵暗号システムについて
手塚 真徹, 田中 圭介
2018年CREST暗号数理ミニワークショップ「未解決問題ワークショップ」 2018.9
Awards
-
SCIS論文賞
2025.1 一般社団法人 電子情報通信学会 情報セキュリティ専門委員会 FuncCPA安全性とFuncCPA+安全性の関係について
篠﨑 拓実, 手塚 真徹, 吉田 雄祐, 田中 圭介
Research Projects
-
K Program セキュアなデータ流通を支える暗号関連技術（高機能暗号）
2025.4
国立研究開発法人科学技術振興機構(JST) 経済安全保障重要技術育成プログラム
東京科学大学グループ
-
Improvement of Security Proofs for Signature Schemes Based on Non-Interactive Assumptions
Grant number：23K16841 2023.4 - 2026.3
Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Grant-in-Aid for Early-Career Scientists
Grant amount：\4680000 （ Direct Cost: \3600000 、 Indirect Cost：\1080000 ）
-
ポスト量子社会が求める高機能暗号の数理基盤創出と展開
2023.4
国立研究開発法人科学技術振興機構(JST) 戦略的創造研究推進事業
田中グループ
-
安全性証明可能な暗号技術の構成
2022.4 - 2023.3
鶴岡高専技術振興会 分野C, 学術研究および教育活動の充実発展の助成
手塚 真徹
Authorship：Principal investigator