暗号・パズル・ゲーム研究室

研究業績

📕 Journal Papers

How to Play Old Maid with Virtual Players.

Kazumasa Shinagawa, Daiki Miyahara and Takaaki Mizuki

Theory of Computing Systems, Volume 69, Number 1, Article number 18, April 2, 2025.

[DOI]

Secure multi-party computation with legally-enforceable fairness.

Takeshi Nakai, Kazumasa Shinagawa

International Journal of Information Security, Volume 23, Number 6, Pages 3609–3623, August 29, 2024.

[DOI]

Extended Addition Protocol and Efficient Voting Protocols Using Regular Polygon Cards.

Yoshihiro Takahashi, Kazumasa Shinagawa

New Generation Computing, Volume 42, Pages 479–496, August 20, 2024.

[DOI]

Physical Zero-Knowledge Proof for Sukoro.

Shun Sasaki, Kazumasa Shinagawa

New Generation Computing, Volume 42, Pages 381–398, July 15, 2024.

[DOI]

Card-Based Protocols for Private Set Intersection and Union.

Anastasiia Doi, Tomoki Ono, Yoshiki Abe, Takeshi Nakai, Kazumasa Shinagawa, Yohei Watanabe, Koji Nuida and Mitsugu Iwamoto

New Generation Computing, Volume 42, Pages 359-380, June 22, 2024.

[DOI]

Coin-based Cryptographic Protocols without Hand Operations.

Yuta Minamikawa, Kazumasa Shinagawa

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Volume 107, Number 8, Pages 1178-1185, 2023.

[DOI]

Uniform Cyclic Group Factorizations of Finite Groups.

Kazuki Kanai, Kengo Miyamoto, Koji Nuida, Kazumasa Shinagawa

Communications in Algebra, Volume 52, Issue 5, Pages 2174-2184, December 1, 2023.

[DOI] [arXiv]

Private simultaneous messages based on quadratic residues.

Kazumasa Shinagawa, Reo Eriguchi, Shohei Satake, Koji Nuida

Designs, Codes and Cryptography, Volume 91, Number 12, Pages 3915-3932, August 16, 2023.

[DOI] [arXiv]

Constant-round linear-broadcast secure computation with penalties.

Takeshi Nakai, Kazumasa Shinagawa

Theoretical Computer Science, Volume 959, Pages 113874, May 30, 2023.

[DOI] [arXiv]

Automorphism Shuffles for Graphs and Hypergraphs and Its Applications.

Kazumasa Shinagawa, Kengo Miyamoto

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Volume E106.A, Issue 3, Pages 306-314, March 1, 2023.

[DOI] [arXiv]

Graph Automorphism Shuffles from Pile-Scramble Shuffles.

Kengo Miyamoto, Kazumasa Shinagawa

New Generation Computing, Volume 40, Pages 199-223, April 2, 2022.

[DOI] [arXiv]

A single shuffle is enough for secure card-based computation of any Boolean circuit.

Kazumasa Shinagawa, Koji Nuida

Discrete Applied Mathematics, Volume 289, Pages 248-261, 31 January 2021.

[DOI]

Card-based Cryptography with Dihedral Symmetry.

Kazumasa Shinagawa

New Generation Computing, Volume 39, Pages 41-71, January 4, 2021.

[DOI]

Card-based protocols for secure ranking computations.

Ken Takashima, Yuta Abe, Tatsuya Sasaki, Daiki Miyahara, Kazumasa Shinagawa, Takaaki Mizuki, Hideaki Sone

Theoretical Computer Science, Volume 845, Pages 122-135, 12 December 2020.

[DOI]

Toward Finite-Runtime Card-Based Protocol for Generating a Hidden Random Permutation without Fixed Points.

Yuji Hashimoto, Koji Nuida, Kazumasa Shinagawa, Masaki Inamura, Goichiro Hanaoka

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Volume E101.A, Issue 9, Pages 1503-1511, 2018.

[DOI]

Secure Grouping Protocol Using a Deck of Cards.

Yuji Hashimoto, Kazumasa Shinagawa, Koji Nuida, Masaki Inamura, Goichiro Hanaoka

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Volume E101.A, Issue 9, Pages 1512-1524, 2018.

[DOI]

Card-Based Protocols Using Regular Polygon Cards.

Kazumasa Shinagawa, Takaaki Mizuki, Jacob C. N. Schuldt, Koji Nuida, Naoki Kanayama, Takashi Nishide, Goichiro Hanaoka, Eiji Okamoto

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Volume E100.A, Issue 9, Pages 1900-1909, 2017.

[DOI]

Secure Computation Protocols Using Polarizing Cards.

Kazumasa Shinagawa, Takaaki Mizuki, Jacob C. N. Schuldt, Koji Nuida, Naoki Kanayama, Takashi Nishide, Goichiro Hanaoka, Eiji Okamoto

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Volume E99.A, Issue 6, Pages 1122-1131, 2016.

[DOI]

📘 Journal Papers (Japanese)

時間ドロボー問題に対する健全性誤りのない物理的ゼロ知識証明.

初貝 恭祐, 安部 芳紀, 中井 雄士, 品川 和雅, 渡邉 洋平, 岩本 貢

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 電子情報通信学会論文誌 A, 2024年.

高機能暗号の社会展開を促進する物理・視覚暗号.

花岡 悟一郎, 岩本 貢, 渡邉 洋平, 水木 敬明, 安部 芳紀, 品川 和雅, 新井 美音, 矢内 直人

電子情報通信学会論文誌 A, Vol.J106-A, No.8 pp.214-228, 2023年8月1日.

[DOI]

📗 International Conference

Formal Verification and Proof of Impossibility for Four-Card XOR Protocols Using Only Random Cuts.

Kazuhiro Fujita, *Shota Ikeda, Kazumasa Shinagawa, Kazuki Yoneyama

APKC 2025 (to appear)

Efficient Multiparty Private Simultaneous Messages for Symmetric Functions.

*Reo Eriguchi, Kazumasa Shinagawa

EUROCRYPT 2025

Card-Based Protocols Imply PSM Protocols.

*Kazumasa Shinagawa, Koji Nuida

STACS 2025

Only Two Shuffles Perform Card-Based Zero-Knowledge Proof for Sudoku of Any Size.

*Kodai Tanaka, Shun Sasaki, Kazumasa Shinagawa, Takaaki Mizuki

SOSA 2025

Efficient Card-Based Protocols with a Standard Deck of Playing Cards Using Partial Opening.

*Yoshiaki Honda, Kazumasa Shinagawa

IWSEC 2024

How to Play Old Maid with Virtual Players.

*Kazumasa Shinagawa, Daiki Miyahara and Takaaki Mizuki

IJTCS-FAW 2024

Size-Hiding Computation in the Honest-But-Curious Model.

*Kazumasa Shinagawa

ACISP 2024

Efficient Card-Based Protocols for Symmetric Functions Using Four-Colored Decks.

*Yoshihiro Takahashi, Kazumasa Shinagawa, Hayato Shikata, Takaaki Mizuki

APKC 2024

How to Covertly and Uniformly Scramble the 15 Puzzle and Rubik's Cube.

*Kazumasa Shinagawa, Kazuki Kanai, Kengo Miyamoto and Koji Nuida

FUN 2024

Card-based Cryptography Meets Differential Privacy.

*Reo Eriguchi, Kazumasa Shinagawa and Takao Murakami

FUN 2024

Explicit Lower Bounds for Communication Complexity of PSM for Concrete Functions.

*Kazumasa Shinagawa, Koji Nuida

INDOCRYPT 2023

Single-Shuffle Card-Based Protocols with Six Cards per Gate.

*Tomoki Ono, Kazumasa Shinagawa, Takeshi Nakai, Yohei Watanabe, Mitsugu Iwamoto

ICISC 2023

Secure Multi-party Computation with Legally-Enforceable Fairness.

*Takeshi Nakai, Kazumasa Shinagawa

ICICS 2023

Free-XOR in Card-based Garbled Circuits.

*Yoshifumi Manabe, Kazumasa Shinagawa

CANS 2023

Malicious Player Card-based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations.

Tomoya Morooka, *Yoshifumi Manabe, Kazumasa Shinagawa

ISPEC 2023

Card-Based Secure Sorting Protocol.

*Rikuo Haga, Kodai Toyoda, Yuto Shinoda, Daiki Miyahara, Kazumasa Shinagawa, Yu-ichi Hayashi, Takaaki Mizuki

IWSEC 2022

Secure Computation with Non-Equivalent Penalties in Constant Rounds.

*Takeshi Nakai, Kazumasa Shinagawa

Tokenomics 2021

Card-Based ZKP Protocols for Takuzu and Juosan.

*Daiki Miyahara, Léo Robert, Pascal Lafourcade, So Takeshige, Takaaki Mizuki, Kazumasa Shinagawa, Atsuki Nagao, Hideaki Sone

FUN 2021

Card-Based Secure Ranking Computations.

*Ken Takashima, Yuta Abe, Tatsuya Sasaki, Daiki Miyahara, Kazumasa Shinagawa, Takaaki Mizuki, Hideaki Sone

COCOA 2019

Light Cryptography.

*Pascal Lafourcade, Takaaki Mizuki, Atsuki Nagao, *Kazumasa Shinagawa

World Conference on Information Security Education 2019

Secure Computation of Any Boolean Function Based on Any Deck of Cards.

*Kazumasa Shinagawa, Takaaki Mizuki

FAW 2019

Card-Based Cryptography with Invisible Ink.

*Kazumasa Shinagawa

TAMC 2019

The Six-Card Trick: Secure Computation of Three-Input Equality.

*Kazumasa Shinagawa, Takaaki Mizuki

ICISC 2018

Physical Zero-Knowledge Proof for Makaro.

Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, *Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, *Kazumasa Shinagawa, Hideaki Sone

SSS 2018

Card-based Protocols Using Triangle Cards.

*Kazumasa Shinagawa, Takaaki Mizuki

FUN 2018

Secure Grouping Protocol Using a Deck of Cards.

*Yuji Hashimoto, Kazumasa Shinagawa, Koji Nuida, Masaki Inamura, Goichiro Hanaoka

ICITS 2017

One-time Programs with Cloud Storage and Its Application to Electronic Money.

*Takuya Kitamura, Kazumasa Shinagawa, Takashi Nishide, Eiji Okamoto

APKC@AsiaCCS 2017

On the Robustness of RSA-OAEP Encryption and RSA-PSS Signatures Against (Malicious) Randomness Failures.

*Jacob C. N. Schuldt, Kazumasa Shinagawa

AsiaCCS 2017

Size-Hiding Computation for Multiple Parties.

*Kazumasa Shinagawa, Koji Nuida, Takashi Nishide, Goichiro Hanaoka, Eiji Okamoto

ASIACRYPT 2016

Committed AND protocol using three cards with more handy shuffle.

*Kazumasa Shinagawa, Koji Nuida, Takashi Nishide, Goichiro Hanaoka, Eiji Okamoto

ISITA 2016

Multi-party Computation with Small Shuffle Complexity Using Regular Polygon Cards.

*Kazumasa Shinagawa, Takaaki Mizuki, Jacob C. N. Schuldt, Koji Nuida, Naoki Kanayama, Takashi Nishide, Goichiro Hanaoka, Eiji Okamoto

ProvSec 2015

Secure Multi-Party Computation Using Polarizing Cards.

*Kazumasa Shinagawa, Takaaki Mizuki, Jacob C. N. Schuldt, Koji Nuida, Naoki Kanayama, Takashi Nishide, Goichiro Hanaoka, Eiji Okamoto

IWSEC 2015