Distributed evolutionary design of constant-coefficient multipliers. - Dingjun Chen; Takafumi Aoki; Naofumi Homma; Tatsuo Higuchi 001 (ICECS, 2001)

Evolutionary graph generation system with transmigration capability for arithmetic circuit design. - Naofumi Homma; Takafumi Aoki; Tatsuo Higuchi 001 (ISCAS (5), 2001)

Graph-based individual representation for evolutionary synthesis of arithmetic circuits. - Naofumi Homma; Takafumi Aoki; Tatsuo Higuchi 001 (IEEE Congress on Evolutionary Computation, 2002)

Evolutionary Graph Generation System and Its Application to Bit-Serial Arithmetic Circuit Synthesis. - Makoto Motegi; Naofumi Homma; Takafumi Aoki; Tatsuo Higuchi 001 (PPSN, 2002)

Parallel Evolutionary Design of Constant-Coefficient Multipliers. - Dingjun Chen; Takafumi Aoki; Naofumi Homma; Tatsuo Higuchi 001 (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002)

Graph-based evolutionary design of arithmetic circuits. - Dingjun Chen; Takafumi Aoki; Naofumi Homma; Toshiki Terasaki; Tatsuo Higuchi 001 (IEEE Trans. Evol. Comput., 2002)

VLSI circuit design using an object-oriented framework of evolutionary graph generation system. - Naofumi Homma; Masanori Natsui; Takafumi Aoki; Tatsuo Higuchi 001 (IEEE Congress on Evolutionary Computation, 2003)

A framework of evolutionary graph generation system and its application to circuit synthesis. - Naofumi Homma; Takafumi Aoki; Makoto Motegi; Tatsuo Higuchi 001 (ISCAS (5), 2003)

Evolutionary Synthesis of Arithmetic Circuit Structures. - Takafumi Aoki; Naofumi Homma; Tatsuo Higuchi 001 (Artif. Intell. Rev., 2003)

Counter Tree Diagrams: A Unified Framework for Analyzing Fast Addition Algorithms. - Jun Sakiyama; Naofumi Homma; Takafumi Aoki; Tatsuo Higuchi 001 (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003)

Multiplier Block Synthesis Using Evolutionary Graph Generation. - Naofumi Homma; Takafumi Aoki; Tatsuo Higuchi 001 (Evolvable Hardware, 2004)

A systematic approach for analyzing fast addition algorithms using counter tree diagrams. - Naofumi Homma; Jun Sakiyama; Taihei Wakamatsu; Takafumi Aoki; Tatsuo Higuchi 001 (ISCAS (5), 2004)

Design and Verification of Parallel Multipliers Using Arithmetic Description Language: ARITH. - Kazuya Ishida; Naofumi Homma; Takafumi Aoki; Tatsuo Higuchi 001 (ISMVL, 2004)

Topology-Oriented Design of Analog Circuits Based on Evolutionary Graph Generation. - Masanori Natsui; Naofumi Homma; Takafumi Aoki; Tatsuo Higuchi 001 (PPSN, 2004)

Design of Multiple-Valued Logic Circuits Using Graph-Based Evolutionary Synthesis. - Masanori Natsui; Naofumi Homma; Takafumi Aoki; Tatsuo Higuchi 001 (J. Multiple Valued Log. Soft Comput., 2005)

High-Resolution Side-Channel Attack Using Phase-Based Waveform Matching. - Naofumi Homma; Sei Nagashima; Yuichi Imai; Takafumi Aoki; Akashi Satoh (CHES, 2006)

Algorithm-level interpretation of fast adder structures in binary and multiple-valued logic. - Naofumi Homma; Takafumi Aoki; Tatsuo Higuchi 001 (ISMVL, 2006)

Systematic Interpretation of Redundant Arithmetic Adders in Binary and Multiple-Valued Logic. - Naofumi Homma; Takafumi Aoki; Tatsuo Higuchi 001 (IEICE Trans. Electron., 2006)

Formal Design of Arithmetic Circuits Based on Arithmetic Description Language. - Naofumi Homma; Yuki Watanabe; Takafumi Aoki; Tatsuo Higuchi 001 (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006)

Application of symbolic computer algebra to arithmetic circuit verification. - Yuki Watanabe; Naofumi Homma; Takafumi Aoki; Tatsuo Higuchi 001 (ICCD, 2007)

SPA against an FPGA-Based RSA Implementation with a High-Radix Montgomery Multiplier. - Atsushi Miyamoto; Naofumi Homma; Takafumi Aoki; Akashi Satoh (ISCAS, 2007)

DPA Using Phase-Based Waveform Matching against Random-Delay Countermeasure. - Sei Nagashima; Naofumi Homma; Yuichi Imai; Takafumi Aoki; Akashi Satoh (ISCAS, 2007)

A High-Performance ASIC Implementation of the 64-bit Block Cipher CAST-128. - Takeshi Sugawara 001; Naofumi Homma; Takafumi Aoki; Akashi Satoh (ISCAS, 2007)

Algorithm-Level Optimization of Multiple-Valued Arithmetic Circuits Using Counter Tree Diagrams. - Naofumi Homma; Katsuhiko Degawa; Takafumi Aoki; Tatsuo Higuchi 001 (ISMVL, 2007)

Synthesis of current mirrors based on evolutionary graph generation with transmigration capability. - Masanori Natsui; Yoshiaki Tadokoro; Naofumi Homma; Takafumi Aoki; Tatsuo Higuchi 001 (IEICE Electron. Express, 2007)

Design of Multiple-valued Arithmetic Circuits Using Counter Tree Diagrams. - Naofumi Homma; Katsuhiko Degawa; Takafumi Aoki; Tatsuo Higuchi 001 (J. Multiple Valued Log. Soft Comput., 2007)

Collision-Based Power Analysis of Modular Exponentiation Using Chosen-Message Pairs. - Naofumi Homma; Atsushi Miyamoto; Takafumi Aoki; Akashi Satoh; Adi Shamir (CHES, 2008)

High-Performance Concurrent Error Detection Scheme for AES Hardware. - Akashi Satoh; Takeshi Sugawara 001; Naofumi Homma; Takafumi Aoki (CHES, 2008)

Chosen-message SPA attacks against FPGA-based RSA hardware implementations. - Atsushi Miyamoto; Naofumi Homma; Takafumi Aoki; Akashi Satoh (FPL, 2008)

Systematic design of high-radix Montgomery multipliers for RSA processors. - Atsushi Miyamoto; Naofumi Homma; Takafumi Aoki; Akashi Satoh (ICCD, 2008)

Enhanced power analysis attack using chosen message against RSA hardware implementations. - Atsushi Miyamoto; Naofumi Homma; Takafumi Aoki; Akashi Satoh (ISCAS, 2008)

High-performance ASIC implementations of the 128-bit block cipher CLEFIA. - Takeshi Sugawara 001; Naofumi Homma; Takafumi Aoki; Akashi Satoh (ISCAS, 2008)

Arithmetic module generator with algorithm optimization capability. - Yuki Watanabe; Naofumi Homma; Takafumi Aoki; Tatsuo Higuchi 001 (ISCAS, 2008)

High-Level Design of Multiple-Valued Arithmetic Circuits Based on Arithmetic Description Language. - Yuki Watanabe; Naofumi Homma; Katsuhiko Degawa; Takafumi Aoki; Tatsuo Higuchi 001 (ISMVL, 2008)

Enhanced Correlation Power Analysis Using Key Screening Technique. - Toshihiro Katashita; Akashi Satoh; Takeshi Sugawara 001; Naofumi Homma; Takafumi Aoki (ReConFig, 2008)

Compact ASIC Architectures for the 512-Bit Hash Function Whirlpool. - Takeshi Sugawara 001; Naofumi Homma; Takafumi Aoki; Akashi Satoh (WISA, 2008)

A High-Resolution Phase-Based Waveform Matching and Its Application to Side-Channel Attacks. - Naofumi Homma; Sei Nagashima; Takeshi Sugawara 001; Takafumi Aoki; Akashi Satoh (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

Arithmetic Circuit Verification Based on Symbolic Computer Algebra. - Yuki Watanabe; Naofumi Homma; Takafumi Aoki; Tatsuo Higuchi 001 (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

A Systematic Approach for Designing Redundant Arithmetic Adders Based on Counter Tree Diagrams. - Naofumi Homma; Takafumi Aoki; Tatsuo Higuchi 001 (IEEE Trans. Computers, 2008)

Development of side-channel attack standard evaluation environment. - Toshihiro Katashita; Akashi Satoh; Takeshi Sugawara 001; Naofumi Homma; Takafumi Aoki (ECCTD, 2009)

Differential power analysis of AES ASIC implementations with various S-box circuits. - Takeshi Sugawara 001; Naofumi Homma; Takafumi Aoki; Akashi Satoh (ECCTD, 2009)

Evaluation of Simple/Comparative Power Analysis against an RSA ASIC Implementation. - Atsushi Miyamoto; Naofumi Homma; Takafumi Aoki; Akashi Satoh (ISCAS, 2009)

Multiple-Valued Constant-Power Adder for Cryptographic Processors. - Yuichi Baba; Atsushi Miyamoto; Naofumi Homma; Takafumi Aoki (ISMVL, 2009)

Mechanism behind Information Leakage in Electromagnetic Analysis of Cryptographic Modules. - Takeshi Sugawara 001; Yu-ichi Hayashi; Naofumi Homma; Takaaki Mizuki; Takafumi Aoki; Hideaki Sone; Akashi Satoh (WISA, 2009)

Systematic Approach to Designing Multiple-Valued Arithmetic Circuits Based on Arithmetic Description Language. - Naofumi Homma; Yuki Watanabe; Katsuhiko Degawa; Takafumi Aoki; Tatsuo Higuchi 001 (J. Multiple Valued Log. Soft Comput., 2009)

Hardware Implementations of Hash Function Luffa. - Akashi Satoh; Toshihiro Katashita; Takeshi Sugawara 001; Naofumi Homma; Takafumi Aoki (HOST, 2010)

Design of Tamper-Resistant Registers for Multiple-Valued Cryptographic Processors. - Yuichi Baba; Naofumi Homma; Atsushi Miyamoto; Takafumi Aoki (ISMVL, 2010)

Profiling attack using multivariate regression analysis. - Takeshi Sugawara 001; Naofumi Homma; Takafumi Aoki; Akashi Satoh (IEICE Electron. Express, 2010)

Multiple-Valued Constant-Power Adder and Its Application to Cryptographic Processor. - Naofumi Homma; Yuichi Baba; Atsushi Miyamoto; Takafumi Aoki (IEICE Trans. Inf. Syst., 2010)

Comparative Power Analysis of Modular Exponentiation Algorithms. - Naofumi Homma; Atsushi Miyamoto; Takafumi Aoki; Akashi Satoh; Adi Shamir (IEEE Trans. Computers, 2010)

Enhancement of simple electro-magnetic attacks by pre-characterization in frequency domain and demodulation techniques. - Olivier Meynard; Denis Réal; Florent Flament; Sylvain Guilley; Naofumi Homma; Jean-Luc Danger (DATE, 2011)

A Graph-Based Approach to Designing Multiple-Valued Arithmetic Algorithms. - Kazuya Saito; Naofumi Homma; Takafumi Aoki (ISMVL, 2011)

High-Performance Architecture for Concurrent Error Detection for AES Processors. - Takeshi Sugawara 001; Naofumi Homma; Takafumi Aoki; Akashi Satoh (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011)

An on-chip glitchy-clock generator for testing fault injection attacks. - Sho Endo; Takeshi Sugawara 001; Naofumi Homma; Takafumi Aoki; Akashi Satoh (J. Cryptogr. Eng., 2011)

Systematic Design of RSA Processors Based on High-Radix Montgomery Multipliers. - Atsushi Miyamoto; Naofumi Homma; Takafumi Aoki; Akashi Satoh (IEEE Trans. Very Large Scale Integr. Syst., 2011)

An Efficient Countermeasure against Fault Sensitivity Analysis Using Configurable Delay Blocks. - Sho Endo; Yang Li 001; Naofumi Homma; Kazuo Sakiyama; Kazuo Ohta; Takafumi Aoki (FDTC, 2012)

Security Evaluation of Cryptographic Modules against Profiling Attacks. - Yongdae Kim; Naofumi Homma; Takafumi Aoki; Heebong Choi (ICISC, 2012)

Formal Design of Multiple-Valued Arithmetic Algorithms over Galois Fields and Its Application to Cryptographic Processor. - Naofumi Homma; Kazuya Saito; Takafumi Aoki (ISMVL, 2012)

Effective data processing and protection techniques for community network nodes. - Naofumi Homma; Takafumi Aoki (WPMC, 2012)

A Configurable On-Chip Glitchy-Clock Generator for Fault Injection Experiments. - Sho Endo; Takeshi Sugawara 001; Naofumi Homma; Takafumi Aoki; Akashi Satoh (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012)

Evaluation of Information Leakage from Cryptographic Hardware via Common-Mode Current. - Yu-ichi Hayashi; Naofumi Homma; Takaaki Mizuki; Takeshi Sugawara 001; Yoshiki Kayano; Takafumi Aoki; Shigeki Minegishi; Akashi Satoh; Hideaki Sone; Hiroshi Inoue (IEICE Trans. Electron., 2012)

A Formal Approach to Designing Cryptographic Processors Based on $GF(2^m)$ Arithmetic Circuits. - Naofumi Homma; Kazuya Saito; Takafumi Aoki (IEEE Trans. Inf. Forensics Secur., 2012)

Fair and Consistent Hardware Evaluation of Fourteen Round Two SHA-3 Candidates. - Miroslav Knezevic; Kazuyuki Kobayashi; Jun Ikegami; Shin'ichiro Matsuo; Akashi Satoh; Ünal Koçabas; Junfeng Fan; Toshihiro Katashita; Takeshi Sugawara 001; Kazuo Sakiyama; Ingrid Verbauwhede; Kazuo Ohta; et al. (IEEE Trans. Very Large Scale Integr. Syst., 2012)

Chosen-IV Correlation Power Analysis on KCipher-2 and a Countermeasure. - Takafumi Hibiki; Naofumi Homma; Yuto Nakano; Kazuhide Fukushima; Shinsaku Kiyomoto; Yutaka Miyake; Takafumi Aoki (COSADE, 2013)

Exploring the Relations between Fault Sensitivity and Power Consumption. - Yang Li 001; Sho Endo; Nicolas Debande; Naofumi Homma; Takafumi Aoki; Thanh-Ha Le; Jean-Luc Danger; Kazuo Ohta; Kazuo Sakiyama (COSADE, 2013)

Transient analysis of EM radiation associated with information leakage from cryptographic ICs. - Yu-ichi Hayashi; Naofumi Homma; Takafumi Aoki; Yuichiro Okugawa; Yoshiharu Akiyama (EMC Compo, 2013)

Yet Another Fault-Based Leakage in Non-uniform Faulty Ciphertexts. - Yang Li 001; Yu-ichi Hayashi; Arisa Matsubara; Naofumi Homma; Takafumi Aoki; Kazuo Ohta; Kazuo Sakiyama (FPS, 2013)

A Graph-Based Approach to Designing Parallel Multipliers over Galois Fields Based on Normal Basis Representations. - Kotaro Okamoto; Naofumi Homma; Takafumi Aoki (ISMVL, 2013)

A Threat for Tablet PCs in Public Space: Remote Visualization of Screen Images Using EM Emanation. - Yu-ichi Hayashi; Naofumi Homma; Mamoru Miura; Takafumi Aoki; Hideaki Sone (CCS, 2014)

A Multiple-Fault Injection Attack by Adaptive Timing Control Under Black-Box Conditions and a Countermeasure. - Sho Endo; Naofumi Homma; Yu-ichi Hayashi; Junko Takahashi; Hitoshi Fuji; Takafumi Aoki (COSADE, 2014)

Side-channel leakage on silicon substrate of CMOS cryptographic chip. - Daisuke Fujimoto; Daichi Tanaka; Noriyuki Miura; Makoto Nagata; Yu-ichi Hayashi; Naofumi Homma; Shivam Bhasin; Jean-Luc Danger (HOST, 2014)

A hierarchical formal approach to verifying side-channel resistant cryptographic processors. - Kotaro Okamoto; Naofumi Homma; Takafumi Aoki; Sumio Morioka (HOST, 2014)

An Efficient Approach to Verifying Galois-Field Arithmetic Circuits of Higher Degrees and Its Application to ECC Decoders. - Rei Ueno; Kotaro Okamoto; Naofumi Homma; Takafumi Aoki (ISMVL, 2014)

A local EM-analysis attack resistant cryptographic engine with fully-digital oscillator-based tamper-access sensor. - Noriyuki Miura; Daisuke Fujimoto; Daichi Tanaka; Yu-ichi Hayashi; Naofumi Homma; Takafumi Aoki; Makoto Nagata (VLSIC, 2014)

EM Attack Is Non-Invasive? - Design Methodology and Validity Verification of EM Attack Sensor. - Naofumi Homma; Yu-ichi Hayashi; Noriyuki Miura; Daisuke Fujimoto; Daichi Tanaka; Makoto Nagata; Takafumi Aoki (IACR Cryptol. ePrint Arch., 2014)

Power Noise Measurements of Cryptographic VLSI Circuits Regarding Side-Channel Information Leakage. - Daisuke Fujimoto; Noriyuki Miura; Makoto Nagata; Yu-ichi Hayashi; Naofumi Homma; Takafumi Aoki; Yohei Hori; Toshihiro Katashita; Kazuo Sakiyama; Thanh-Ha Le; Julien Bringer; Pirouz Bazargan-Sabet; et al. (IEICE Trans. Electron., 2014)

Chosen-IV Correlation Power Analysis on KCipher-2 Hardware and a Masking-Based Countermeasure. - Takafumi Hibiki; Naofumi Homma; Yuto Nakano; Kazuhide Fukushima; Shinsaku Kiyomoto; Yutaka Miyake; Takafumi Aoki (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014)

Formal Design of Arithmetic Circuits over Galois Fields Based on Normal Basis Representations. - Kotaro Okamoto; Naofumi Homma; Takafumi Aoki (IEICE Trans. Inf. Syst., 2014)

Practical DFA Strategy for AES Under Limited-access Conditions. - Kazuo Sakiyama; Yang Li 001; Shigeto Gomisawa; Yu-ichi Hayashi; Mitsugu Iwamoto; Naofumi Homma; Takafumi Aoki; Kazuo Ohta (J. Inf. Process., 2014)

Toward Formal Design of Practical Cryptographic Hardware Based on Galois Field Arithmetic. - Naofumi Homma; Kazuya Saito; Takafumi Aoki (IEEE Trans. Computers, 2014)

A DPA/DEMA/LEMA-resistant AES cryptographic processor with supply-current equalizer and micro EM probe sensor. - Daisuke Fujimoto; Noriyuki Miura; Yu-ichi Hayashi; Naofumi Homma; Takafumi Aoki; Makoto Nagata (ASP-DAC, 2015)

EM attack sensor: concept, circuit, and design-automation methodology. - Noriyuki Miura; Daisuke Fujimoto; Makoto Nagata; Naofumi Homma; Yu-ichi Hayashi; Takafumi Aoki (DAC, 2015)

System for Automatic Generation of Parallel Multipliers over Galois Fields. - Yukihiro Sugawara; Rei Ueno; Naofumi Homma; Takafumi Aoki (ISMVL, 2015)

Formal Design of Galois-Field Arithmetic Circuits Based on Polynomial Ring Representation. - Rei Ueno; Naofumi Homma; Yukihiro Sugawara; Takafumi Aoki (ISMVL, 2015)

Improved Power Analysis on Unrolled Architecture and Its Application to PRINCE Block Cipher. - Ville Yli-Mäyry; Naofumi Homma; Takafumi Aoki (LightSec, 2015)

Highly Efficient GF(28) Inversion Circuit Based on Redundant GF Arithmetic and Its Application to AES Design. - Rei Ueno; Naofumi Homma; Yukihiro Sugawara; Yasuyuki Nogami; Takafumi Aoki (IACR Cryptol. ePrint Arch., 2015)

An Adaptive Multiple-Fault Injection Attack on Microcontrollers and a Countermeasure. - Sho Endo; Naofumi Homma; Yu-ichi Hayashi; Junko Takahashi; Hitoshi Fuji; Takafumi Aoki (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015)

Efficient DFA on SPN-Based Block Ciphers and Its Application to the LED Block Cipher. - Rei Ueno; Naofumi Homma; Takafumi Aoki (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015)

Electromagnetic Analysis against Public-Key Cryptographic Software on Embedded OS. - Hajime Uno; Sho Endo; Naofumi Homma; Yu-ichi Hayashi; Takafumi Aoki (IEICE Trans. Commun., 2015)

A Formal Approach to Designing Multiple-Valued Arithmetic Circuits. - Kazuya Saito; Naofumi Homma; Takafumi Aoki (J. Multiple Valued Log. Soft Comput., 2015)

A Silicon-Level Countermeasure Against Fault Sensitivity Analysis and Its Evaluation. - Sho Endo; Yang Li 001; Naofumi Homma; Kazuo Sakiyama; Kazuo Ohta; Daisuke Fujimoto; Makoto Nagata; Toshihiro Katashita; Jean-Luc Danger; Takafumi Aoki (IEEE Trans. Very Large Scale Integr. Syst., 2015)

Formal Design of Pipelined GF Arithmetic Circuits and Its Application to Cryptographic Processors. - Rei Ueno; Yukihiro Sugawara; Naofumi Homma; Takafumi Aoki (ISMVL, 2016)

Guest Editorial Emerging Topics in Multiple-Valued Logic and Its Applications. - Vincent C. Gaudet; Jon T. Butler; Robert Wille; Naofumi Homma (IEEE J. Emerg. Sel. Topics Circuits Syst., 2016)

A High Throughput/Gate AES Hardware Architecture by Compressing Encryption and Decryption Datapaths - Toward Efficient CBC-Mode Implementation. - Rei Ueno; Sumio Morioka; Naofumi Homma; Takafumi Aoki (IACR Cryptol. ePrint Arch., 2016)

A Formal Verification Method of Error Correction Code Processors Over Galois-Field Arithmetic. - Rei Ueno; Naofumi Homma; Takafumi Aoki (J. Multiple Valued Log. Soft Comput., 2016)

Multiple-Valued Debiasing for Physically Unclonable Functions and Its Application to Fuzzy Extractors. - Manami Suzuki; Rei Ueno; Naofumi Homma; Takafumi Aoki (COSADE, 2017)

Toward More Efficient DPA-Resistant AES Hardware Architecture Based on Threshold Implementation. - Rei Ueno; Naofumi Homma; Takafumi Aoki (COSADE, 2017)

Automatic generation of formally-proven tamper-resistant Galois-field multipliers based on generalized masking scheme. - Rei Ueno; Naofumi Homma; Sumio Morioka; Takafumi Aoki (DATE, 2017)

Practical Power Analysis on KCipher-2 Software on Low-End Microcontrollers. - Wataru Kawai; Rei Ueno; Naofumi Homma; Takafumi Aoki; Kazuhide Fukushima; Shinsaku Kiyomoto (EuroS&P Workshops, 2017)

A Systematic Design of Tamper-Resistant Galois-Field Arithmetic Circuits Based on Threshold Implementation with (d + 1) Input Shares. - Rei Ueno; Naofumi Homma; Takafumi Aoki (ISMVL, 2017)

Chosen-input side-channel analysis on unrolled light-weight cryptographic hardware. - Ville Yli-Mäyry; Naofumi Homma; Takafumi Aoki (ISQED, 2017)

Fault Injection Attack on Salsa20 and ChaCha and a Lightweight Countermeasure. - Kazuhide Fukushima; Rui Xu 006; Shinsaku Kiyomoto; Naofumi Homma (TrustCom/BigDataSE/ICESS, 2017)

Protecting cryptographic integrated circuits with side-channel information. - Makoto Nagata; Daisuke Fujimoto; Noriyuki Miura; Naofumi Homma; Yu-ichi Hayashi; Kazuo Sakiyama (IEICE Electron. Express, 2017)

Automatic Generation System for Multiple-Valued Galois-Field Parallel Multipliers. - Rei Ueno; Naofumi Homma; Takafumi Aoki (IEICE Trans. Inf. Syst., 2017)

Hierarchical Formal Verification Combining Algebraic Transformation with PPRM Expansion and Its Application to Masked Cryptographic Processors. - Rei Ueno; Naofumi Homma; Takafumi Aoki; Sumio Morioka (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2017)

Power Analysis on Unrolled Architecture with Points-of-Interest Search and Its Application to PRINCE Block Cipher. - Ville Yli-Mäyry; Naofumi Homma; Takafumi Aoki (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2017)

Introduction to the PROOFS 2016 special section. - Naofumi Homma (J. Cryptogr. Eng., 2017)

Buffer overflow attack with multiple fault injection and a proven countermeasure. - Shoei Nashimoto; Naofumi Homma; Yu-ichi Hayashi; Junko Takahashi; Hitoshi Fuji; Takafumi Aoki (J. Cryptogr. Eng., 2017)

Design Methodology and Validity Verification for a Reactive Countermeasure Against EM Attacks. - Naofumi Homma; Yu-ichi Hayashi; Noriyuki Miura; Daisuke Fujimoto; Makoto Nagata; Takafumi Aoki (J. Cryptol., 2017)

Formal Approach for Verifying Galois Field Arithmetic Circuits of Higher Degrees. - Rei Ueno; Naofumi Homma; Yukihiro Sugawara; Takafumi Aoki (IEEE Trans. Computers, 2017)

A Non-Reversible Insertion Method for Hardware Trojans Based on Path Delay Faults. - Akira Ito 002; Rei Ueno; Naofumi Homma; Takafumi Aoki (PROOFS, 2018)

On Masked Galois-Field Multiplication for Authenticated Encryption Resistant to Side Channel Analysis. - Hirokazu Oshida; Rei Ueno; Naofumi Homma; Takafumi Aoki (COSADE, 2018)

On the Detectability of Hardware Trojans Embedded in Parallel Multipliers. - Akira Ito 002; Rei Ueno; Naofumi Homma; Takafumi Aoki (ISMVL, 2018)

Quaternary Debiasing for Physically Unclonable Functions. - Manami Suzuki; Rei Ueno; Naofumi Homma; Takafumi Aoki (ISMVL, 2018)

Side-channel-aware LSI design. - Naofumi Homma (VLSI-DAT, 2018)

Characterizing Parallel Multipliers for Detecting Hardware Trojans. - Akira Ito 002; Rei Ueno; Naofumi Homma; Takafumi Aoki (FLAP, 2018)

Introduction to the CHES 2017 special issue. - Wieland Fischer; Naofumi Homma (J. Cryptogr. Eng., 2018)

High Throughput/Gate FN-Based Hardware Architectures for AES-OTR. - Rei Ueno; Naofumi Homma; Tomonori Iida; Kazuhiko Minematsu (ISCAS, 2019)

A Ternary Fuzzy Extractor for Efficient Cryptographic Key Generation. - Kohei Kazumori; Rei Ueno; Naofumi Homma (ISMVL, 2019)

Constructing Sliding Windows Leak from Noisy Cache Timing Information of OSS-RSA. - Rei Ueno; Junko Takahashi; Yu-ichi Hayashi; Naofumi Homma (PROOFS, 2019)

Introduction to Electromagnetic Information Security. - Yu-ichi Hayashi; Naofumi Homma (IEICE Trans. Commun., 2019)

Highly efficient GF(28) inversion circuit based on hybrid GF representations. - Rei Ueno; Naofumi Homma; Yasuyuki Nogami; Takafumi Aoki (J. Cryptogr. Eng., 2019)

Tackling Biased PUFs Through Biased Masking: A Debiasing Method for Efficient Fuzzy Extractor. - Rei Ueno; Manami Suzuki; Naofumi Homma (IEEE Trans. Computers, 2019)

Efficient Fuzzy Extractors Based on Ternary Debiasing Method for Biased Physically Unclonable Functions. - Manami Suzuki; Rei Ueno; Naofumi Homma; Takafumi Aoki (IEEE Trans. Circuits Syst. I Regul. Pap., 2019)

Practical Side-Channel Based Model Extraction Attack on Tree-Based Machine Learning Algorithm. - Dirmanto Jap; Ville Yli-Mäyry; Akira Ito 002; Rei Ueno; Shivam Bhasin; Naofumi Homma (ACNS Workshops, 2020)

Single-Trace Side-Channel Analysis on Polynomial-Based MAC Schemes. - Rei Ueno; Kazuhide Fukushima; Yuto Nakano; Shinsaku Kiyomoto; Naofumi Homma (COSADE, 2020)

Machine Learning and Hardware security: Challenges and Opportunities -Invited Talk-. - Francesco Regazzoni 001; Shivam Bhasin; Amir Alipour; Ihab Alshaer; Furkan Aydin; Aydin Aysu; Vincent Beroulle; Giorgio Di Natale; Paul D. Franzon; David Hély; Naofumi Homma; Akira Ito 002; et al. (ICCAD, 2020)

PMAC++: Incremental MAC Scheme Adaptable to Lightweight Block Ciphers. - Maya Oda; Rei Ueno; Akiko Inoue; Kazuhiko Minematsu; Naofumi Homma (ISCAS, 2020)

Effective Formal Verification for Galois-field Arithmetic Circuits with Multiple-Valued Characteristics. - Akira Ito 002; Rei Ueno; Naofumi Homma (ISMVL, 2020)

Debiasing Method for Efficient Ternary Fuzzy Extractors and Ternary Physically Unclonable Functions. - Kohei Kazumori; Rei Ueno; Naofumi Homma (ISMVL, 2020)

Bypassing Isolated Execution on RISC-V with Fault Injection. - Shoei Nashimoto; Daisuke Suzuki; Rei Ueno; Naofumi Homma (IACR Cryptol. ePrint Arch., 2020)

High Throughput/Gate AES Hardware Architectures Based on Datapath Compression. - Rei Ueno; Naofumi Homma; Sumio Morioka; Noriyuki Miura; Kohei Matsuda; Makoto Nagata; Shivam Bhasin; Yves Mathieu; Tarik Graba; Jean-Luc Danger (IEEE Trans. Computers, 2020)

Unified Hardware for High-Throughput AES-Based Authenticated Encryptions. - Shotaro Sawataishi; Rei Ueno; Naofumi Homma (IEEE Trans. Circuits Syst. II Express Briefs, 2020)

Rejection Sampling Schemes for Extracting Uniform Distribution from Biased PUFs. - Rei Ueno; Kohei Kazumori; Naofumi Homma (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2020)

Extraction of Binarized Neural Network Architecture and Secret Parameters Using Side-Channel Information. - Ville Yli-Mäyry; Akira Ito 002; Naofumi Homma; Shivam Bhasin; Dirmanto Jap (ISCAS, 2021)

A Formal Approach to Identifying Hardware Trojans in Cryptographic Hardware. - Akira Ito 002; Rei Ueno; Naofumi Homma (ISMVL, 2021)

A Systematic Design Methodology of Formally Proven Side-Channel-Resistant Cryptographic Hardware. - Rei Ueno; Naofumi Homma; Sumio Morioka; Takafumi Aoki (IEEE Des. Test, 2021)

Toward Optimal Deep-Learning Based Side-Channel Attacks: Probability Concentration Inequality Loss and Its Usage. - Akira Ito 002; Rei Ueno; Naofumi Homma (IACR Cryptol. ePrint Arch., 2021)

Fault-Injection Attacks against NIST's Post-Quantum Cryptography Round 3 KEM Candidates. - Keita Xagawa; Akira Ito 002; Rei Ueno; Junko Takahashi; Naofumi Homma (IACR Cryptol. ePrint Arch., 2021)

An Algebraic Approach to Verifying Galois-Field Arithmetic Circuits with Multiple-Valued Characteristics. - Akira Ito 002; Rei Ueno; Naofumi Homma (IEICE Trans. Inf. Syst., 2021)

A method for constructing sliding windows leak from noisy cache timing information. - Rei Ueno; Junko Takahashi; Yu-ichi Hayashi; Naofumi Homma (J. Cryptogr. Eng., 2021)

Imbalanced Data Problems in Deep Learning-Based Side-Channel Attacks: Analysis and Solution. - Akira Ito 002; Kotaro Saito; Rei Ueno; Naofumi Homma (IEEE Trans. Inf. Forensics Secur., 2021)

Diffusional Side-Channel Leakage From Unrolled Lightweight Block Ciphers: A Case Study of Power Analysis on PRINCE. - Ville Yli-Mäyry; Rei Ueno; Noriyuki Miura; Makoto Nagata; Shivam Bhasin; Yves Mathieu; Tarik Graba; Jean-Luc Danger; Naofumi Homma (IEEE Trans. Inf. Forensics Secur., 2021)

Efficient Modular Polynomial Multiplier for NTT Accelerator of Crystals-Kyber. - Yuma Itabashi; Rei Ueno; Naofumi Homma (DSD, 2022)

High-Speed Hardware Architecture for Post-Quantum Diffie-Hellman Key Exchange Based on Residue Number System. - Rei Ueno; Naofumi Homma (ISCAS, 2022)

On the Success Rate of Side-Channel Attacks on Masked Implementations: Information-Theoretical Bounds and Their Practical Usage. - Akira Ito 002; Rei Ueno; Naofumi Homma (IACR Cryptol. ePrint Arch., 2022)

Efficient Formal Verification of Galois-Field Arithmetic Circuits Using ZDD Representation of Boolean Polynomials. - Akira Ito 002; Rei Ueno; Naofumi Homma (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

AES S-Box Hardware With Efficiency Improvement Based on Linear Mapping Optimization. - Ayano Nakashima; Rei Ueno; Naofumi Homma (IEEE Trans. Circuits Syst. II Express Briefs, 2022)

Perceived Information Revisited New Metrics to Evaluate Success Rate of Side-Channel Attacks. - Akira Ito 002; Rei Ueno; Naofumi Homma (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022)

Bypassing Isolated Execution on RISC-V using Side-Channel-Assisted Fault-Injection and Its Countermeasure. - Shoei Nashimoto; Daisuke Suzuki; Rei Ueno; Naofumi Homma (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022)

One Truth Prevails: A Deep-learning Based Single-Trace Power Analysis on RSA-CRT with Windowed Exponentiation. - Kotaro Saito; Akira Ito 002; Rei Ueno; Naofumi Homma (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022)

Curse of Re-encryption: A Generic Power/EM Analysis on Post-Quantum KEMs. - Rei Ueno; Keita Xagawa; Yutaro Tanaka; Akira Ito 002; Junko Takahashi; Naofumi Homma (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022)

ELM: A Low-Latency and Scalable Memory Encryption Scheme. - Akiko Inoue; Kazuhiko Minematsu; Maya Oda; Rei Ueno; Naofumi Homma (IEEE Trans. Inf. Forensics Secur., 2022)

Efficient DFA-Resistant AES Hardware Based on Concurrent Fault Detection Scheme. - Rei Ueno; Yusuke Yagyu; Naofumi Homma (ISMVL, 2023)

Formal Analysis of Non-profiled Deep-learning Based Side-channel Attacks. - Akira Ito 002; Rei Ueno; Rikuma Tanaka; Naofumi Homma (IACR Cryptol. ePrint Arch., 2023)

Crystalor: Persistent Memory Encryption Mechanism with Optimized Metadata Structure and Fast Crash Recovery. - Rei Ueno; Hiromichi Haneda; Naofumi Homma; Akiko Inoue; Kazuhiko Minematsu (IACR Cryptol. ePrint Arch., 2023)

Multiple-Valued Plaintext-Checking Side-Channel Attacks on Post-Quantum KEMs. - Yutaro Tanaka; Rei Ueno; Keita Xagawa; Akira Ito 002; Junko Takahashi; Naofumi Homma (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023)

How Secure is Exponent-blinded RSA-CRT with Sliding Window Exponentiation? - Rei Ueno; Naofumi Homma (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023)

Homomorphic encryption for stochastic computing. - Ryusuke Koseki; Akira Ito 002; Rei Ueno; Mehdi Tibouchi; Naofumi Homma (J. Cryptogr. Eng., 2023)

Side-Channel Analysis Against SecOC-Compliant AES-CMAC. - Katsumi Ebina; Rei Ueno; Naofumi Homma (IEEE Trans. Circuits Syst. II Express Briefs, 2023)

Comparative Analysis and Implementation of Jump Address Masking for Preventing TEE Bypassing Fault Attacks. - Shoei Nashimoto; Rei Ueno; Naofumi Homma (ARES, 2024)

Crystalor: Recoverable Memory Encryption Mechanism with Optimized Metadata Structure. - Rei Ueno; Hiromichi Haneda; Naofumi Homma; Akiko Inoue; Kazuhiko Minematsu (CCS, 2024)

Experimental Evaluation for Detecting Aging Effect on Microcontrollers based on Side-Channel Analysis. - Yuki Kaneko; Yuichi Hayashi; Naofumi Homma (EMC Compo, 2024)

Side-Channel Linearization Attack on Unrolled Trivium Hardware. - Soichiro Kobayashi; Rei Ueno; Yosuke Todo; Naofumi Homma (IACR Commun. Cryptol., 2024)

SoK: Pseudorandom Generation for Masked Cryptographic Implementation. - Rei Ueno; Naofumi Homma; Akiko Inoue; Kazuhiko Minematsu (IACR Cryptol. ePrint Arch., 2024)

Fallen Sanctuary: A Higher-Order and Leakage-Resilient Rekeying Scheme. - Rei Ueno; Naofumi Homma; Akiko Inoue; Kazuhiko Minematsu (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024)

A Non-Invasive Contactless Detection of Recycled Microcontrollers Based on Side-Channel Analysis. - Yuki Kaneko; Yuichi Hayashi; Naofumi Homma (NewCAS, 2025)

Perceived Information Revisited II Information-Theoretical Analysis of Deep-Learning Based Side-Channel Attacks. - Akira Ito 002; Rei Ueno; Naofumi Homma (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2025)

All You Need is XOR-Convolution: A Generalized Higher-Order Side-Channel Attack with Application to XEX/XE-based Encryptions. - Rei Ueno; Akira Ito 002; Yosuke Todo; Akiko Inoue; Kazuhiko Minematsu; Hibiki Ishikawa; Naofumi Homma (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2025)