Follow
Daiki Miyahara
Title
Cited by
Cited by
Year
Efficient card-based zero-knowledge proof for Sudoku
T Sasaki, D Miyahara, T Mizuki, H Sone
Theoretical Computer Science 839, 135-142, 2020
642020
The minimum number of cards in practical card-based protocols
J Kastner, A Koch, S Walzer, D Miyahara, Y Hayashi, T Mizuki, H Sone
International Conference on the Theory and Application of Cryptology and …, 2017
602017
Physical zero-knowledge proof for Makaro
X Bultel, J Dreier, JG Dumas, P Lafourcade, D Miyahara, T Mizuki, ...
Stabilization, Safety, and Security of Distributed Systems: 20th …, 2018
582018
Secure implementations of a random bisection cut
I Ueda, D Miyahara, A Nishimura, Y Hayashi, T Mizuki, H Sone
International Journal of Information Security 19, 445-452, 2020
512020
Practical card-based implementations of Yao's millionaire protocol
D Miyahara, Y Hayashi, T Mizuki, H Sone
Theoretical computer science 803, 207-221, 2020
472020
Card-based ZKP protocols for Takuzu and Juosan
D Miyahara, L Robert, P Lafourcade, S Takeshige, T Mizuki, K Shinagawa, ...
10th International Conference on Fun with Algorithms (FUN 2021), 2020
472020
Interactive physical zero-knowledge proof for Norinori
JG Dumas, P Lafourcade, D Miyahara, T Mizuki, T Sasaki, H Sone
Computing and Combinatorics: 25th International Conference, COCOON 2019, Xi …, 2019
462019
Card-based physical zero-knowledge proof for Kakuro
D Miyahara, T Sasaki, T Mizuki, H Sone
IEICE Transactions on Fundamentals of Electronics, Communications and …, 2019
422019
How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition
P Lafourcade, D Miyahara, T Mizuki, L Robert, T Sasaki, H Sone
Theoretical Computer Science 888, 41-55, 2021
372021
Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle
L Robert, D Miyahara, P Lafourcade, L Libralesso, T Mizuki
Information and Computation 285 (B), 104858, 2022
332022
Physical zero-knowledge proof for Suguru puzzle
L Robert, D Miyahara, P Lafourcade, T Mizuki
International Symposium on Stabilizing, Safety, and Security of Distributed …, 2020
272020
Card-based ZKP for connectivity: applications to Nurikabe, Hitori, and Heyawake
L Robert, D Miyahara, P Lafourcade, T Mizuki
New Generation Computing 40 (1), 149-171, 2022
262022
A physical ZKP for Slitherlink: how to perform physical topology-preserving computation
P Lafourcade, D Miyahara, T Mizuki, T Sasaki, H Sone
Information Security Practice and Experience: 15th International Conference …, 2019
242019
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori
L Robert, D Miyahara, P Lafourcade, T Mizuki
International Conference on Computability in Europe, 373–384, 2021
232021
Card-based protocols for secure ranking computations
K Takashima, Y Abe, T Sasaki, D Miyahara, K Shinagawa, T Mizuki, ...
Theoretical Computer Science 845, 122-135, 2020
212020
Six-card finite-runtime XOR protocol with only random cut
K Toyoda, D Miyahara, T Mizuki, H Sone
Proceedings of the 7th ACM Workshop on ASIA Public-Key Cryptography, 2-8, 2020
172020
Another use of the five-card trick: card-minimal secure three-input majority function evaluation
K Toyoda, D Miyahara, T Mizuki
Progress in Cryptology–INDOCRYPT 2021: 22nd International Conference on …, 2021
162021
Zero-knowledge proof protocol for cryptarithmetic using dihedral cards
R Isuzugawa, D Miyahara, T Mizuki
International Conference on Unconventional Computation and Natural …, 2021
152021
New card-based copy protocols using only random cuts
H Koyama, K Toyoda, D Miyahara, T Mizuki
Proceedings of the 8th ACM on ASIA Public-Key Cryptography Workshop, 13-22, 2021
152021
A secure three-input AND protocol with a standard deck of minimal cards
H Koyama, D Miyahara, T Mizuki, H Sone
International Computer Science Symposium in Russia, 242-256, 2021
142021
The system can't perform the operation now. Try again later.
Articles 1–20