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)

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)

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)

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)

Formal Design of Pipelined GF Arithmetic Circuits and Its Application to Cryptographic Processors. - Rei Ueno; Yukihiro Sugawara; Naofumi Homma; Takafumi Aoki (ISMVL, 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)

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)

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)

Characterizing Parallel Multipliers for Detecting Hardware Trojans. - Akira Ito 002; Rei Ueno; Naofumi Homma; Takafumi Aoki (FLAP, 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)

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)

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)

SCARF: A Low-Latency Block Cipher for Secure Cache-Randomization. - Federico Canale; Tim Güneysu; Gregor Leander; Jan Philipp Thoma; Yosuke Todo; Rei Ueno (IACR Cryptol. ePrint Arch., 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)

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)

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)