The Minimum Number of Cards in Practical Card-Based Protocols. - Julia Kastner; Alexander Koch 001; Stefan Walzer; Daiki Miyahara; Yu-ichi Hayashi; Takaaki Mizuki; Hideaki Sone (ASIACRYPT (3), 2017)

Practical and Easy-to-Understand Card-Based Implementation of Yao's Millionaire Protocol. - Daiki Miyahara; Yu-ichi Hayashi; Takaaki Mizuki; Hideaki Sone (COCOA, 2018)

Physical Zero-Knowledge Proof for Makaro. - Xavier Bultel; Jannik Dreier; Jean-Guillaume Dumas; Pascal Lafourcade 001; Daiki Miyahara; Takaaki Mizuki; Atsuki Nagao; Tatsuya Sasaki; Kazumasa Shinagawa; Hideaki Sone (SSS, 2018)

Analyzing Execution Time of Card-Based Protocols. - Daiki Miyahara; Itaru Ueda; Yu-ichi Hayashi; Takaaki Mizuki; Hideaki Sone (UCNC, 2018)

Card-Based Secure Ranking Computations. - Ken Takashima; Yuta Abe; Tatsuya Sasaki; Daiki Miyahara; Kazumasa Shinagawa; Takaaki Mizuki; Hideaki Sone (COCOA, 2019)

Interactive Physical Zero-Knowledge Proof for Norinori. - Jean-Guillaume Dumas; Pascal Lafourcade 001; Daiki Miyahara; Takaaki Mizuki; Tatsuya Sasaki; Hideaki Sone (COCOON, 2019)

A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation. - Pascal Lafourcade 001; Daiki Miyahara; Takaaki Mizuki; Tatsuya Sasaki; Hideaki Sone (ISPEC, 2019)

Card-Based Protocol Against Actively Revealing Card Attack. - Ken Takashima; Daiki Miyahara; Takaaki Mizuki; Hideaki Sone (TPNC, 2019)

Card-Based Physical Zero-Knowledge Proof for Kakuro. - Daiki Miyahara; Tatsuya Sasaki; Takaaki Mizuki; Hideaki Sone (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019)

Six-Card Finite-Runtime XOR Protocol with Only Random Cut. - Kodai Toyoda; Daiki Miyahara; Takaaki Mizuki; Hideaki Sone (APKC@AsiaCCS, 2020)

Public-PEZ Cryptography. - Soma Murata; Daiki Miyahara; Takaaki Mizuki; Hideaki Sone (ISC, 2020)

Card-Based Covert Lottery. - Yuto Shinoda; Daiki Miyahara; Kazumasa Shinagawa; Takaaki Mizuki; Hideaki Sone (SECITC, 2020)

Physical Zero-Knowledge Proof for Suguru Puzzle. - Léo Robert; Daiki Miyahara; Pascal Lafourcade 001; Takaaki Mizuki (SSS, 2020)

How to Implement a Non-uniform or Non-closed Shuffle. - Takahiro Saito; Daiki Miyahara; Yuta Abe; Takaaki Mizuki; Hiroki Shizuya (TPNC, 2020)

Secure implementations of a random bisection cut. - Itaru Ueda; Daiki Miyahara; Akihiro Nishimura; Yu-ichi Hayashi; Takaaki Mizuki; Hideaki Sone (Int. J. Inf. Sec., 2020)

Practical card-based implementations of Yao's millionaire protocol. - Daiki Miyahara; Yu-ichi Hayashi; Takaaki Mizuki; Hideaki Sone (Theor. Comput. Sci., 2020)

Efficient card-based zero-knowledge proof for Sudoku. - Tatsuya Sasaki; Daiki Miyahara; Takaaki Mizuki; Hideaki Sone (Theor. Comput. Sci., 2020)

Card-based protocols for secure ranking computations. - Ken Takashima; Yuta Abe; Tatsuya Sasaki; Daiki Miyahara; Kazumasa Shinagawa; Takaaki Mizuki; Hideaki Sone (Theor. Comput. Sci., 2020)

New Card-based Copy Protocols Using Only Random Cuts. - Hiroto Koyama; Kodai Toyoda; Daiki Miyahara; Takaaki Mizuki (APKC@AsiaCCS, 2021)

Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori. - Léo Robert; Daiki Miyahara; Pascal Lafourcade 001; Takaaki Mizuki (CiE, 2021)

A Card-Minimal Three-Input AND Protocol Using Two Shuffles. - Raimu Isuzugawa; Kodai Toyoda; Yu Sasaki; Daiki Miyahara; Takaaki Mizuki (COCOON, 2021)

Cooking Cryptographers: Secure Multiparty Computation Based on Balls and Bags. - Daiki Miyahara; Yuichi Komano; Takaaki Mizuki; Hideaki Sone (CSF, 2021)

A Secure Three-Input AND Protocol with a Standard Deck of Minimal Cards. - Hiroto Koyama; Daiki Miyahara; Takaaki Mizuki; Hideaki Sone (CSR, 2021)

Card-Based ZKP Protocols for Takuzu and Juosan. - Daiki Miyahara; Léo Robert; Pascal Lafourcade 001; So Takeshige; Takaaki Mizuki; Kazumasa Shinagawa; Atsuki Nagao; Hideaki Sone (FUN, 2021)

Another Use of the Five-Card Trick: Card-Minimal Secure Three-Input Majority Function Evaluation. - Kodai Toyoda; Daiki Miyahara; Takaaki Mizuki (INDOCRYPT, 2021)

Card-Based Zero-Knowledge Proof Protocols for Graph Problems and Their Computational Model. - Daiki Miyahara; Hiromichi Haneda; Takaaki Mizuki (ProvSec, 2021)

Zero-Knowledge Proof Protocol for Cryptarithmetic Using Dihedral Cards. - Raimu Isuzugawa; Daiki Miyahara; Takaaki Mizuki (UCNC, 2021)

Efficient Generation of a Card-Based Uniformly Distributed Random Derangement. - Soma Murata; Daiki Miyahara; Takaaki Mizuki; Hideaki Sone (WALCOM, 2021)

Evaluating card-based protocols in terms of execution time. - Daiki Miyahara; Itaru Ueda; Yu-ichi Hayashi; Takaaki Mizuki; Hideaki Sone (Int. J. Inf. Sec., 2021)

How to construct physical zero-knowledge proofs for puzzles with a "single loop" condition. - Pascal Lafourcade 001; Daiki Miyahara; Takaaki Mizuki; Léo Robert; Tatsuya Sasaki; Hideaki Sone (Theor. Comput. Sci., 2021)

Card-Minimal Protocols for Three-Input Functions with Standard Playing Cards. - Rikuo Haga; Yuichi Hayashi; Daiki Miyahara; Takaaki Mizuki (AFRICACRYPT, 2022)

Card-based Single-shuffle Protocols for Secure Multiple-input AND and XOR Computations. - Tomoki Kuzuma; Raimu Isuzugawa; Kodai Toyoda; Daiki Miyahara; Takaaki Mizuki (APKC@AsiaCCS, 2022)

Secure Computations Through Checking Suits of Playing Cards. - Daiki Miyahara; Takaaki Mizuki (FAW, 2022)

Optimized Software Implementations of Ascon, Grain-128AEAD, and TinyJambu on ARM Cortex-M0. - Tomoaki Kitahara; Ryota Hira; Yuko Hara-Azumi; Daiki Miyahara; Yang Li 001; Kazuo Sakiyama (CANDARW, 2022)

Card-Minimal Protocols for Symmetric Boolean Functions of More than Seven Inputs. - Hayato Shikata; Kodai Toyoda; Daiki Miyahara; Takaaki Mizuki (ICTAC, 2022)

Card-Based Secure Sorting Protocol. - Rikuo Haga; Kodai Toyoda; Yuto Shinoda; Daiki Miyahara; Kazumasa Shinagawa; Yuichi Hayashi; Takaaki Mizuki (IWSEC, 2022)

Towards Verifying Physical Assumption in Card-Based Cryptography. - Masahisa Shimano; Kazuo Sakiyama; Daiki Miyahara (SecITC, 2022)

Card-Based ZKP Protocol for Nurimisaki. - Léo Robert; Daiki Miyahara; Pascal Lafourcade 001; Takaaki Mizuki (SSS, 2022)

Hide a Liar: Card-Based ZKP Protocol for Usowan. - Léo Robert; Daiki Miyahara; Pascal Lafourcade 001; Takaaki Mizuki (TAMC, 2022)

Software Evaluation for Second Round Candidates in NIST Lightweight Cryptography. - Ryota Hira; Tomoaki Kitahara; Daiki Miyahara; Yuko Hara-Azumi; Yang Li 001; Kazuo Sakiyama (IACR Cryptol. ePrint Arch., 2022)

Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle. - Léo Robert; Daiki Miyahara; Pascal Lafourcade 001; Luc Libralesso; Takaaki Mizuki (Inf. Comput., 2022)

Actively revealing card attack on card-based protocols. - Ken Takashima; Daiki Miyahara; Takaaki Mizuki; Hideaki Sone (Nat. Comput., 2022)

Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake. - Léo Robert; Daiki Miyahara; Pascal Lafourcade 001; Takaaki Mizuki (New Gener. Comput., 2022)

Few-helping-card Protocols for Some Wider Class of Symmetric Boolean Functions with Arbitrary Ranges. - Hayato Shikata; Daiki Miyahara; Takaaki Mizuki (APKC@AsiaCCS, 2023)

On the Practical Dependency of Fresh Randomness in AES S-box with Second-Order TI. - Maki Tsukahara; Haruka Hirata; Mingyu Yang; Daiki Miyahara; Yang Li 001; Yuko Hara-Azumi; Kazuo Sakiyama (CANDARW, 2023)

Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun. - Samuel D. Hand; Alexander Koch 001; Pascal Lafourcade 001; Daiki Miyahara; Léo Robert (IWSEC, 2023)

Exploring Leakage Characteristics and Attacks Through Profiles of Screaming Channels. - Yuki Matsukawa; Daiki Miyahara; Takeshi Sugawara 001; Kazuo Sakiyama; Yang Li 001 (MobiSec, 2023)

All You Need Is Fault: Zero-Value Attacks on AES and a New λ-Detection M&M. - Haruka Hirata; Daiki Miyahara; Victor Arribas; Yang Li 001; Noriyuki Miura; Svetla Nikova; Kazuo Sakiyama (IACR Cryptol. ePrint Arch., 2023)

Abstraction Model of Probing and DFA Attacks on Block Ciphers. - Yuiko Matsubara; Daiki Miyahara; Yohei Watanabe 001; Mitsugu Iwamoto; Kazuo Sakiyama (IACR Cryptol. ePrint Arch., 2023)

Physical ZKP protocols for Nurimisaki and Kurodoko. - Léo Robert; Daiki Miyahara; Pascal Lafourcade 001; Takaaki Mizuki (Theor. Comput. Sci., 2023)

LoS Trick: Countermeasure against CPA for DNN Models Using Loss of Significance in Multiply-Accumulate Operations. - Ryunosuke Amano; Kazuo Sakiyama; Daiki Miyahara; Yang Li 001 (CANDARW, 2024)

How to Play Old Maid with Virtual Players. - Kazumasa Shinagawa; Daiki Miyahara; Takaaki Mizuki (IJTCS-FAW, 2024)

Secure Voting Protocol Using Balance Scale. - Shohei Kaneko; Pascal Lafourcade 001; Lola-Baie Mallordy; Daiki Miyahara; Maxime Puys; Kazuo Sakiyama (FPS (1), 2024)

Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles. - Shohei Kaneko; Pascal Lafourcade 001; Lola-Baie Mallordy; Daiki Miyahara; Maxime Puys; Kazuo Sakiyama (ISC (1), 2024)

Multiplicative Masked M&M: An Attempt at Combined Countermeasures with Reduced Randomness. - Kaiyuan Li; Haruka Hirata; Daiki Miyahara; Kazuo Sakiyama; Yuko Hara; Yang Li 001 (TrustCom, 2024)

Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun. - Samuel D. Hand; Alexander Koch 001; Pascal Lafourcade 001; Daiki Miyahara; Léo Robert (New Gener. Comput., 2024)

Let's Share a Secret: Share-Reduced Design of M&M for the AES S-Box. - Haruka Hirata; Daiki Miyahara; Yuko Hara; Kazuo Sakiyama; Yang Li 022 (ACNS Workshops (1), 2025)

Key-Recovery Attack Against Ascon Using 1-Bit Random Fault Model. - Soki Nakamura; Daiki Miyahara; Li Yang; Kazuo Sakiyama (AINA (5), 2025)

Parimutuel Betting on Blockchain: A Case Study on Horse Racing. - Hiroki Uedan; Yang Li 001; Kazuo Sakiyama; Daiki Miyahara (AINA (2), 2025)

Impossibility of Four-Card AND Protocols with a Single Closed Shuffle. - Shizuru Iino; Shota Ikeda; Kazumasa Shinagawa; Yang Li; Kazuo Sakiyama; Daiki Miyahara (CANS, 2025)

Practical Randomness Effects on Physical Security in Second-Order Threshold Implementation of AES. - Maki Tsukahara; Yusaku Harada; Haruka Hirata; Daiki Miyahara; Yang Li 001; Yuko Hara-Azumi; Kazuo Sakiyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2025)

Correction to: How to Play Old Maid with Virtual Players. - Kazumasa Shinagawa; Daiki Miyahara; Takaaki Mizuki (Theory Comput. Syst., 2025)