المؤلفون: Miyahara, Daiki, Robert, Léo, Lafourcade, Pascal, Mizuki, Takaaki

المساهمون: Graduate School of Informatics and Engineering, University of Electro-Communications Tokyo (UEC), Modélisation, Information et Systèmes - UR UPJV 4290 (MIS), Université de Picardie Jules Verne (UPJV), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Cyberscience Center, Tohoku University, JSPS KAKENHI JP23H00479, JSPS KAKENHI JP21K11881, ANR-18-CE39-0019,MobiS5,La sécurité et la privacy dans les réseaux 5G(2018), ANR-16-IDEX-0001,CAP 20-25,CAP 20-25(2016), ANR-18-CE39-0007,DeCrypt,Langage Déclaratif pour la cryptographie symétrique(2018), ANR-20-CE39-0009,SEVERITAS,Systèmes de tests et evaluations sûrs et vérifiables(2020)

المصدر: ISSN: 1007-0214 ; Tsinghua Science and Technology ; https://u-picardie.hal.science/hal-04335703Test ; Tsinghua Science and Technology, In press, ⟨10.26599/TST.20xx.9010⟩.

مصطلحات موضوعية: ZKP protocol, playing cards, card-based cryptography, physical assumptions, Usowan, Herugolf, Five Cells, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

العلاقة: hal-04335703; https://u-picardie.hal.science/hal-04335703Test; https://u-picardie.hal.science/hal-04335703/documentTest; https://u-picardie.hal.science/hal-04335703/file/main.pdfTest

الإتاحة: https://doi.org/10.26599/TST.20xx.9010Test
https://u-picardie.hal.science/hal-04335703Test
https://u-picardie.hal.science/hal-04335703/documentTest
https://u-picardie.hal.science/hal-04335703/file/main.pdfTest

المؤلفون: Robert, Léo, Miyahara, Daiki, Lafourcade, Pascal, Mizuki, Takaaki

المساهمون: XLIM (XLIM), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS), University of Electro-Communications Tokyo (UEC), National Institute of Advanced Industrial Science and Technology (AIST), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Cyberscience Center, Tohoku University

المصدر: ISSN: 1879-2294.

مصطلحات موضوعية: Zero-knowledge proof Pencil Puzzle Card-based cryptography Nurimisaki Kurodoko, Zero-knowledge proof, Pencil Puzzle, Card-based cryptography, Nurimisaki, Kurodoko, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

العلاقة: hal-04434814; https://u-picardie.hal.science/hal-04434814Test; https://u-picardie.hal.science/hal-04434814/documentTest; https://u-picardie.hal.science/hal-04434814/file/main.pdfTest

الإتاحة: https://doi.org/10.1016/j.tcs.2023.114071Test
https://u-picardie.hal.science/hal-04434814Test
https://u-picardie.hal.science/hal-04434814/documentTest
https://u-picardie.hal.science/hal-04434814/file/main.pdfTest

المؤلفون: Robert, Léo, Miyahara, Daiki, Lafourcade, Pascal, Mizuki, Takaaki

المساهمون: XLIM (XLIM), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS), The University of Electro-Communications Tokyo, National Institute of Advanced Industrial Science and Technology (AIST), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Cyberscience Center, Tohoku University

المصدر: Symposium on Stabilization, Safety, and Security of Distributed Systems ; https://u-picardie.hal.science/hal-04403634Test ; Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2022, Clermont-Ferand, France. pp.285-298, ⟨10.1007/978-3-031-21017-4_19⟩

مصطلحات موضوعية: Zero-knowledge proof Pencil Puzzle Card-based cryptography Nurimisaki, Zero-knowledge proof, Pencil Puzzle, Card-based cryptography, Nurimisaki, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

جغرافية الموضوع: Clermont-Ferand, France

العلاقة: hal-04403634; https://u-picardie.hal.science/hal-04403634Test; https://u-picardie.hal.science/hal-04403634/documentTest; https://u-picardie.hal.science/hal-04403634/file/nurimisaki.pdfTest

الإتاحة: https://doi.org/10.1007/978-3-031-21017-4_19Test
https://u-picardie.hal.science/hal-04403634Test
https://u-picardie.hal.science/hal-04403634/documentTest
https://u-picardie.hal.science/hal-04403634/file/nurimisaki.pdfTest

المؤلفون: Robert, Léo, Miyahara, Daiki, Lafourcade, Pascal, Mizuki, Takaaki

المساهمون: Modélisation, Information et Systèmes - UR UPJV 4290 (MIS), Université de Picardie Jules Verne (UPJV), University of Electro-Communications Tokyo (UEC), National Institute of Advanced Industrial Science and Technology (AIST), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Tohoku University Sendai

المصدر: International Conference on Theory and Applications of Models of Computation ; https://u-picardie.hal.science/hal-04403799Test ; International Conference on Theory and Applications of Models of Computation, Sep 2022, Tianjin (China), China. pp.201-217, ⟨10.1007/978-3-031-20350-3_17⟩

مصطلحات موضوعية: Zero-knowledge Proof Pencil Puzzle Card-based Cryptography Usowan, Zero-knowledge Proof, Pencil Puzzle, Card-based Cryptography, Usowan, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

جغرافية الموضوع: Tianjin (China), China

العلاقة: hal-04403799; https://u-picardie.hal.science/hal-04403799Test; https://u-picardie.hal.science/hal-04403799/documentTest; https://u-picardie.hal.science/hal-04403799/file/usowan.pdfTest

الإتاحة: https://doi.org/10.1007/978-3-031-20350-3_17Test
https://u-picardie.hal.science/hal-04403799Test
https://u-picardie.hal.science/hal-04403799/documentTest
https://u-picardie.hal.science/hal-04403799/file/usowan.pdfTest

المؤلفون: Miyahara, Daiki, Mizuki, Takaaki

المصدر: Frontiers of Algorithmic Wisdom ; Lecture Notes in Computer Science ; page 110-128 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031207952 9783031207969

الإتاحة: https://doi.org/10.1007/978-3-031-20796-9_9Test

المؤلفون: Miyahara, Daiki, Robert, Léo, Lafourcade, Pascal, Mizuki, Takaaki

المساهمون: University of Electro-Communications Tokyo (UEC), National Institute of Advanced Industrial Science and Technology (AIST), Université de Picardie Jules Verne (UPJV), Modélisation, Information et Systèmes - UR UPJV 4290 (MIS), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Cyberscience Center, Tohoku University

المصدر: ISSN: 1007-0214 ; Tsinghua Science and Technology ; https://u-picardie.hal.science/hal-04621503Test ; Tsinghua Science and Technology, 2024, 29 (6), pp.1651-1666. ⟨10.26599/TST.2023.9010153⟩.

مصطلحات موضوعية: Cryptography, Fake news, Zero-Knowledge Proof (ZKP) protocol, playing cards, card-based cryptography, physical assumptions, Usowan, Herugolf, Five Cells, Computers, Protocols, Games, Encoding, [INFO]Computer Science [cs]

العلاقة: hal-04621503; https://u-picardie.hal.science/hal-04621503Test

الإتاحة: https://doi.org/10.26599/TST.2023.9010153Test
https://u-picardie.hal.science/hal-04621503Test

المؤلفون: Robert, Léo, Miyahara, Daiki, Lafourcade, Pascal, Libralesso, Luc, Mizuki, Takaaki

المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), University of Electro-Communications Tokyo (UEC), National Institute of Advanced Industrial Science and Technology (AIST), Cyberscience Center, Tohoku University, ANR-16-IDEX-0001,CAP 20-25,CAP 20-25(2016), ANR-18-CE39-0007,DeCrypt,Langage Déclaratif pour la cryptographie symétrique(2018), ANR-18-CE39-0019,MobiS5,La sécurité et la privacy dans les réseaux 5G(2018), ANR-20-CE39-0009,SEVERITAS,Systèmes de tests et evaluations sûrs et vérifiables(2020)

المصدر: ISSN: 0890-5401.

مصطلحات موضوعية: Physical zero-knowledge proof, Suguru, Security, Completeness, Extractability, Zero-knowledge, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

العلاقة: hal-03542495; https://uca.hal.science/hal-03542495Test; https://uca.hal.science/hal-03542495/documentTest; https://uca.hal.science/hal-03542495/file/main.pdfTest

الإتاحة: https://doi.org/10.1016/j.ic.2021.104858Test
https://uca.hal.science/hal-03542495Test
https://uca.hal.science/hal-03542495/documentTest
https://uca.hal.science/hal-03542495/file/main.pdfTest

المؤلفون: Robert, Léo, Miyahara, Daiki, Lafourcade, Pascal, Mizuki, Takaaki

المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), National Institute of Advanced Industrial Science and Technology (AIST), University of Electro-Communications Tokyo (UEC), Cyberscience Center, Tohoku University

المصدر: ISSN: 0288-3635 ; New Generation Computing ; https://hal.uca.fr/hal-03542477Test ; New Generation Computing, 2022.

مصطلحات موضوعية: Zero-knowledge proofs, Card-based secure two-party protocols, Puzzle, Nurikabe, Hitori, Heyawake, Connectivity, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

العلاقة: hal-03542477; https://hal.uca.fr/hal-03542477Test; https://hal.uca.fr/hal-03542477/documentTest; https://hal.uca.fr/hal-03542477/file/main.pdfTest

الإتاحة: https://hal.uca.fr/hal-03542477Test
https://hal.uca.fr/hal-03542477/documentTest
https://hal.uca.fr/hal-03542477/file/main.pdfTest

المؤلفون: Komano, Yuichi, Mizuki, Takaaki

المساهمون: Japan Society for the Promotion of Science

المصدر: International Journal of Information Security ; volume 21, issue 4, page 833-846 ; ISSN 1615-5262 1615-5270

مصطلحات موضوعية: Computer Networks and Communications, Safety, Risk, Reliability and Quality, Information Systems, Software

الإتاحة: https://doi.org/10.1007/s10207-022-00585-8Test

المؤلفون: Mizuki, Takaaki, Komano, Yuichi

المساهمون: Japan Society for the Promotion of Science

المصدر: Information and Computation ; volume 285, page 104910 ; ISSN 0890-5401

مصطلحات موضوعية: Computational Theory and Mathematics, Computer Science Applications, Information Systems, Theoretical Computer Science

الإتاحة: https://doi.org/10.1016/j.ic.2022.104910Test
https://api.elsevier.com/content/article/PII:S0890540122000542?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S0890540122000542?httpAccept=text/plainTest