研究業績

>>English Version

国際会議論文（査読有）

  1. 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
    [Proceedings]  [ePrint]
  2. Public Key Encryption with Equality Test from Tag-Based Encryption
    Masayuki Tezuka, Keisuke Tanaka
    IWSEC 2025, November 25-27, 2025 @Fukuoka, Japan
    [Proceedings]  [Slides]  [arXiv]
  3. Ordered Multi-Signatures with Public-Key Aggregation from SXDH Assumption
    Masayuki Tezuka, Keisuke Tanaka
    IWSEC 2025, November 25-27, 2025 @Fukuoka, Japan
    [Proceedings]  [Slides]  [arXiv]
  4. Strong Designated Verifier Signatures with Non-delegatability from CSIDH
    Hiroki Minamide, Keisuke Tanaka, Masayuki Tezuka
    ICISC 2025, November 19-21, 2025 @Seoul, South Korea
    [Proceedings]  [ePrint]
  5. Logarithmic-Size Ring Signatures with Tight Security from the DL Assumption
    Keisuke Hara, Masayuki Tezuka
    ProvSec 2025, October 10-12, 2025 @Yokohama, Japan
    [Proceedings] 
  6. 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
    [Proceedings] 
  7. Universally Composable Relaxed Asymmetric Password-Authenticated Key Exchange
    Shuya Hanai, Keisuke Tanaka, Masayuki Tezuka, Yusuke Yoshida
    SCN 2024, September 11-13, 2024 @Amalfi, Italy
    [Proceedings]  [ePrint]
  8. 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
    [Proceedings]  [Slides]  [arXiv]
  9. 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
    [Proceedings]  [ePrint]
  10. Pointcheval-Sanders Signature-Based Synchronized Aggregate Signature
    Masayuki Tezuka, Keisuke Tanaka
    ICISC 2022, November 30-December 2, 2022 @Seoul, South Korea
    [Proceedings]  [Slides]  [arXiv]
  11. Forward Secure Message Franking
    Hiroki Yamamuro, Keisuke Hara, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
    ICISC 2021, December 1-3, 2021 @Seoul, South Korea (Online)
    [Proceedings]
  12. 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)
    [Proceedings]
  13. 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)
    [Proceedings]
  14. 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)
    [Proceedings]  [Slides]  [arXiv] 
  15. A t-out-of-n Redactable Signature Scheme
    Masayuki Tezuka, Xiangyu Su, Keisuke Tanaka
    CANS 2019, October 25-27, 2019 @Fuzhou, China
    [Proceedings]  [Slides]  [arXiv]
  16. Weakened Random Oracle Models with Target Prefix
    Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
    SecITC 2018, November 8-9, 2018 @Bucharest, Romania
    [Proceedings]  [Slides]  [arXiv]

学術雑誌（査読有）

  1. 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] 
  2. 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]
  3. 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]
  4. Redactable Signature with Compactness from Set-Commitment
    Masayuki Tezuka, Keisuke Tanaka
    IEICE Trans.Fundamentals Vol.E104-A, No.09 September 01, 2021
    [Article]  [arXiv]

書籍出版物

  1. Mathematical Foundations for Post-Quantum Cryptography Crypto-Math CREST Mathematics for Industry
    Tsuyoshi Takagi, Masato Wakayama, Noboru Kunihiro, Keisuke Tanaka, Kazufumi Kimoto, Momonari Kudo
    Role: Contributor, A Survey on Middle-Product Learning with Errors Cryptography (Octorber 27, 2025)
    Masayuki Tezuka, Keisuke Tanaka
    [Book]  [Article] 

国内会議論文（査読無）

  1. Broadcast Encryption with Interactive Key Generation
    Boran Liu, Keisuke Tanaka, Masayuki Tezuka, Yusuke Yoshida
    2026年暗号と情報セキュリティシンポジウム (SCIS 2026) 予稿集 3E3-4
    2026/01/26-30 @函館アリーナ, 北海道（発表予定）
  2. 揮発性をもたせるための暗号フレームワーク
    中島 弘, 田中 圭介, 手塚 真徹, 吉田 雄祐
    2026年暗号と情報セキュリティシンポジウム (SCIS 2026) 予稿集 4E3-4
    2026/01/26-30 @函館アリーナ, 北海道（発表予定）
  3. FuncCPAとその変種の関係
    篠﨑 拓実, 岡本 龍明, 田中 圭介, 手塚 真徹, 吉田 雄祐
    2026年暗号と情報セキュリティシンポジウム (SCIS 2026) 予稿集 5E1-2
    2026/01/26-30 @函館アリーナ, 北海道（発表予定）
  4. 鍵検証を含む非対称パスワード認証鍵交換における安全性緩和のバリエーション
    花井 秀矢, 田中 圭介, 手塚 真徹, 吉田 雄祐
    2025年暗号と情報セキュリティシンポジウム (SCIS 2025) 予稿集 1C1-1
    2025/01/28-31 @リーガロイヤルホテル小倉, 福岡
  5. FuncCPA安全性とReEncCPA安全性の分離
    篠﨑 拓実, 岡本 龍明, 田中 圭介, 手塚 真徹, 吉田 雄祐
    2025年暗号と情報セキュリティシンポジウム (SCIS 2025) 予稿集 4B2-5
    2025/01/28-31 @リーガロイヤルホテル小倉, 福岡
  6. A General Framework of Meta-Meta-Reduction
    Natsuki Sagara, Masayuki Tezuka, Yoshida Yusuke, Keisuke Tanaka
    2024年暗号と情報セキュリティシンポジウム (SCIS 2024) 予稿集 2B1-4
    2024/01/23-26 @出島メッセ長崎, 長崎
  7. FuncCPA安全性とFuncCPA+安全性の関係について
    篠﨑 拓実, 手塚 真徹, 吉田 雄祐, 田中 圭介
    2024年暗号と情報セキュリティシンポジウム (SCIS 2024) 予稿集 3A5-2
    2024/01/23-26 @出島メッセ長崎, 長崎
  8. 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 @出島メッセ長崎, 長崎
  9. 更新可能な報告タグをもつフォワード安全なメッセージフランキング
    山室 宏貴, 原 啓祐, 手塚 真徹, 吉田 雄祐, 田中 圭介
    2023年暗号と情報セキュリティシンポジウム (SCIS 2023) 予稿集 1C2-2
    2023/01/24-27 @リーガロイヤルホテル小倉, 福岡
  10. 量子計算によるLWE問題のSearch-to-Decision帰着
    数藤 恭平, 手塚 真徹, 原 啓祐, 吉田 雄祐
    2023年暗号と情報セキュリティシンポジウム (SCIS 2023) 予稿集 1D3-1
    2023/01/24-27 @リーガロイヤルホテル小倉, 福岡
  11. A Quantum Search-to-Decision Reduction for the LPN Problem
    数藤 恭平, 手塚 真徹, 原 啓祐, 吉田 雄祐, 田中 圭介
    2022年暗号と情報セキュリティシンポジウム (SCIS 2022) 予稿集 2E3-2
    2022/01/18-21 @グランキューブ大阪, 大阪
  12. フォワード安全な認証付きコミッティング暗号
    山室 宏貴, 原 啓祐, 手塚 真徹, 吉田 雄祐, 田中 圭介
    2021年暗号と情報セキュリティシンポジウム (SCIS 2021) 予稿集 2B3-3
    2021/01/19-22 @オンライン
  13. 計算量的機能保存性をもつ電子透かし署名
    数藤 恭平, 手塚 真徹, 原 啓祐, 吉田 雄祐, 田中 圭介
    2021年暗号と情報セキュリティシンポジウム (SCIS 2021) 予稿集 4A2-3
    2021/01/19-22 @オンライン
  14. 署名回路に対する秘匿可能な電子透かし
    数藤 恭平, 手塚 真徹, 原 啓祐, 吉田 雄祐, 田中 圭介
    2020年暗号と情報セキュリティシンポジウム (SCIS 2020) 予稿集 1E1-4
    2020/01/28-31 @ザ・クラウンパレス新阪急高知, 高知
  15. タイムロックパズルに対する安全性定義の考察
    平賀 大揮, 手塚 真徹, 原 啓祐, 吉田 雄祐, 田中 圭介
    2020年暗号と情報セキュリティシンポジウム (SCIS 2020) 予稿集 4E1-4
    2020/01/28-31 @ザ・クラウンパレス新阪急高知, 高知
  16. Intel SGXを用いた入力を制御できる複数入力関数型暗号
    吉野 慎司, 手塚 真徹, 品川 和雅, 田中 圭介
    2019年暗号と情報セキュリティシンポジウム (SCIS 2019) 予稿集 2A3-4
    2019/01/22-25 @びわ湖大津プリンスホテル, 滋賀
  17. 集合構造を持つメッセージに対する n-out-of-n 消去署名方式
    手塚 真徹, 田中 圭介
    2019年暗号と情報セキュリティシンポジウム (SCIS 2019) 予稿集 4A2-3
    2019/01/22-25 @びわ湖大津プリンスホテル, 滋賀
  18. 弱められたランダムオラクルモデルの拡張と署名方式の安全性
    手塚 真徹, 吉田 雄祐, 田中 圭介
    2018年暗号と情報セキュリティシンポジウム (SCIS 2018) 予稿集 3B2-5
    2018/01/23-26 @朱鷺メッセ, 新潟

口頭発表（査読無）

  1. OAEPとその変種の安全性について
    手塚 真徹, 田中 圭介
    Kプロ高機能暗号PQC2025年度第3回全体会議
    2025/12/22 @東京科学大学大岡山キャンパス, 東京
  2. 極値組合せ論に関する完備探索問題とTFNPのサブクラス
    手塚 真徹
    早稲田離散数学と暗号のワークショップ
    2025/08/06 @早稲田大学西早稲田キャンパス, 東京
  3. 素因数分解問題とTFNPのサブクラス
    手塚 真徹, 田中 圭介
    CRESTクリプトマス2025年度第1回全体会議
    2025/05/13 @東京科学大学大岡山キャンパス, 東京
    [スライド]
  4. 符号と格子に関わるパラメータ化計算量
    手塚 真徹, 田中 圭介
    CRESTクリプトマス2024年度第1回全体会議
    2024/05/10 @東京科学大学大岡山キャンパス, 東京
    [スライド]
  5. 電子署名を用いたメッセージフランキングの提案
    佐々木 悠真, 手塚 真徹, 森 隆裕
    第29回高専シンポジウム G-16
    2024/01/26-27 @長岡工業高等専門学校, 新潟
  6. 量子計算によるLWE問題のSearch-to-Decision帰着
    数藤 恭平, 手塚 真徹, 原 啓祐, 吉田 雄祐
    2022年度冬のLAシンポジウム [6]
    2023/01/30-2023/02/01 @京都大学数理解析研究所, 京都
  7. フォワード安全なメッセージフランキング (from ICISC 2021)
    Hiroki Yamamuro, Keisuke Hara, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka
    電子情報通信学会 情報セキュリティ研究会 (ISEC)[招待講演]
    2022/05/18 @オンライン
  8. 同期集約署名と計算仮定
    手塚 真徹, 田中 圭介
    2022年CREST暗号数理 最終ワークショップ
    2022/03/14 @九州大学マス・フォア・インダストリ研究所, 福岡
    [スライド]
  9. タイムロックパズルに対する安全性定義の考察 (from ICISC 2020)
    平賀 大揮, 原 啓祐, 手塚 真徹, 吉田 雄祐, 田中 圭介
    電子情報通信学会 情報セキュリティ研究会 (ISEC)[招待講演]
    2021/05/19 @オンライン
  10. 選択接頭辞攻撃を考慮した署名方式の安全性について
    手塚 真徹, 吉田 雄祐, 田中 圭介
    2019年CREST暗号数理ミニワークショップ「若手研究者講演」
    2019/03/08 @九州大学マス・フォア・インダストリ研究所, 福岡
  11. 接頭辞攻撃を考慮したランダムオラクルモデルと署名の安全性
    手塚 真徹, 吉田 雄祐, 田中 圭介
    2018年度冬のLAシンポジウム [10]
    2019/02/04〜2019/02/06 @京都大学数理解析研究所, 京都
  12. Mersenne数を用いた公開鍵暗号システムについて
    手塚 真徹, 田中 圭介
    2018年CREST暗号数理ミニワークショップ「未解決問題ワークショップ」
    2018/09/07 @奈良春日野国際フォーラム, 奈良
    [スライド]