Daiki Miyahara

Orcid: 0000-0002-5818-8937

According to our database¹, Daiki Miyahara authored at least 50 papers between 2017 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

All You Need Is Fault: Zero-Value Attacks on AES and a New λ-Detection M&M.

[BibT_eX]

[DOI]

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

2023

Physical ZKP protocols for Nurimisaki and Kurodoko.

[BibT_eX]

[DOI]

Theor. Comput. Sci., September, 2023

Software Evaluation for Second Round Candidates in NIST Lightweight Cryptography.

[BibT_eX]

[DOI]

J. Inf. Process., 2023

Abstraction Model of Probing and DFA Attacks on Block Ciphers.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

All You Need Is Fault: Zero-Value Attacks on AES and a New λ-Detection M&M.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

On the Practical Dependency of Fresh Randomness in AES S-box with Second-Order TI.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Symposium on Computing and Networking, CANDAR 2023, 2023

Few-helping-card Protocols for Some Wider Class of Symmetric Boolean Functions with Arbitrary Ranges.

[BibT_eX]

[DOI]

Hayato Shikata

Daiki Miyahara

Takaaki Mizuki

Proceedings of the 10th ACM Asia Public-Key Cryptography Workshop, 2023

2022

Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake.

[BibT_eX]

[DOI]

New Gener. Comput., 2022

Actively revealing card attack on card-based protocols.

[BibT_eX]

[DOI]

Nat. Comput., 2022

Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle.

[BibT_eX]

[DOI]

Inf. Comput., 2022

Hide a Liar: Card-Based ZKP Protocol for Usowan.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Models of Computation, 2022

Card-Based ZKP Protocol for Nurimisaki.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2022

Towards Verifying Physical Assumption in Card-Based Cryptography.

[BibT_eX]

[DOI]

Masahisa Shimano

Kazuo Sakiyama

Daiki Miyahara

Proceedings of the Innovative Security Solutions for Information Technology and Communications, 2022

Card-Based Secure Sorting Protocol.

[BibT_eX]

[DOI]

Proceedings of the Advances in Information and Computer Security, 2022

Card-Minimal Protocols for Symmetric Boolean Functions of More than Seven Inputs.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Optimized Software Implementations of Ascon, Grain-128AEAD, and TinyJambu on ARM Cortex-M0.

[BibT_eX]

[DOI]

Proceedings of the 2022 Tenth International Symposium on Computing and Networking, CANDAR 2022, 2022

Secure Computations Through Checking Suits of Playing Cards.

[BibT_eX]

[DOI]

Daiki Miyahara

Takaaki Mizuki

Proceedings of the Frontiers of Algorithmic Wisdom, 2022

Card-based Single-shuffle Protocols for Secure Multiple-input AND and XOR Computations.

[BibT_eX]

[DOI]

Proceedings of the APKC '22: Proceedings of the 9th ACM on ASIA Public-Key Cryptography Workshop, 2022

Card-Minimal Protocols for Three-Input Functions with Standard Playing Cards.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology, 2022

2021

How to construct physical zero-knowledge proofs for puzzles with a "single loop" condition.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

Evaluating card-based protocols in terms of execution time.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2021

Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

Efficient Generation of a Card-Based Uniformly Distributed Random Derangement.

[BibT_eX]

[DOI]

Proceedings of the WALCOM: Algorithms and Computation, 2021

Zero-Knowledge Proof Protocol for Cryptarithmetic Using Dihedral Cards.

[BibT_eX]

[DOI]

Raimu Isuzugawa

Daiki Miyahara

Takaaki Mizuki

Proceedings of the Unconventional Computation and Natural Computation, 2021

Card-Based Zero-Knowledge Proof Protocols for Graph Problems and Their Computational Model.

[BibT_eX]

[DOI]

Daiki Miyahara

Hiromichi Haneda

Takaaki Mizuki

Proceedings of the Provable and Practical Security, 2021

Another Use of the Five-Card Trick: Card-Minimal Secure Three-Input Majority Function Evaluation.

[BibT_eX]

[DOI]

Kodai Toyoda

Daiki Miyahara

Takaaki Mizuki

Proceedings of the Progress in Cryptology - INDOCRYPT 2021, 2021

Card-Based ZKP Protocols for Takuzu and Juosan.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Fun with Algorithms, 2021

A Secure Three-Input AND Protocol with a Standard Deck of Minimal Cards.

[BibT_eX]

[DOI]

Proceedings of the Computer Science - Theory and Applications, 2021

Cooking Cryptographers: Secure Multiparty Computation Based on Balls and Bags.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

A Card-Minimal Three-Input AND Protocol Using Two Shuffles.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics - 27th International Conference, 2021

New Card-based Copy Protocols Using Only Random Cuts.

[BibT_eX]

[DOI]

Proceedings of the 8th on ASIA Public-Key Cryptography Workshop, 2021

2020

Card-based protocols for secure ranking computations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Efficient card-based zero-knowledge proof for Sudoku.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Practical card-based implementations of Yao's millionaire protocol.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Secure implementations of a random bisection cut.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2020

How to Implement a Non-uniform or Non-closed Shuffle.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Natural Computing - 9th International Conference, 2020

Physical Zero-Knowledge Proof for Suguru Puzzle.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2020

Card-Based Covert Lottery.

[BibT_eX]

[DOI]

Proceedings of the Innovative Security Solutions for Information Technology and Communications, 2020

Public-PEZ Cryptography.

[BibT_eX]

[DOI]

Proceedings of the Information Security - 23rd International Conference, 2020

Six-Card Finite-Runtime XOR Protocol with Only Random Cut.

[BibT_eX]

[DOI]

Proceedings of the 7th on ASIA Public-Key Cryptography Workshop, 2020

2019

Card-Based Physical Zero-Knowledge Proof for Kakuro.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019

Card-Based Protocol Against Actively Revealing Card Attack.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Natural Computing - 8th International Conference, 2019

A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation.

[BibT_eX]

[DOI]

Proceedings of the Information Security Practice and Experience, 2019

Interactive Physical Zero-Knowledge Proof for Norinori.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics - 25th International Conference, 2019

Card-Based Secure Ranking Computations.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2019

2018

Analyzing Execution Time of Card-Based Protocols.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2018

Physical Zero-Knowledge Proof for Makaro.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

Practical and Easy-to-Understand Card-Based Implementation of Yao's Millionaire Protocol.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2018

2017

The Minimum Number of Cards in Practical Card-based Protocols.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Daiki Miyahara

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...