Daiki Miyahara

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


Publications

Journal Papers (refereed)

  1. 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)

  2. Ken Takashima, Daiki Miyahara, Takaaki Mizuki, and Hideaki Sone
    Actively Revealing Card Attack on Card-based Protocols
    Natural Computing, Springer, 2021, in press
    [DOI] (Open Access)

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

  4. 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)

  5. 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)

  6. 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]

  7. 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]

  8. 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. 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, 2021, to appear

  2. 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]

  3. 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]

  4. 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]

  5. 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
    [DOI] [slides]

  6. 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]

  7. 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
    [DOI] [APKC 2021 Best Paper Awards]

  8. 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]

  9. 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]

  10. 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]

  11. 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]

  12. 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]

  13. 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]

  14. 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]

  15. 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]

  16. 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]

  17. 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]

  18. 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]

  19. 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]

  20. 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]

  21. 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]

  22. 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]

  23. 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]


Experience