Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Mizuki, Takaaki Physical ZKP protocols for Nurimisaki and Kurodoko. (English) Zbl 1522.94087 Theor. Comput. Sci. 972, Article ID 114071, 15 p. (2023). MSC: 94A60 94A62 91A80 PDFBibTeX XMLCite \textit{L. Robert} et al., Theor. Comput. Sci. 972, Article ID 114071, 15 p. (2023; Zbl 1522.94087) Full Text: DOI
Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Mizuki, Takaaki Hide a liar: card-based ZKP protocol for Usowan. (English) Zbl 07722842 Du, Ding-Zhu (ed.) et al., Theory and applications of models of computation. 17th annual conference, TAMC 2022, Tianjin, China, September 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13571, 201-217 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Robert} et al., Lect. Notes Comput. Sci. 13571, 201--217 (2023; Zbl 07722842) Full Text: DOI
Miyahara, Daiki; Mizuki, Takaaki Secure computations through checking suits of playing cards. (English) Zbl 1525.94046 Li, Minming (ed.) et al., Frontiers of algorithmic wisdom. International joint conference, IJTCS-FAW 2022, Hong Kong, China, August 15–19, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13461, 110-128 (2023). MSC: 94A60 PDFBibTeX XMLCite \textit{D. Miyahara} and \textit{T. Mizuki}, Lect. Notes Comput. Sci. 13461, 110--128 (2023; Zbl 1525.94046) Full Text: DOI
Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Mizuki, Takaaki Card-based ZKP protocol for Nurimisaki. (English) Zbl 1522.94086 Devismes, Stéphane (ed.) et al., Stabilization, safety, and security of distributed systems. 24th international symposium, SSS 2022, Clermont-Ferrand, France, November 15–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13751, 285-298 (2022). MSC: 94A60 PDFBibTeX XMLCite \textit{L. Robert} et al., Lect. Notes Comput. Sci. 13751, 285--298 (2022; Zbl 1522.94086) Full Text: DOI
Haga, Rikuo; Toyoda, Kodai; Shinoda, Yuto; Miyahara, Daiki; Shinagawa, Kazumasa; Hayashi, Yuichi; Mizuki, Takaaki Card-based secure sorting protocol. (English) Zbl 1517.94106 Cheng, Chen-Mou (ed.) et al., Advances in information and computer security. 17th international workshop on security, IWSEC 2022, Tokyo, Japan, August 31 – September 2, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13504, 224-240 (2022). MSC: 94A60 PDFBibTeX XMLCite \textit{R. Haga} et al., Lect. Notes Comput. Sci. 13504, 224--240 (2022; Zbl 1517.94106) Full Text: DOI
Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Libralesso, Luc; Mizuki, Takaaki Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle. (English) Zbl 1487.68123 Inf. Comput. 285, Part B, Article ID 104858, 14 p. (2022). MSC: 68Q17 68Q10 94A60 PDFBibTeX XMLCite \textit{L. Robert} et al., Inf. Comput. 285, Part B, Article ID 104858, 14 p. (2022; Zbl 1487.68123) Full Text: DOI
Miyahara, Daiki; Haneda, Hiromichi; Mizuki, Takaaki Card-based zero-knowledge proof protocols for graph problems and their computational model. (English) Zbl 1511.94138 Huang, Qiong (ed.) et al., Provable and practical security. 15th international conference, ProvSec 2021, Guangzhou, China, November 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13059, 136-152 (2021). MSC: 94A60 94A62 05C15 05C60 PDFBibTeX XMLCite \textit{D. Miyahara} et al., Lect. Notes Comput. Sci. 13059, 136--152 (2021; Zbl 1511.94138) Full Text: DOI
Isuzugawa, Raimu; Miyahara, Daiki; Mizuki, Takaaki Zero-knowledge proof protocol for cryptarithmetic using dihedral cards. (English) Zbl 07553903 Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 51-67 (2021). MSC: 68Q07 68Q09 68Q10 68Q12 PDFBibTeX XMLCite \textit{R. Isuzugawa} et al., Lect. Notes Comput. Sci. 12984, 51--67 (2021; Zbl 07553903) Full Text: DOI
Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Mizuki, Takaaki Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori. (English) Zbl 07495184 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 373-384 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Robert} et al., Lect. Notes Comput. Sci. 12813, 373--384 (2021; Zbl 07495184) Full Text: DOI HAL
Murata, Soma; Miyahara, Daiki; Mizuki, Takaaki; Sone, Hideaki Efficient generation of a card-based uniformly distributed random derangement. (English) Zbl 07405953 Uehara, Ryuhei (ed.) et al., WALCOM: algorithms and computation. 15th international conference and workshops, WALCOM 15, Yangon, Myanmar, February 28 – March 2, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12635, 78-89 (2021). MSC: 68Wxx PDFBibTeX XMLCite \textit{S. Murata} et al., Lect. Notes Comput. Sci. 12635, 78--89 (2021; Zbl 07405953) Full Text: DOI
Lafourcade, Pascal; Miyahara, Daiki; Mizuki, Takaaki; Robert, Léo; Sasaki, Tatsuya; Sone, Hideaki How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition. (English) Zbl 1517.94122 Theor. Comput. Sci. 888, 41-55 (2021). MSC: 94A60 PDFBibTeX XMLCite \textit{P. Lafourcade} et al., Theor. Comput. Sci. 888, 41--55 (2021; Zbl 1517.94122) Full Text: DOI
Sasaki, Tatsuya; Miyahara, Daiki; Mizuki, Takaaki; Sone, Hideaki Efficient card-based zero-knowledge proof for Sudoku. (English) Zbl 1453.94113 Theor. Comput. Sci. 839, 135-142 (2020). MSC: 94A60 05B15 PDFBibTeX XMLCite \textit{T. Sasaki} et al., Theor. Comput. Sci. 839, 135--142 (2020; Zbl 1453.94113) Full Text: DOI