SHINAGAWA Kazumasa

Affiliation
Institute of Systems and Information Engineering
Official title
Assistant Professor
ORCID
0000-0002-5219-1975
URL
Other affiliation
産業技術総合研究所 サイバーフィジカルセキュリティ研究部門・高機能暗号研究グループ協力研究員
Research projects
共役化理論に基づくカードベース暗号の数理構造の解明2021-04 -- 2026-03品川和雅/科研費若手研究
真に高機能暗号の社会展開に資する物理・視覚暗号2023-04 -- 2026-03花岡悟一郎/科研費基盤(A)
秘匿同時通信とカードベース暗号の効率性限界の解明2026-04 -- 2030-03品川和雅/科研費若手研究
Career history
2025-04 -- (current)筑波大学システム情報系助教
2021-04 -- 2025-03茨城大学応用理工学野助教
2020-04 -- 2021-03電気通信大学特別研究員
Academic background
2017-04 -- 2020-03東京工業大学 情報理工学院 数理・計算科学系
2015-04 -- 2017-03筑波大学大学院 システム情報工学研究科 リスク工学専攻
2013-04 -- 2015-03筑波大学 情報学群 情報科学類
2008-04 -- 2013-03群馬工業高等専門学校 電子メディア工学科
Degree
2020-03博士（理学）東京工業大学
2017-03修士（工学）筑波大学
Academic societies
2025-06 -- (current)パズル懇話会
2024-04 -- (current)日本数学会
Honors & Awards
2025-10コンピュータセキュリティシンポジウム2025 CSS奨励賞数理最適化に基づくカードベース暗号の不可能性証明
2025-11IWSEC 2025 Best Student Paper AwardEfficient Card-Based Protocols for Symmetric and Partially Doubly Symmetric Function
2025-09TAMC 2025 Best Paper AwardHow to Play Mastermind without Game Master
2025-06ゲーム情報学研究会 優秀発表賞UNOを1人で遊ぶためのカードベース暗号プロトコル
Articles
  • Efficient Card-Based Protocols for Symmetric and Partially Doubly Symmetric Functions
    Ikeda Shota; Takahashi Yoshihiro; SHINAGAWA Kazumasa; ...
    Advances in Information and Computer Security - 20th International Workshop on Security (IWSEC 2025), 2025-11
  • Efficient Three-Input and Four-Input AND Protocols Using Playing Cards with Partial-Open Actions
    Honda Yoshiaki; SHINAGAWA Kazumasa
    24th International Conference on Cryptology and Network Security (CANS 2025), 2025-11
  • Impossibility of Four-Card AND Protocols with a Single Closed Shuffle
    Iino Shizuru; Ikeda Shota; SHINAGAWA Kazumasa; Li Yan...
    24th International Conference on Cryptology and Network Security (CANS 2025), 2025-11
  • Impossibility Results of Card-Based Protocols via Mathematical Optimization
    Ikeda Shunnosuke; SHINAGAWA Kazumasa
    The 28th Annual International Conference on Information Security and Cryptography (ICISC 2025), 2025-11
  • How to Play Mastermind Without Game Master
    Ikeda Shota; SHINAGAWA Kazumasa
    Theory and Applications of Models of Computation - 19th Annual Conference (TAMC 2025), 2025-09
  • Simulating Virtual Players for UNO Without Computers
    Ruangwises Suthee; SHINAGAWA Kazumasa
    Unconventional Computation and Natural Computation - 22nd International Conference (UCNC 2025), 2025-09
  • Formal Verification and Proof of Impossibility for Four-Card XOR Protocols Using Only Random Cuts
    Fujita Kazuhiro; Ikeda Shota; SHINAGAWA Kazumasa; Yone...
    Proceedings of the 12th ACM ASIA Public-Key Cryptography Workshop (APKC 2025), 2025-08
  • Efficient Multiparty Private Simultaneous Messages for Symmetric Functions
    Eriguchi Reo; SHINAGAWA Kazumasa
    Advances in Cryptology - EUROCRYPT 2025 - 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2025-05
  • Cyclic Equalizability of Words and Its Application to Card-Based Cryptography
    SHINAGAWA Kazumasa; Nuida Koji
    Fundamentals of Computation Theory - 25th International Symposium (FCT 2025), 2025-09
  • Efficient Card-Based Protocols with a Standard Deck of Playing Cards Using Partial Opening
    Honda Yoshiaki; SHINAGAWA Kazumasa
    IEICE Trans. Fundamentals, 2026-03
  • Efficient Card-Based Protocols for Basic Arithmetic Operations
    Eriguchi Reo; SHINAGAWA Kazumasa
    IEICE Trans. Fundamentals, 2026-03
Conference, etc.
  • Efficient Card-Based Protocols for Symmetric and Partially Doubly Symmetric Functions
    Ikeda Shota; Takahashi Yoshihiro; SHINAGAWA Kazumasa; Nui...
    Advances in Information and Computer Security - 20th International Workshop on Security (IWSEC 2025)/2025-11-25--2025-11-27
  • Efficient Three-Input and Four-Input AND Protocols Using Playing Cards with Partial-Open Actions
    Honda Yoshiaki; SHINAGAWA Kazumasa
    24th International Conference on Cryptology and Network Security (CANS 2025)/2025-11-17--2025-11-20
  • Impossibility of Four-Card AND Protocols with a Single Closed Shuffle
    Iino Shizuru; Ikeda Shota; SHINAGAWA Kazumasa; Li Yang; S...
    24th International Conference on Cryptology and Network Security (CANS 2025)/2025-11-17--2025-11-20
  • How to Play Mastermind Without Game Master
    Ikeda Shota; SHINAGAWA Kazumasa
    Theory and Applications of Models of Computation - 19th Annual Conference (TAMC 2025)/2025-09-19--2025-09-21
  • Simulating Virtual Players for UNO Without Computers
    Ruangwises Suthee; SHINAGAWA Kazumasa
    Unconventional Computation and Natural Computation - 22nd International Conference (UCNC 2025)/2025-09-01--2025-09-05
  • Formal Verification and Proof of Impossibility for Four-Card XOR Protocols Using Only Random Cuts
    Fujita Kazuhiro; Ikeda Shota; SHINAGAWA Kazumasa; Yone...
    Proceedings of the 12th ACM ASIA Public-Key Cryptography Workshop (APKC 2025)/2025-08-25--2025-08-29
  • Efficient Multiparty Private Simultaneous Messages for Symmetric Functions
    Eriguchi Reo; SHINAGAWA Kazumasa
    Advances in Cryptology - EUROCRYPT 2025 - 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques/2025-05-04--2025-05-08
  • ポリオミノパズルに対するシャッフル3回あるいは2回のカードベースゼロ知識証明
    本間日綺; 品川 和雅
    第206回DPS・第112回CSEC合同研究発表会/2026-03-17
  • バッチング技術の多色カード組と上下回転を用いた効率化
    石崎悠斗; 品川 和雅; 池田昇太
    暗号と情報セキュリティシンポジウム2026 (SCIS2026)/2026-01-26
  • 天秤を用いたSumpleteに対するゼロ知識証明プロトコル
    黒木竜馬; 品川 和雅
    暗号と情報セキュリティシンポジウム2026 (SCIS2026)/2026-01-26
  • ハミルトン閉路問題に対するカードベースゼロ知識証明とHidatoへの応用
    藤原愛斗; 品川 和雅
    暗号と情報セキュリティシンポジウム2026 (SCIS2026)/2026-01-26
  • バトルシップに対するカードベースゼロ知識証明
    本間日綺; 池田昇太; 品川 和雅
    暗号と情報セキュリティシンポジウム2026 (SCIS2026)/2026-01-26
  • スターバトルに対するカードベースゼロ知識証明
    池田昇太; 本間日綺; 品川 和雅
    暗号と情報セキュリティシンポジウム2026 (SCIS2026)/2026-01-26
  • 部分開示操作を用いた追加カードなしの3変数関数プロトコル
    本多由昂; 池田昇太; 品川 和雅
    暗号と情報セキュリティシンポジウム2026 (SCIS2026)/2026-01-26
  • ランダムカットのダブルシフティング技法とその応用
    品川 和雅; 江利口礼央
    暗号と情報セキュリティシンポジウム2026 (SCIS2026)/2026-01-26
  • 部分開示操作を用いた多入力ANDプロトコル
    品川 和雅; 本多由昂
    コンピュータセキュリティシンポジウム2025 (CSS2025)/2025-10-27
  • ランダムカットのみを用いるカードベースプロトコルに対する計算機援用による不可能性証明
    渡部翔; 池田昇太; 品川 和雅; 水木敬明; 米山一樹
    コンピュータセキュリティシンポジウム2025 (CSS2025)/2025-10-27
  • 数理最適化に基づくカードベース暗号の不可能性証明
    池田春之介; 品川 和雅
    コンピュータセキュリティシンポジウム2025 (CSS2025)/2025-10-27
  • nクイーン完成問題に対するカードベースゼロ知識証明
    池田昇太; 品川 和雅
    コンピュータセキュリティシンポジウム2025 (CSS2025)/2025-10-27
  • 盗まれたネックレス問題に対するカードベースゼロ知識証明
    池田昇太; 品川 和雅
    コンピュータセキュリティシンポジウム2025 (CSS2025)/2025-10-27
  • Str8tsに対するカードベースゼロ知識証明
    本間日綺; 品川 和雅
    コンピュータセキュリティシンポジウム2025 (CSS2025)/2025-10-27
  • テントアンドツリーに対するカードベースゼロ知識証明
    藤原愛斗; 池田昇太; 品川 和雅
    コンピュータセキュリティシンポジウム2025 (CSS2025)/2025-10-27
  • UNOを1人で遊ぶためのカードベース暗号プロトコル
    ルアンウィセススティー; 品川 和雅
    第55回ゲーム情報学研究発表会/2025-06-07--2025-06-08
  • Advances in Card-Based Zero-Knowledge Proofs for Sudoku
    SHINAGAWA Kazumasa
    組合せ論と情報科学の新展開/2025-05-21--2025-05-23
  • 1回または2回のシャッフルに関する未解決問題
    品川 和雅
    産学連携と数理・暗号分野連携によるカードベース暗号の深化と新境地Ⅱ/2025-05-28--2025-05-28
  • more...
Talks
  • カードベース暗号の最前線
    品川 和雅
    第９回日本組合せゲーム理論研究集会開催記念　中高大学生及び一般向けゲーム大会＋公開講座 ゲームとパズルで遊んで学んで、さらにその先へ！/2025-08-23--2025-08-23
Professional activities
2025-09 -- 2026-03電子情報通信学会IEICE英文論文誌「離散数学とその応用」編集委員
2026-03 -- 2026-09電子情報通信学会IEICE英文論文誌「暗号と情報セキュリティ 小特集」編集委員
University Management
2026-04 -- (current)共通科目「情報」推進室
2025-04 -- (current)情報学群カリキュラム委員会
2025-04 -- (current)情報メディア創成学類カリキュラム委員会
2026-04 -- (current)データサイエンス・マスター・プログラム（DSMP）委員会副委員長
2025-04 -- 2026-03データサイエンス・マスター・プログラム（DSMP）分科会

(Last updated: 2026-04-29)