手塚 真徹 (Masayuki Tezuka)
手塚 真徹 (Masayuki Tezuka)
所属：名古屋市立大学大学院理学研究科自然情報系 助教
所属（兼任）：東京科学大学情報理工学院数理・計算科学系 特定助教
研究者番号：30964118
ORCiD： 0009-0003-5260-3372
[researchmap] [dblp]
2022/03/26:
博士（理学） 東京工業大学（現 東京科学大学）
2019/03/26:
修士（理学） 東京工業大学（現 東京科学大学）
2010/03/25:
学士（理学） 首都大学東京（現 東京都立大学）
2019/04/01 ~ 2022/03/31:
東京工業大学（現 東京科学大学）大学院 情報理工学院 数理・計算科学系 博士課程
指導教官：田中 圭介 先生
2017/04/01 ~ 2019/03/31:
東京工業大学（現 東京科学大学）大学院 情報理工学院 数理・計算科学系 修士課程
指導教官：田中 圭介 先生
2016/04/01 ~ 2017/03/31:
首都大学東京（現 東京都立大学） 科目等履修生
2006/04/01 ~ 2010/03/31:
首都大学東京（現 東京都立大学）都市教養学部 数理科学コース
指導教官：小林 正典 先生
2003/04/01 ~ 2006/03/31:
いわき秀英高等学校 普通科
2026/04/01 ~ 現在:
名古屋市立大学 理学研究科 自然情報系 助教
2026/04/01 ~ 現在:
東京科学大学 情報理工学院 数理・計算科学系 特定助教
2024/10/01 ~ 2026/03/31:
東京科学大学 情報理工学院 数理・計算科学系 特任助教
2023/04/01 ~ 2024/09/30:
東京工業大学 情報理工学院 数理・計算科学系 特任助教
2022/04/01 ~ 2023/03/31:
鶴岡工業高等専門学校 創造工学科 情報コース 助教
2014/04/01 ~ 2016/03/31:
松本秀峰中等教育学校 数学科 教諭
2013/04/01 ~ 2014/03/27:
山梨県立塩山高等学校 理科 教諭（期間採用）
2012/04/01 ~ 2013/03/31:
北杜市立甲陵高等学校 数学科・理科 教諭（期間採用）
2011/04/01 ~ 2012/03/31:
工学院大学附属中学校・高等学校 数学科 非常勤講師
2010/04/01 ~ 2011/03/31:
工学院大学附属中学校・高等学校 数学科 嘱託専任講師
Prefix Puncturable Signatures from Hierarchical Identity-Based Signatures
Masayuki Tezuka, Keisuke Tanaka
ICICS 2026, October 27-30, 2026 @Fukui, Japan
（Acceptance rate xx/xx=xx%）
[Proceedings]
Relationships among FuncCPA and Its Related Notions
Takumi Shinozaki, Tatsuaki Okamoto, Keisuke Tanaka, Masayuki Tezuka, Yusuke Yoshida
TCC 2025, December 1-5, 2025 @Aarhus, Denmark
（Acceptance rate 70/242=28.9%）
[Proceedings] [ePrint]
Public Key Encryption with Equality Test from Tag-Based Encryption
Masayuki Tezuka, Keisuke Tanaka
IWSEC 2025, November 25-27, 2025 @Fukuoka, Japan
（Acceptance rate 27/88=30.6%）
[Proceedings] [arXiv]
Ordered Multi-Signatures with Public-Key Aggregation from SXDH Assumption
Masayuki Tezuka, Keisuke Tanaka
IWSEC 2025, November 25-27, 2025 @Fukuoka, Japan
（Acceptance rate 27/88=30.6%）
[Proceedings] [arXiv]
Strong Designated Verifier Signatures with Non-delegatability from CSIDH
Hiroki Minamide, Keisuke Tanaka, Masayuki Tezuka
ICISC 2025, November 19-21, 2025 @Seoul, South Korea
（Acceptance rate 28/74=37.8%）
[Proceedings] [ePrint]
Logarithmic-Size Ring Signatures with Tight Security from the DL Assumption
Keisuke Hara, Masayuki Tezuka
ProvSec 2025, October 10-12, 2025 @Yokohama, Japan
（Full paper acceptance rate 22/72=30.5%）
[Proceedings]
Practical Quantum Public Key Encryption from One-way Functions
Kyohei Sudo, Keisuke Fujii, Keisuke Hara, Kosuke Ito, Masayuki Tezuka, Yusuke Yoshida
APKC 2025, August 25-29, 2025 @Hanoi, Vietnam
（Acceptance rate 7/18=38.8%）
[Proceedings]
Quantum Search-to-Decision Reduction for the LWE Problem
Kyohei Sudo, Keisuke Hara, Masayuki Tezuka, Yusuke Yoshida
IEICE Trans.Fundamentals Vol. E108-A No.02, February 01, 2025
(Full version of [STHY23 AFRICACRYPT 2023])
[Article]
Universally Composable Relaxed Asymmetric Password-Authenticated Key Exchange
Shuya Hanai, Keisuke Tanaka, Masayuki Tezuka, Yusuke Yoshida
SCN 2024, September 11-13, 2024 @Amalfi, Italy
（Acceptance rate 33/93=35.4%）
[Proceedings] [ePrint]
1-out-of-n Oblivious Signatures: Security Revisited and a Generic Construction with an Efficient Communication Cost
Masayuki Tezuka, Keisuke Tanaka
ICISC 2023, November 29-December 1, 2023 @Seoul, South Korea
（Acceptance rate 31/78=39.7%）
[Proceedings] [arXiv]
Forward Secure Message Franking with Updatable Reporting Tags
Hiroki Yamamuro, Keisuke Hara, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
IEICE Trans.Fundamentals Vol.E106-A, No.09, September 01, 2023
(Full version of [YHTYT21 ICISC 2021])
[Article]
Quantum Search-to-Decision Reduction for the LWE Problem
Kyohei Sudo, Masayuki Tezuka, Keisuke Hara, Yusuke Yoshida
AFRICACRYPT 2023, July 19-21, 2023 @Sousse, Tunisia
（Acceptance rate 21/59=35.5%）
[Proceedings] [ePrint]
Pointcheval-Sanders Signature-Based Synchronized Aggregate Signature
Masayuki Tezuka, Keisuke Tanaka
ICISC 2022, November 30-December 2, 2022 @Seoul, South Korea
（Acceptance rate 24/69=34.7%）
[Proceedings] [arXiv]
Forward Secure Message Franking
Hiroki Yamamuro, Keisuke Hara, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
ICISC 2021, December 1-3, 2021 @Seoul, South Korea (Online)
（Acceptance rate 23/63=36.5%）
[Proceedings]
Watermarkable Signature with Computational Function Preserving
Kyohei Sudo, Keisuke Hara, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
IEICE Trans.Fundamentals Vol.E104-A, No.09, September 01, 2021
(Full version of [STHYT20 ProvSec 2020])
[Article]
Redactable Signature with Compactness from Set-Commitment
Masayuki Tezuka, Keisuke Tanaka
IEICE Trans.Fundamentals Vol.E104-A, No.09 September 01, 2021
[Article] [arXiv]
Security Definitions on Time-Lock Puzzles
Daiki Hiraga, Keisuke Hara, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
ICISC 2020, December 2-4, 2020 @Seoul, South Korea (Online)
（Acceptance rate 15/51=29.4%）
[Proceedings]
Watermarkable Signature with Computational Function Preserving
Kyohei Sudo, Masayuki Tezuka, Keisuke Hara, Yusuke Yoshida, Keisuke Tanaka
ProvSec 2020, November 29-December 1, 2020 @Singapore (Online)
（Acceptance rate 20/59=33.8%）
[Proceedings]
Improved Security Proof for the Camenisch-Lysyanskaya Signature-Based Synchronized Aggregate Signature Scheme
Masayuki Tezuka, Keisuke Tanaka
ACISP 2020, November 30-December 2, 2020 @Perth, WA, Australia (Online)
（Full paper acceptance rate 31/151=20.5%）
[Proceedings] [arXiv]
A t-out-of-n Redactable Signature Scheme
Masayuki Tezuka, Xiangyu Su, Keisuke Tanaka
CANS 2019, October 25-27, 2019 @Fuzhou, China
（Full paper acceptance rate 21/55=38.1%）
[Proceedings] [arXiv]
Weakened Random Oracle Models with Target Prefix
Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
SecITC 2018, November 8-9, 2018 @Bucharest, Romania
（Acceptance rate 35/70=50.0%）
[Proceedings] [arXiv]
Mathematical Foundations for Post-Quantum Cryptography Crypto-Math CREST Mathematics for Industry
Tsuyoshi Takagi, Masato Wakayama, Noboru Kunihiro, Keisuke Tanaka, Kazufumi Kimoto, Momonari Kudo
A Survey on Middle-Product Learning with Errors Cryptography
Masayuki Tezuka, Keisuke Tanaka
Role: Contributor, Octorber 27, 2025
[Book] [Article]
Ordered Multi-Signatures from the DL Assumption
Keisuke Hara, Keisuke Tanaka, Masayuki Tezuka
[ePrint]
更新と削除を考慮した秘密分散
安田 健嗣, 田中 圭介, 手塚 真徹, 吉田 雄祐
2026年ISEC/IT/RCC/WBS合同研究会 予稿集 ISEC2 (13)
2026/03/16-17 @信州大学工学部長野キャンパス, 長野
Broadcast Encryption with Interactive Key Generation
Boran Liu, Keisuke Tanaka, Masayuki Tezuka, Yusuke Yoshida
2026年暗号と情報セキュリティシンポジウム (SCIS 2026) 予稿集 3E3-4
2026/01/26-30 @函館アリーナ, 北海道
揮発性をもたせるための暗号フレームワーク
中島 弘, 田中 圭介, 手塚 真徹, 吉田 雄祐
2026年暗号と情報セキュリティシンポジウム (SCIS 2026) 予稿集 4E3-4
2026/01/26-30 @函館アリーナ, 北海道
FuncCPAとその変種の関係
篠﨑 拓実, 岡本 龍明, 田中 圭介, 手塚 真徹, 吉田 雄祐
2026年暗号と情報セキュリティシンポジウム (SCIS 2026) 予稿集 5E1-2
2026/01/26-30 @函館アリーナ, 北海道
鍵検証を含む非対称パスワード認証鍵交換における安全性緩和のバリエーション
花井 秀矢, 田中 圭介, 手塚 真徹, 吉田 雄祐
2025年暗号と情報セキュリティシンポジウム (SCIS 2025) 予稿集 1C1-1
2025/01/28-31 @リーガロイヤルホテル小倉, 福岡
FuncCPA安全性とReEncCPA安全性の分離
篠﨑 拓実, 岡本 龍明, 田中 圭介, 手塚 真徹, 吉田 雄祐
2025年暗号と情報セキュリティシンポジウム (SCIS 2025) 予稿集 4B2-5
2025/01/28-31 @リーガロイヤルホテル小倉, 福岡
A General Framework of Meta-Meta-Reduction
Natsuki Sagara, Masayuki Tezuka, Yoshida Yusuke, Keisuke Tanaka
2024年暗号と情報セキュリティシンポジウム (SCIS 2024) 予稿集 2B1-4
2024/01/23-26 @出島メッセ長崎, 長崎
FuncCPA安全性とFuncCPA+安全性の関係について
篠﨑 拓実, 手塚 真徹, 吉田 雄祐, 田中 圭介
2024年暗号と情報セキュリティシンポジウム (SCIS 2024) 予稿集 3A5-2
2024/01/23-26 @出島メッセ長崎, 長崎
Universally Composable Relaxed Asymmetric Password Authenticated Key Exchange
Shuya Hanai, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
2024年暗号と情報セキュリティシンポジウム (SCIS 2024) 予稿集 3B2-2
2024/01/23-26 @出島メッセ長崎, 長崎
更新可能な報告タグをもつフォワード安全なメッセージフランキング
山室 宏貴, 原 啓祐, 手塚 真徹, 吉田 雄祐, 田中 圭介
2023年暗号と情報セキュリティシンポジウム (SCIS 2023) 予稿集 1C2-2
2023/01/24-27 @リーガロイヤルホテル小倉, 福岡
量子計算によるLWE問題のSearch-to-Decision帰着
数藤 恭平, 手塚 真徹, 原 啓祐, 吉田 雄祐
2023年暗号と情報セキュリティシンポジウム (SCIS 2023) 予稿集 1D3-1
2023/01/24-27 @リーガロイヤルホテル小倉, 福岡
A Quantum Search-to-Decision Reduction for the LPN Problem
数藤 恭平, 手塚 真徹, 原 啓祐, 吉田 雄祐, 田中 圭介
2022年暗号と情報セキュリティシンポジウム (SCIS 2022) 予稿集 2E3-2
2022/01/18-21 @グランキューブ大阪, 大阪
フォワード安全な認証付きコミッティング暗号
山室 宏貴, 原 啓祐, 手塚 真徹, 吉田 雄祐, 田中 圭介
2021年暗号と情報セキュリティシンポジウム (SCIS 2021) 予稿集 2B3-3
2021/01/19-22 @オンライン
計算量的機能保存性をもつ電子透かし署名
数藤 恭平, 手塚 真徹, 原 啓祐, 吉田 雄祐, 田中 圭介
2021年暗号と情報セキュリティシンポジウム (SCIS 2021) 予稿集 4A2-3
2021/01/19-22 @オンライン
署名回路に対する秘匿可能な電子透かし
数藤 恭平, 手塚 真徹, 原 啓祐, 吉田 雄祐, 田中 圭介
2020年暗号と情報セキュリティシンポジウム (SCIS 2020) 予稿集 1E1-4
2020/01/28-31 @ザ・クラウンパレス新阪急高知, 高知
タイムロックパズルに対する安全性定義の考察
平賀 大揮, 手塚 真徹, 原 啓祐, 吉田 雄祐, 田中 圭介
2020年暗号と情報セキュリティシンポジウム (SCIS 2020) 予稿集 4E1-4
2020/01/28-31 @ザ・クラウンパレス新阪急高知, 高知
Intel SGXを用いた入力を制御できる複数入力関数型暗号
吉野 慎司, 手塚 真徹, 品川 和雅, 田中 圭介
2019年暗号と情報セキュリティシンポジウム (SCIS 2019) 予稿集 2A3-4
2019/01/22-25 @びわ湖大津プリンスホテル, 滋賀
集合構造を持つメッセージに対する n-out-of-n 消去署名方式
手塚 真徹, 田中 圭介
2019年暗号と情報セキュリティシンポジウム (SCIS 2019) 予稿集 4A2-3
2019/01/22-25 @びわ湖大津プリンスホテル, 滋賀
弱められたランダムオラクルモデルの拡張と署名方式の安全性
手塚 真徹, 吉田 雄祐, 田中 圭介
2018年暗号と情報セキュリティシンポジウム (SCIS 2018) 予稿集 3B2-5
2018/01/23-26 @朱鷺メッセ, 新潟
OAEPとその変種の安全性について
手塚 真徹, 田中 圭介
Kプロ高機能暗号PQC2025年度第3回全体会議
2025/12/22 @東京科学大学大岡山キャンパス, 東京
極値組合せ論に関する完備探索問題とTFNPのサブクラス
手塚 真徹
早稲田離散数学と暗号のワークショップ
2025/08/06 @早稲田大学西早稲田キャンパス, 東京
素因数分解問題とTFNPのサブクラス
手塚 真徹, 田中 圭介
CRESTクリプトマス2025年度第1回全体会議
2025/05/13 @東京科学大学大岡山キャンパス, 東京
符号と格子に関わるパラメータ化計算量
手塚 真徹, 田中 圭介
CRESTクリプトマス2024年度第1回全体会議
2024/05/10 @東京科学大学大岡山キャンパス, 東京
電子署名を用いたメッセージフランキングの提案
佐々木 悠真, 手塚 真徹, 森 隆裕
第29回高専シンポジウム G-16
2024/01/26-27 @長岡工業高等専門学校, 新潟
量子計算によるLWE問題のSearch-to-Decision帰着
数藤 恭平, 手塚 真徹, 原 啓祐, 吉田 雄祐
2022年度冬のLAシンポジウム [6]
2023/01/30-2023/02/01 @京都大学数理解析研究所, 京都
フォワード安全なメッセージフランキング (from ICISC 2021)
Hiroki Yamamuro, Keisuke Hara, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
電子情報通信学会 情報セキュリティ研究会 (ISEC)[招待講演]
2022/05/18 @オンライン
同期集約署名と計算仮定
手塚 真徹, 田中 圭介
2022年CREST暗号数理 最終ワークショップ
2022/03/14 @九州大学マス・フォア・インダストリ研究所, 福岡
タイムロックパズルに対する安全性定義の考察 (from ICISC 2020)
平賀 大揮, 原 啓祐, 手塚 真徹, 吉田 雄祐, 田中 圭介
電子情報通信学会 情報セキュリティ研究会 (ISEC)[招待講演]
2021/05/19 @オンライン
選択接頭辞攻撃を考慮した署名方式の安全性について
手塚 真徹, 吉田 雄祐, 田中 圭介
2019年CREST暗号数理ミニワークショップ「若手研究者講演」
2019/03/08 @九州大学マス・フォア・インダストリ研究所, 福岡
接頭辞攻撃を考慮したランダムオラクルモデルと署名の安全性
手塚 真徹, 吉田 雄祐, 田中 圭介
2018年度冬のLAシンポジウム [10]
2019/02/04〜2019/02/06 @京都大学数理解析研究所, 京都
Mersenne数を用いた公開鍵暗号システムについて
手塚 真徹, 田中 圭介
2018年CREST暗号数理ミニワークショップ「未解決問題ワークショップ」
2018/09/07 @奈良春日野国際フォーラム, 奈良
2025年4月〜現在:
国立研究開発法人科学技術振興機構(JST) 経済安全保障重要技術育成プログラム
K Program セキュアなデータ流通を支える暗号関連技術（高機能暗号）
研究代表者 高木 剛（東京大学）
東京科学大学グループ メンバー
2023年4月〜現在:
国立研究開発法人科学技術振興機構(JST) 戦略的創造研究推進事業
CRESTクリプトマス ポスト量子社会が求める高機能暗号の数理基盤創出と展開
研究代表者 高木 剛（東京大学）
田中グループ メンバー
国際暗号学会 (IACR)
電子情報通信学会 (IEICE)
国際会議 CT-RSA 2026
国際会議 IWSEC 2024
国際会議 ASIACRYPT 2023
国際会議 INDOCRYPT 2022
国際会議 IWSEC 2021
国際会議 IWSEC 2019
論文誌 IEICE Trans.Fundamentals
2023年4月〜2026年3月:
日本学術振興会 科学研究費助成事業 若手研究
非対話型計算問題の困難性に基づく署名方式の安全性証明の改良
研究代表者 手塚 真徹
2022年4月〜2023年3月:
鶴岡高専技術振興会 分野C, 学術研究および教育活動の充実発展の助成
安全性証明可能な暗号技術の構成
研究代表者 手塚 真徹
2022/03/26:
東京工業大学データサイエンス・AI特別専門学修プログラム 修了
2019/03/26:
東京工業大学サイバーセキュリティ特別専門学修プログラム 修了
2017/05/01:
高等学校教諭一種免許状（情報） 取得
2010/03/31:
高等学校教諭一種免許状（数学） 取得
2010/03/31:
高等学校教諭一種免許状（理科） 取得
2010/03/31:
中学校教諭一種免許状（数学） 取得
2010/03/31:
中学校教諭一種免許状（理科） 取得