EDBT 2026 Demo / reviewers in the wild / expert
Saya Inagaki
dblp:323/5416
· DBLP profile ↗
3ranked-venue papers
2as first author
3since 2021 · last 2024
0000-0003-4727-3906ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 2 · 2 first-author · 2 since 2021Computer networks · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Network and information security
1 paper |
Hardware security and side channels · 77% Cryptographic primitives and cryptanalysis · 23% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Electronic design automation · 100% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Hardware security and side channels › side-channel countermeasures
power analysis countermeasure |
0.7 | 1 | 2023 | Power Side-channel Countermeasures for ARX Ciphers using High-level Synthesis · FPGA 2023 |
Hardware security and side channels › side-channel countermeasures › masking
threshold implementation |
0.7 | 1 | 2023 | Power Side-channel Countermeasures for ARX Ciphers using High-level Synthesis · FPGA 2023 |
Electronic design automation
high-level synthesis |
0.7 | 1 | 2023 | Power Side-channel Countermeasures for ARX Ciphers using High-level Synthesis · FPGA 2023 |
Cryptographic primitives and cryptanalysis › symmetric cryptography › cipher design
ARX ciphers |
0.2 | 1 | 2023 | Power Side-channel Countermeasures for ARX Ciphers using High-level Synthesis · FPGA 2023 |
Cryptographic primitives and cryptanalysis › block cipher
lightweight block cipher |
0.2 | 1 | 2023 | Power Side-channel Countermeasures for ARX Ciphers using High-level Synthesis · FPGA 2023 |
Methods — techniques the papers use, named apart from their topics
welch's t-test · 1.3high-level synthesis · 1.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Hardware/Software Cooperative Design Against Power Side-Channel Attacks on IoT DevicesabstractWith the growth of Internet of Things (IoT) era, the protection of secret information on IoT devices is becoming increasingly important. For IoT devices, attacks that target information leakage through physical side-channels (e.g., a power side-channel) are a major threat in many use cases because IoT devices can be accessed easily by a hostile third party. However, securing resource-constrained IoT devices against side-channel attacks is a challenging issue. Generally, it is difficult to satisfy the requirements on side-channel protection while maintaining the low-power and real-time constrains of IoT devices. In this paper, we propose a hardware/software cooperative design for cryptosystems that is suitable for resource-constrained IoT devices. Combining a security-oriented processor design (i.e., an instruction set architecture definition and its architectural structure) and careful implementations of masked software implementation for cipher algorithms can effectively improve the power-performance-area (PPA) while suppressing power side-channel leakage. In our evaluation, for three ciphers (Chaskey, Simon, and AES), we demonstrate that our work is superior to state-of-the-art works (two RISC-V processors and a small-scale low-power processor) in terms of both PPA and power side-channel protection. Mingyu Yang 0001, Tanvir Ahmed 0004, Saya Inagaki, Kazuo Sakiyama, Yang Li 0022, Yuko Hara-Azumi |
IEEE Internet Things J. | 3 |
| 2023 | Power Side-channel Countermeasures for ARX Ciphers using High-level SynthesisabstractIn the era of Internet of Things (IoT), edge devices are considerably diversified and are often designed using high-level synthesis (HLS) to improve design-productivity. A problem here is that HLS tools were originally developed in a security-unaware fashion, inducing vulnerabilities to power side-channel attacks (PSCA), which is a serious threat in IoT. Although PSCA vulnerabilities induced by HLS tools recently started to be discussed, the effects and applicability of existing methods for PSCA-resistant designs using HLS are limited so far. In this paper, we propose a novel HLS-based design method for PSCA-resistant ciphers in hardware. Particularly focusing on lightweight block ciphers composed of Addition-Rotation-XOR (ARX)-based permutations, we studied the effects of applying ''threshold implementation'', one of the provably secure countermeasures against PSCA, to behavioral descriptions of the ciphers. In addition, we tuned the scheduling optimization of HLS tools that might cause power side-channel leakage. In our experiment, using ARX-based ciphers (Chaskey, Simon, and Speck) as benchmarks, we implemented the unprotected and protected circuit on FPGA and evaluated the PSCA vulnerability using Welch's t-test. The results demonstrated that our proposed method can successfully mitigate vulnerabilities to PSCA for all benchmarks. From these results, we provide further discussion on the direction of PSCA countermeasures based on HLS. Saya Inagaki, Mingyu Yang 0001, Yang Li 0001, Kazuo Sakiyama, Yuko Hara-Azumi |
FPGA | 1 |
| 2023 | Power Side-channel Attack Resistant Circuit Designs of ARX Ciphers Using High-level SynthesisabstractIn the Internet of Things (IoT) era, edge devices have been considerably diversified and are often designed using high-level synthesis (HLS) for improved design productivity. However, HLS tools were originally developed in a security-unaware manner, resulting in vulnerabilities to power side-channel attacks (PSCAs), which are a serious threat to IoT systems. Currently, the impact and applicability of existing methods to PSCA-resistant designs using HLS are limited. In this article, we propose an effective HLS-based design method for PSCA-resistant ciphers implemented in hardware. In particular, we focus on lightweight block ciphers composed of addition/rotation/XOR (ARX)-based permutations to study the effects of the threshold implementation (which is one of the provably secure countermeasures against PSCAs) to the behavioral descriptions of ciphers along with the changes in HLS scheduling. The results obtained using Welch’s t-test demonstrate that our proposed method can successfully improve the resistance against PSCAs for all ARX-based ciphers used as benchmarks. Saya Inagaki, Mingyu Yang 0001, Yang Li 0022, Kazuo Sakiyama, Yuko Hara-Azumi |
ACM Trans. Embed. Comput. Syst. | 1 |