Daiki Miyahara
Assistant professor at Sakiyama–Li–Miyahara lab., The University of Electro-Communications
See my [DBLP] [Google Scholar]
Publications
Books
- Keisuke Hara and Daiki Miyahara
APKC'24: Proceedings of the 11th ACM Asia Public-Key Cryptography Workshop
ACM, 2024
[DOI]
Journal Papers (refereed)
- Kazumasa Shinagawa, Daiki Miyahara, and Takaaki Mizuki
How to Play Old Maid with Virtual Players
Theory of Computing Systems, Springer, vol.?, pp.?–?, 2024
[DOI]
- Maki Tsukahara, Yusaku Harada, Haruka Hirata, Daiki Miyahara, Yang Li, Yuko Hara-Azumi, and Kazuo Sakiyama
Practical Randomness Effects on Physical Security in Second-Order Threshold Implementation of AES
IEICE Trans. Fundamentals, vol.?, no.?, pp.?–?, 2024
[DOI] (Open Access)
- Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, and Léo Robert
Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun
New Generation Computing, Springer, vol.42, pp.449–477, 2024
[DOI] (Open Access)
- Daiki Miyahara, Léo Robert, Pascal Lafourcade, and Takaaki Mizuki
ZKP Protocols for Usowan, Herugolf, and Five Cells
Tsinghua Science and Technology, vol.29(6), pp.1651–1666, 2024
[DOI] (Open Access)
- Yuichiro Shimano, Daiki Miyahara, and Kazuo Sakiyama
Fundamental Study for Acquiring Side-Channel Information Using Rolling Shutter Effect (In Japanese)
IEEJ Transactions on Electronics, Information and Systems, vol.143(12), pp.1180–1186, 2023
[DOI]
- Léo Robert, Daiki Miyahara, Pascal Lafourcade, and Takaaki Mizuki
Physical ZKP Protocols for Nurimisaki and Kurodoko
Theoretical Computer Science, Elsevier, vol.972, 114071, 2023
[DOI]
- 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.31, pp.205–219, 2023
[DOI] (Open Access)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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]
- 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]
- 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)
- Shohei Kaneko, Pascal Lafourcade, Lola Mallordy, Daiki Miyahara, Maxime Puys, and Kazuo Sakiyama
Secure Voting Protocol Using Balance Scale
17th International Symposium on Foundations & Practice of Security (FPS), Lecture Notes in Computer Science, Springer, vol.?, pp.?–?, 2024
[DOI]
- Shohei Kaneko, Pascal Lafourcade, Lola Mallordy, Daiki Miyahara, Maxime Puys, and Kazuo Sakiyama
Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles
27th Information Security Conference (ISC), Lecture Notes in Computer Science, Springer, vol.15257, pp.211–231, 2024
[DOI]
- Kazumasa Shinagawa, Daiki Miyahara, and Takaaki Mizuki
How to Play Old Maid with Virtual Players
18th Conference on Frontiers of Algorithmic Wisdom (IJTCS-FAW 2024), Lecture Notes in Computer Science, Springer, vol.?, pp.?–?, 2024
[DOI]
- Haruka Hirata, Daiki Miyahara, Victor Arribas, Yang Li, Noriyuki Miura, Svetla Nikova, and Kazuo Sakiyama
All You Need Is Fault: Zero-Value Attacks on AES and a New λ-Detection M&M
IACR Transactions on Cryptographic Hardware and Embedded Systems (CHES 2024), vol.2024, no.1, pp.133–156, 2024
[DOI]
- Maki Tsukahara, Haruka Hirata, Mingyu Yang, Daiki Miyahara, Yang Li, Yuko Hara-Azumi, and Kazuo Sakiyama
On the Practical Dependency of Fresh Randomness in AES S-box with Second-Order TI
11th International Symposium on Computing and Networking, CANDAR Workshops (CANDARW 2023), IEEE, pp.286–291, 2023
[DOI]
- Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, and Léo Robert
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun
17th International Workshop on Security (IWSEC 2023), Lecture Notes in Computer Science, Springer, vol.14128, pp.255–272, 2023
[DOI]
- Hayato Shikata, Daiki Miyahara, and Takaaki Mizuki
Few-helping-card Protocols for Some Wider Class of Symmetric Boolean Functions with Arbitrary Ranges
10th ACM International Workshop on ASIA Public-Key Cryptography (APKC 2023), ACM, pp.33–41, 2023
[DOI] [Best paper award]
- 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.13809, pp.289–305, 2023
[DOI]
- 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]
- Daiki Miyahara and Takaaki Mizuki
Secure Computations through Checking Suits of Playing Cards
16th Conference on Frontiers of Algorithmic Wisdom (IJTCS-FAW 2022), Lecture Notes in Computer Science, Springer, vol.13461, pp.110–128, 2023
[DOI]
- Tomoaki Kitahara, Ryota Hira, Yuko Hara-Azumi, Daiki Miyahara, Yang Li, and Kazuo Sakiyama
Optimized Software Implementations of Ascon, Grain-128AEAD, and TinyJambu on ARM Cortex-M
10th International Symposium on Computing and Networking Workshops (CANDARW 2022), IEEE, pp.316–322, 2022
[DOI]
- 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]
- 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]
- 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]
- 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
[DOI]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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
- Daiki Miyahara
Recent Progress in Card-Based Cryptography
Minisymposia@ICIAM 2023, Tokyo, Waseda University, 2023.8.20.
- Daiki Miyahara
Physical ZKP protocols for NoriNori and Slitherlink
Workshop on Cryptography Using Physical Tools, Tokyo, The University of Electro-Communications, 2019.12.17.
- Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone
Topology-Preserving Computation Using a Deck of Cards and Its Application (from SCIS 2019)
14th International Workshop on Security, Tokyo, Tokyo Institute of Technology, 2019.8.31.
Japanese Talks [Link]
PC Member
- WISA 2024
- WiSec 2024
- FUN 2024
- FPS 2022–2024
- APKC 2023, 2024 (co-chair)
Experience
- Research Fellowship for Young Scientists (PD)
Japan Society for the Promotion of Science (JSPS)
April 2021 – September 2021
- Visiting Researcher
Cyber Physical Security Research Center (CPSEC), AIST
May 2019 – present
- Research Fellowship for Young Scientists (DC1)
Japan Society for the Promotion of Science (JSPS)
April 2019 – March 2021
- Technical Trainee
Research Institute for Secure Systems (RISEC), AIST
August 2018 – March 2019
- Internship
NEC Networks & System Integration Corporation
September 2017 (two weeks)