Shota Ikeda
池田 昇太
Exploring the hidden logic of Card-based Cryptography.
About Me
私は、茨城大学大学院理工学研究科（情報工学専攻）に在籍し、 品川和雅助教（筑波大学）および米山一樹教授（茨城大学）の指導のもと、 暗号理論と情報セキュリティの研究を行っています。
主な研究関心は「カードベース暗号」です。 トランプのような 物理的なカードを用いた暗号プロトコルの設計や、 その理論的な安全性解析、および最小枚数構成に関する研究をしています。 数理的な厳密さと、直感的な分かりやすさを兼ね備えた、 新しい暗号プリミティブの構築を目指しています。
Publications
バッチング技術の多色カード組と上下回転を用いた効率化
石崎 悠斗, 品川 和雅, 池田 昇太
2026年暗号と情報セキュリティシンポジウム（SCIS2026)
バトルシップに対するカードベースゼロ知識証明
本間 日綺, 池田 昇太, 品川 和雅
2026年暗号と情報セキュリティシンポジウム（SCIS2026)
スターバトルに対するカードベースゼロ知識証明
池田 昇太, 本間 日綺, 品川 和雅
2026年暗号と情報セキュリティシンポジウム（SCIS2026)
部分開示操作を用いた追加カードなしの3変数関数プロトコル
本多 由昂, 池田 昇太, 品川 和雅
2026年暗号と情報セキュリティシンポジウム（SCIS2026)
ランダムカットのみを用いるカードベースプロトコルに対する計算機援用による不可能性証明
渡部 翔, 池田 昇太, 品川 和雅, 水木 敬明, 米山 一樹
コンピュータセキュリティシンポジウム 2025 (CSS 2025)
nクイーン完成問題に対するカードベースゼロ知識証明
池田 昇太, 品川 和雅
コンピュータセキュリティシンポジウム 2025 (CSS 2025)
盗まれたネックレス問題に対するカードベースゼロ知識証明
池田 昇太, 品川 和雅
コンピュータセキュリティシンポジウム 2025 (CSS 2025)
テントアンドツリーに対するカードベースゼロ知識証明
藤原 愛斗, 池田 昇太, 品川 和雅
コンピュータセキュリティシンポジウム (CSS 2025)
Impossibility of Four-Card AND Protocols with a Single Closed Shuffle
Shizuru Iino, Shota Ikeda, Kazumasa Shinagawa, Yang Li, Kazuo Sakiyama, Daiki Miyahara
The International Conference on Cryptology and Network Security (CANS)
How to Play Mastermind without Game Master
Shota Ikeda, Kazumasa Shinagawa
Annual Conference on Theory and Applications of Models of Computation (TAMC 2025)
Efficient Card-Based Protocols for Symmetric and Partially Doubly Symmetric Functions
Shota Ikeda, Yoshihiro Takahashi, Kazumasa Shinagawa, Koji Nuida
The 20th International Workshop on Security (IWSEC 2025)
Formal Verification and Proof of Impossibility for Four-Card XOR Protocols Using Only Random Cuts
Kazuhiro Fujita, Shota Ikeda, Kazumasa Shinagawa, Kazuki Yoneyama
ACM ASIA Public-Key Cryptography Workshop (APKC 2025)
ランダムカットのみの4枚XORプロトコルに対する形式検証と不可能性証明
藤田 和弘, 池田 昇太, 品川 和雅, 米山 一樹
2025年暗号と情報セキュリティシンポジウム（SCIS2025)
2n枚の部分的二重対称関数プロトコル
池田 昇太, 高橋 由紘, 品川 和雅
2025年暗号と情報セキュリティシンポジウム（SCIS2025)
Mizuki-Kumamoto-SoneのANDプロトコルの最適性
池田 昇太, 品川 和雅
コンピュータセキュリティシンポジウム 2024 (CSS 2024)
カードベース暗号を用いたヒット＆ブローの遊び方
池田 昇太, 品川 和雅
第106回 CSEC研究発表会 (セキュリティサマーサミット2024)
Invited Talks
ランダムカットのみの4枚XORプロトコルに対する形式検証と不可能性証明
池田 昇太
九州大学IMI共同利用研究「産学連携と数理・暗号分野連携によるカードベース暗号の深化と新境地 II」
対称関数および部分的二重対称関数に対する効率的なカードベースプロトコル (from IWSEC 2025)
池田 昇太
電子情報通信学会技術研究報告 (ISEC2026-2)
Awards
Best Paper Award
Annual Conference on Theory and Applications of Models of Computation (TAMC 2025)
Best Student Paper Award
International Workshop on Security (IWSEC 2025)
茨城大学工学系学生表彰
茨城大学大学院理工学研究科
Biography
博士前期課程 (Master's Student)
2025.04 - Present茨城大学大学院 理工学研究科
暗号・情報セキュリティ研究室 (品川・米山研究室) 所属
学士 (Bachelor of Engineering)
2021.04 - 2025.03茨城大学 工学部 情報工学科
暗号・情報セキュリティ研究室 (品川研究室) 卒業
For Researchers
& Students
カードベース暗号に関する資料やWebサイトをまとめました。
Resources
研究に役立つ論文リストや解説スライド、Webアプリのまとめ