フォロー
Daiki Miyahara
タイトル
引用先
引用先
Efficient card-based zero-knowledge proof for Sudoku
T Sasaki, D Miyahara, T Mizuki, H Sone
Theoretical Computer Science 839, 135-142, 2020
722020
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
652018
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
632017
Practical card-based implementations of Yao's millionaire protocol
D Miyahara, Y Hayashi, T Mizuki, H Sone
Theoretical computer science 803, 207-221, 2020
522020
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
522020
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
522020
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
502019
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
502019
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
432021
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
412022
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
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
292020
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
252019
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
242021
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
242020
Zero-knowledge proof protocol for cryptarithmetic using dihedral cards
R Isuzugawa, D Miyahara, T Mizuki
International Conference on Unconventional Computation and Natural …, 2021
192021
Hide a liar: card-based ZKP protocol for Usowan
L Robert, D Miyahara, P Lafourcade, T Mizuki
International Conference on Theory and Applications of Models of Computation …, 2022
182022
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
182021
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
182021
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
182020
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20