Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Saya Inagaki

dblp:323/5416 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Hardware security and side channels › side-channel countermeasures
power analysis countermeasure
0.712023
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.712023
Power Side-channel Countermeasures for ARX Ciphers using High-level Synthesis · FPGA 2023
Electronic design automation
high-level synthesis
0.712023
Power Side-channel Countermeasures for ARX Ciphers using High-level Synthesis · FPGA 2023
Cryptographic primitives and cryptanalysis › symmetric cryptography › cipher design
ARX ciphers
0.212023
Power Side-channel Countermeasures for ARX Ciphers using High-level Synthesis · FPGA 2023
Cryptographic primitives and cryptanalysis › block cipher
lightweight block cipher
0.212023
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
YearPublicationVenuePosition
2024 Hardware/Software Cooperative Design Against Power Side-Channel Attacks on IoT Devices
abstract
With 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 Synthesis
abstract
In 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
FPGA1
2023 Power Side-channel Attack Resistant Circuit Designs of ARX Ciphers Using High-level Synthesis
abstract
In 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