Daiki Miyahara

Publications

445

Citations

H-Index

2019

Active since

Affiliations

National Institute of Advanced Industrial Science and Technology(Current)

Tohoku University

University of Electro-Communications

Tohoku University Hospital

Centre National de la Recherche Scientifique

Daiki Miyahara is an author at National Institute of Advanced Industrial Science and Technology specializing in engineering, cryptography, and computer science.

ORCID

Top concepts

EngineeringCryptographyComputer ScienceComputer EngineeringData SecurityHardware SecurityFormal VerificationFormal MethodsVerificationProof Complexity

Publications per year

2019–2023

Publications

Efficient card-based zero-knowledge proof for Sudoku

Tatsuya Sasaki, Daiki Miyahara, Takaaki Mizuki et al. · Theoretical Computer Science · 2020 · 70 citations · Full text

Computational Complexity Theory, Engineering, Cryptographic Primitive +16

Card-Based Physical Zero-Knowledge Proof for Kakuro

Daiki Miyahara, Tatsuya Sasaki, Takaaki Mizuki et al. · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences · 2019 · 47 citations

Cryptographic Primitive, Engineering, Information Security +17

Practical card-based implementations of Yao's millionaire protocol

Daiki Miyahara, Yu‐ichi Hayashi, Takaaki Mizuki et al. · Theoretical Computer Science · 2019 · 45 citations

Hardware Security, Secure Multi-party Computation, Cryptographic Primitive +11

How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition

Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki et al. · Theoretical Computer Science · 2021 · 41 citations · Full text

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

Léo Robert, Daiki Miyahara, Pascal Lafourcade et al. · Information and Computation · 2021 · 39 citations · Full text

Cryptographic Primitive, Engineering, Verification +19

Rows per page

1–5 of 14