Daiki Miyahara

Assistant professor at Sakiyama–Miyahara lab., The University of Electro-Communications.


Publications

Journal Papers (refereed)

  1. Ryota Hira, Tomoaki Kitahara, Daiki Miyahara, Yuko Hara-Azumi, Yang Li, and Kazuo Sakiyama
    Software Evaluation for Second Round Candidates in NIST Lightweight Cryptography
    Journal of Information Processing, vol.?, pp.?–?, 2023, in press

  2. Léo Robert, Daiki Miyahara, Pascal Lafourcade, and Takaaki Mizuki
    Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake
    New Generation Computing, Springer, vol.40, pp.149–171, 2022
    [DOI] (Open Access)

  3. Léo Robert, Daiki Miyahara, Pascal Lafourcade, Luc Libralesso, and Takaaki Mizuki
    Physical Zero-Knowledge Proof and NP-completeness Proof of Suguru Puzzle
    Information and Computation, Elsevier, vol.285(B), 104858, 2022
    [DOI] (Open Access)

  4. Ken Takashima, Daiki Miyahara, Takaaki Mizuki, and Hideaki Sone
    Actively Revealing Card Attack on Card-based Protocols
    Natural Computing, Springer, vol.21, pp.615–628, 2022
    [DOI] (Open Access)

  5. Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Léo Robert, Tatsuya Sasaki, and Hideaki Sone
    How to Construct Physical Zero-Knowledge Proofs for Puzzles with a “Single Loop” Condition
    Theoretical Computer Science, Elsevier, vol.888, pp.41–55, 2021
    [DOI] (Open Access)

  6. Daiki Miyahara, Itaru Ueda, Yu-ichi Hayashi, Takaaki Mizuki, and Hideaki Sone
    Evaluating Card-Based Protocols in Terms of Execution Time
    International Journal of Information Security, Springer, vol.20, pp.729–740, 2021
    [DOI] (Open Access)

  7. Ken Takashima, Yuta Abe, Tatsuya Sasaki, Daiki Miyahara, Kazumasa Shinagawa, Takaaki Mizuki, and Hideaki Sone
    Card-based Protocols for Secure Ranking Computations
    Theoretical Computer Science, Elsevier, vol.845, pp.122–135, 2020
    [DOI] (Open Access)

  8. Tatsuya Sasaki, Daiki Miyahara, Takaaki Mizuki, and Hideaki Sone
    Efficient Card-Based Zero-Knowledge Proof for Sudoku
    Theoretical Computer Science, Elsevier, vol.839, pp.135–142, 2020
    [DOI] (Open Access)

  9. Itaru Ueda, Daiki Miyahara, Akihiro Nishimura, Yu-ichi Hayashi, Takaaki Mizuki, and Hideaki Sone
    Secure Implementations of a Random Bisection Cut
    International Journal of Information Security, Springer, vol.19, pp.445–452, 2020
    [DOI]

  10. Daiki Miyahara, Yu-ichi Hayashi, Takaaki Mizuki, and Hideaki Sone
    Practical Card-Based Implementations of Yao's Millionaire Protocol
    Theoretical Computer Science, Elsevier, vol.803, pp.207–221, 2020
    [DOI]

  11. Daiki Miyahara, Tatsuya Sasaki, Takaaki Mizuki, and Hideaki Sone
    Card-based Physical Zero-knowledge Proof for Kakuro
    IEICE Trans. Fundamentals, vol.E102-A, no.9, pp.1072–1078, 2019
    [DOI]

International Conferences (refereed)

  1. Masahisa Shimano, Kazuo Sakiyama, and Daiki Miyahara
    Towards Verifying Physical Assumption in Card-Based Cryptography
    15th International Conference on Security for Information Technology and Communications (SECITC 2022), Lecture Notes in Computer Science, Springer, vol.?, pp.?–?, 2022, to appear

  2. Léo Robert, Daiki Miyahara, Pascal Lafourcade, and Takaaki Mizuki
    Hide a liar: Card-Based ZKP Protocol for Usowan
    17th Annual Conference on Theory and Applications of Models of Computation (TAMC 2022), Lecture Notes in Computer Science, Springer, vol.13571, pp.201–217, 2023
    [DOI]

  3. Daiki Miyahara and Takaaki Mizuki
    Secure Computations through Checking Suits of Playing Cards
    16th Frontiers of Algorithmics Workshop (IJTCS-FAW 2022), Lecture Notes in Computer Science, Springer, vol.13461, pp.110–128, 2023
    [DOI]

  4. Léo Robert, Daiki Miyahara, Pascal Lafourcade, and Takaaki Mizuki
    Card-Based ZKP Protocol for Nurimisaki
    24th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2022), Lecture Notes in Computer Science, Springer, vol.13751, pp.285–298, 2022
    [DOI]

  5. Hayato Shikata, Kodai Toyoda, Daiki Miyahara, and Takaaki Mizuki
    Card-minimal Protocols for Symmetric Boolean Functions of More Than Seven Inputs
    19th International Colloquium on Theoretical Aspects of Computing (ICTAC 2022), Lecture Notes in Computer Science, Springer, vol.13572, pp.388–406, 2022
    [DOI]

  6. Rikuo Haga, Kodai Toyoda, Yuto Shinoda, Daiki Miyahara, Kazumasa Shinagawa, Yuichi Hayashi, and Takaaki Mizuki
    Card-Based Secure Sorting Protocol
    17th International Workshop on Security (IWSEC 2022), Lecture Notes in Computer Science, Springer, vol.13504, pp.224–240, 2022
    [DOI]

  7. Rikuo Haga, Yuichi Hayashi, Daiki Miyahara, and Takaaki Mizuki
    Card-Minimal Protocols for Three-Input Functions with Standard Playing Cards
    13th International Conference on Cryptology in Africa (AFRICACRYPT 2022), Lecture Notes in Computer Science, Springer, vol.13503, pp.448–468, 2022, to appear
    [DOI]

  8. Tomoki Kuzuma, Raimu Isuzugawa, Kodai Toyoda, Daiki Miyahara, and Takaaki Mizuki
    Card-based Single-shuffle Protocols for Secure Multiple-input AND and XOR Computations
    9th ACM International Workshop on ASIA Public-Key Cryptography (APKC 2022), ACM, pp.51–58, 2022
    [DOI]

  9. Kodai Toyoda, Daiki Miyahara, and Takaaki Mizuki
    Another Use of the Five-Card Trick Card-Minimal Secure Three-Input
    22nd International Conference on Cryptology in India (Indocrypt 2021), Lecture Notes in Computer Science, Springer, vol.13143, pp.536–555, 2021
    [DOI]

  10. Daiki Miyahara, Hiromichi Haneda, and Takaaki Mizuki
    Card-based Zero-knowledge Proof Protocols for Graph Problems and Their Computational Model
    15th International Conference on Provable and Practical Security (ProvSec 2021), Lecture Notes in Computer Science, Springer, vol.13059, pp.136–152, 2021
    [DOI]

  11. Raimu Isuzugawa, Kodai Toyoda, Yu Sasaki, Daiki Miyahara, and Takaaki Mizuki
    A Card-minimal Three-Input AND Protocol Using Two Shuffles
    27th International Computing and Combinatorics Conference (COCOON 2021), Lecture Notes in Computer Science, Springer, vol.13025, pp.668–679, 2021
    [DOI]

  12. Raimu Isuzugawa, Daiki Miyahara, and Takaaki Mizuki
    Zero-knowledge Proof Protocol for Cryptarithmetic Using Dihedral Cards
    19th International Conference on Unconventional Computation and Natural Computation (UCNC 2021), Lecture Notes in Computer Science, Springer, vol.12984, pp.51–67, 2021
    [DOI]

  13. Daiki Miyahara, Yuichi Komano, Takaaki Mizuki, and Hideaki Sone
    Cooking Cryptographers: Secure Multiparty Computation Based on Balls and Bags
    34th IEEE Computer Security Foundations Symposium (CSF 2021), IEEE, pp.389–404, 2021
    [DOI] [slides]

  14. Léo Robert, Daiki Miyahara, Pascal Lafourcade, and Takaaki Mizuki
    Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori
    17th Conference on Computability in Europe (CiE 2021), Lecture Notes in Computer Science, Springer, vol.12813, pp.373–384, 2021
    [DOI]

  15. Hiroto Koyama, Kodai Toyoda, Daiki Miyahara, and Takaaki Mizuki
    New Card-based Copy Protocols Using Only Random Cuts
    8th ACM International Workshop on ASIA Public-Key Cryptography (APKC 2021), ACM, pp.13–22, 2021
    [DOI] [APKC 2021 Best Paper Awards]

  16. Hiroto Koyama, Daiki Miyahara, Takaaki Mizuki, and Hideaki Sone
    A Secure Three-input AND Protocol with a Standard Deck of Minimal Cards
    16th International Computer Science Symposium in Russia (CSR 2021), Lecture Notes in Computer Science, Springer, vol.12730, pp.242–256, 2021
    [DOI]

  17. Soma Murata, Daiki Miyahara, Takaaki Mizuki, and Hideaki Sone
    Efficient Generation of a Card-based Uniformly Distributed Random Derangement
    15th International Conference and Workshop on Algorithms and Computation (WALCOM 2021), Lecture Notes in Computer Science, Springer, vol.12635, pp.78–89, 2021
    [DOI]

  18. Yuto Shinoda, Daiki Miyahara, Kazumasa Shinagawa, Takaaki Mizuki, and Hideaki Sone
    Card-based Covert Lottery
    13th International Conference on Security for Information Technology and Communications (SECITC 2020), Lecture Notes in Computer Science, Springer, vol.12596, pp.257–270, 2020
    [DOI]

  19. Léo Robert, Daiki Miyahara, Pascal Lafourcade, and Takaaki Mizuki
    Physical Zero-Knowledge Proof for Suguru Puzzle
    22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2020), Lecture Notes in Computer Science, Springer, vol.12514, pp.235–247, 2020
    [DOI]

  20. Takahiro Saito, Daiki Miyahara, Takaaki Mizuki, and Hiroki Shizuya
    How to Implement a Non-uniform or Non-closed Shuffle
    9th International Conference on the Theory and Practice of Natural Computing (TPNC 2020), Lecture Notes in Computer Science, Springer, vol.12494, pp.107–118, 2020
    [DOI]

  21. Soma Murata, Daiki Miyahara, Takaaki Mizuki, and Hideaki Sone
    Public-PEZ Cryptography
    23rd Information Security Conference (ISC 2020), Lecture Notes in Computer Science, Springer, vol.12472, pp.59–74, 2020
    [DOI]

  22. Daiki Miyahara, Léo Robert, Pascal Lafourcade, So Takeshige, Takaaki Mizuki, Kazumasa Shinagawa, Atsuki Nagao, and Hideaki Sone
    Card-Based ZKP Protocols for Takuzu and Juosan
    10th International Conference on FUN with Algorithms (FUN 2021), Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, vol.157, pp.20:1–20:21, 2020
    [DOI]

  23. Kodai Toyoda, Daiki Miyahara, Takaaki Mizuki, and Hideaki Sone
    Six-Card Finite-Runtime XOR Protocol with Only Random Cut
    7th ACM International Workshop on ASIA Public-Key Cryptography (APKC 2020), ACM, pp.2–8, 2020
    [DOI]

  24. Ken Takashima, Yuta Abe, Tatsuya Sasaki, Daiki Miyahara, Kazumasa Shinagawa, Takaaki Mizuki, and Hideaki Sone
    Card-based Secure Ranking Computations
    13th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2019), Lecture Notes in Computer Science, Springer, vol.11949, pp.461–472, 2019
    [DOI]

  25. Ken Takashima, Daiki Miyahara, Takaaki Mizuki, and Hideaki Sone
    Card-based Protocol against Actively Revealing Cards Attack
    8th International Conference on the Theory and Practice of Natural Computing (TPNC 2019), Lecture Notes in Computer Science, Springer, vol.11934, pp.95–106, 2019
    [DOI]

  26. Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, and Hideaki Sone
    A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation
    15th International Conference on Information Security Practice and Experience (ISPEC 2019), Lecture Notes in Computer Science, Springer, vol.11879, pp.135–151, 2019
    [DOI]

  27. Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, and Hideaki Sone
    Interactive Physical Zero-Knowledge Proof for Norinori
    25th International Computing and Combinatorics Conference (COCOON 2019), Lecture Notes in Computer Science, Springer, vol.11653, pp.166–177, 2019
    [DOI] [slides]

  28. Daiki Miyahara, Yu-ichi Hayashi, Takaaki Mizuki, and Hideaki Sone
    Practical and Easy-to-Understand Card-Based Implementation of Yao's Millionaire Protocol
    12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018), Lecture Notes in Computer Science, Springer, vol.11346, pp.246–261, 2018
    [DOI]

  29. Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, Kazumasa Shinagawa and Hideaki Sone
    Physical Zero-Knowledge Proof for Makaro
    20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2018), Lecture Notes in Computer Science, Springer, vol.11201, pp.111–125, 2018
    [DOI]

  30. Daiki Miyahara, Itaru Ueda, Yu-ichi Hayashi, Takaaki Mizuki, and Hideaki Sone
    Analyzing Execution Time of Card-Based Protocols
    17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018), Lecture Notes in Computer Science, Springer, vol.10867, pp.145–158, 2018
    [DOI]

  31. Julia Kastner, Alexander Koch, Stefan Walzer, Daiki Miyahara, Yu-ichi Hayashi, Takaaki Mizuki, and Hideaki Sone
    The Minimum Number of Cards in Practical Card-Based Protocols
    Advances in Cryptology – ASIACRYPT 2017, Part III, Lecture Notes in Computer Science, Springer, vol.10626, pp.126–155, 2017
    [DOI]

Japanese Conferences/Symposiums [Link]


Invited Talks

Japanese Talks [Link]



Five-minute talk at IPSJ-ONE 2023 in Japanese

Experience