Rei Ueno

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 69

Top Topics

Formal Verification

High Throughput

Top Venues

IACR Cryptol. ePrint Arch.

IACR Trans. Cryptogr. Hardw. Embed. Syst.

Publications

Shoei Nashimoto, Rei Ueno, Naofumi Homma
Comparative Analysis and Implementation of Jump Address Masking for Preventing TEE Bypassing Fault Attacks. ARES (2024)
Rei Ueno, Naofumi Homma, Akiko Inoue, Kazuhiko Minematsu
Fallen Sanctuary: A Higher-Order and Leakage-Resilient Rekeying Scheme. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024 (1) (2024)
Akira Ito, Rei Ueno, Naofumi Homma
Perceived Information Revisited II: Information-Theoretical Analysis of Deep-Learning Based Side-Channel Attacks. IACR Cryptol. ePrint Arch. 2024 (2024)
Yutaro Tanaka, Rei Ueno, Keita Xagawa, Akira Ito, Junko Takahashi, Naofumi Homma
Multiple-Valued Plaintext-Checking Side-Channel Attacks on Post-Quantum KEMs. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2023 (3) (2023)
Rei Ueno, Naofumi Homma
How Secure is Exponent-blinded RSA-CRT with Sliding Window Exponentiation? IACR Trans. Cryptogr. Hardw. Embed. Syst. 2023 (2) (2023)
Ryusuke Koseki, Akira Ito, Rei Ueno, Mehdi Tibouchi, Naofumi Homma
Homomorphic encryption for stochastic computing. J. Cryptogr. Eng. 13 (2) (2023)
Katsumi Ebina, Rei Ueno, Naofumi Homma
Side-Channel Analysis Against SecOC-Compliant AES-CMAC. IEEE Trans. Circuits Syst. II Express Briefs 70 (10) (2023)
Rei Ueno, Hiromichi Haneda, Naofumi Homma, Akiko Inoue, Kazuhiko Minematsu
Crystalor: Persistent Memory Encryption Mechanism with Optimized Metadata Structure and Fast Crash Recovery. IACR Cryptol. ePrint Arch. 2023 (2023)
Akira Ito, Rei Ueno, Rikuma Tanaka, Naofumi Homma
Formal Analysis of Non-profiled Deep-learning Based Side-channel Attacks. IACR Cryptol. ePrint Arch. 2023 (2023)
Federico Canale, Tim Güneysu, Gregor Leander, Jan Philipp Thoma, Yosuke Todo, Rei Ueno
SCARF - A Low-Latency Block Cipher for Secure Cache-Randomization. USENIX Security Symposium (2023)
Rei Ueno, Naofumi Homma, Akiko Inoue, Kazuhiko Minematsu
Fallen Sanctuary: A Higher-Order and Leakage-Resilient Rekeying Scheme. IACR Cryptol. ePrint Arch. 2023 (2023)
Rei Ueno, Yusuke Yagyu, Naofumi Homma
Efficient DFA-Resistant AES Hardware Based on Concurrent Fault Detection Scheme. ISMVL (2023)
Kotaro Saito, Akira Ito, Rei Ueno, Naofumi Homma
One Truth Prevails: A Deep-learning Based Single-Trace Power Analysis on RSA-CRT with Windowed Exponentiation. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022 (4) (2022)
Rei Ueno, Naofumi Homma
High-Speed Hardware Architecture for Post-Quantum Diffie-Hellman Key Exchange Based on Residue Number System. ISCAS (2022)
Akira Ito, Rei Ueno, Naofumi Homma
Efficient Formal Verification of Galois-Field Arithmetic Circuits Using ZDD Representation of Boolean Polynomials. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (3) (2022)
Akiko Inoue, Kazuhiko Minematsu, Maya Oda, Rei Ueno, Naofumi Homma
ELM: A Low-Latency and Scalable Memory Encryption Scheme. IEEE Trans. Inf. Forensics Secur. 17 (2022)
Akira Ito, Rei Ueno, Naofumi Homma
On the Success Rate of Side-Channel Attacks on Masked Implementations: Information-Theoretical Bounds and Their Practical Usage. CCS (2022)
Federico Canale, Tim Güneysu, Gregor Leander, Jan Philipp Thoma, Yosuke Todo, Rei Ueno
SCARF: A Low-Latency Block Cipher for Secure Cache-Randomization. IACR Cryptol. ePrint Arch. 2022 (2022)
Rei Ueno, Keita Xagawa, Yutaro Tanaka, Akira Ito, Junko Takahashi, Naofumi Homma
Curse of Re-encryption: A Generic Power/EM Analysis on Post-Quantum KEMs. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022 (1) (2022)
Akira Ito, Rei Ueno, Naofumi Homma
On the Success Rate of Side-Channel Attacks on Masked Implementations: Information-Theoretical Bounds and Their Practical Usage. IACR Cryptol. ePrint Arch. 2022 (2022)
Ayano Nakashima, Rei Ueno, Naofumi Homma
AES S-Box Hardware With Efficiency Improvement Based on Linear Mapping Optimization. IEEE Trans. Circuits Syst. II Express Briefs 69 (10) (2022)
Shoei Nashimoto, Daisuke Suzuki, Rei Ueno, Naofumi Homma
Bypassing Isolated Execution on RISC-V using Side-Channel-Assisted Fault-Injection and Its Countermeasure. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022 (1) (2022)
Akira Ito, Rei Ueno, Naofumi Homma
Perceived Information Revisited New Metrics to Evaluate Success Rate of Side-Channel Attacks. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022 (4) (2022)
Yuma Itabashi, Rei Ueno, Naofumi Homma
Efficient Modular Polynomial Multiplier for NTT Accelerator of Crystals-Kyber. DSD (2022)
Yutaro Tanaka, Rei Ueno, Keita Xagawa, Akira Ito, Junko Takahashi, Naofumi Homma
Multiple-Valued Plaintext-Checking Side-Channel Attacks on Post-Quantum KEMs. IACR Cryptol. ePrint Arch. 2022 (2022)
Keita Xagawa, Akira Ito, Rei Ueno, Junko Takahashi, Naofumi Homma
Fault-Injection Attacks Against NIST's Post-Quantum Cryptography Round 3 KEM Candidates. ASIACRYPT (2) (2021)
Akira Ito, Rei Ueno, Naofumi Homma
A Formal Approach to Identifying Hardware Trojans in Cryptographic Hardware. ISMVL (2021)
Rei Ueno, Junko Takahashi, Yu-ichi Hayashi, Naofumi Homma
A method for constructing sliding windows leak from noisy cache timing information. J. Cryptogr. Eng. 11 (2) (2021)
Rei Ueno, Keita Xagawa, Yutaro Tanaka, Akira Ito, Junko Takahashi, Naofumi Homma
Curse of Re-encryption: A Generic Power/EM Analysis on Post-Quantum KEMs. IACR Cryptol. ePrint Arch. 2021 (2021)
Rei Ueno, Naofumi Homma, Sumio Morioka, Takafumi Aoki
A Systematic Design Methodology of Formally Proven Side-Channel-Resistant Cryptographic Hardware. IEEE Des. Test 38 (3) (2021)
Akira Ito, Rei Ueno, Naofumi Homma
Toward Optimal Deep-Learning Based Side-Channel Attacks: Probability Concentration Inequality Loss and Its Usage. IACR Cryptol. ePrint Arch. 2021 (2021)
Keita Xagawa, Akira Ito, Rei Ueno, Junko Takahashi, Naofumi Homma
Fault-Injection Attacks against NIST's Post-Quantum Cryptography Round 3 KEM Candidates. IACR Cryptol. ePrint Arch. 2021 (2021)
Akira Ito, Kotaro Saito, Rei Ueno, Naofumi Homma
Imbalanced Data Problems in Deep Learning-Based Side-Channel Attacks: Analysis and Solution. IEEE Trans. Inf. Forensics Secur. 16 (2021)
Ville Yli-Mäyry, Rei Ueno, Noriyuki Miura, Makoto Nagata, Shivam Bhasin, Yves Mathieu, Tarik Graba, Jean-Luc Danger, Naofumi Homma
Diffusional Side-Channel Leakage From Unrolled Lightweight Block Ciphers: A Case Study of Power Analysis on PRINCE. IEEE Trans. Inf. Forensics Secur. 16 (2021)
Akira Ito, Rei Ueno, Naofumi Homma
An Algebraic Approach to Verifying Galois-Field Arithmetic Circuits with Multiple-Valued Characteristics. IEICE Trans. Inf. Syst. (8) (2021)
Shoei Nashimoto, Daisuke Suzuki, Rei Ueno, Naofumi Homma
Bypassing Isolated Execution on RISC-V with Fault Injection. IACR Cryptol. ePrint Arch. 2020 (2020)
Rei Ueno, Naofumi Homma, Sumio Morioka, Noriyuki Miura, Kohei Matsuda, Makoto Nagata, Shivam Bhasin, Yves Mathieu, Tarik Graba, Jean-Luc Danger
High Throughput/Gate AES Hardware Architectures Based on Datapath Compression. IEEE Trans. Computers 69 (4) (2020)
Francesco Regazzoni, 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, Dirmanto Jap, Priyank Kashyap, Ilia Polian, Seetal Potluri, Rei Ueno, Elena Ioana Vatajelu, Ville Yli-Mäyry
Machine Learning and Hardware security: Challenges and Opportunities -Invited Talk-. ICCAD (2020)
Dirmanto Jap, Ville Yli-Mäyry, Akira Ito, Rei Ueno, Shivam Bhasin, Naofumi Homma
Practical Side-Channel Based Model Extraction Attack on Tree-Based Machine Learning Algorithm. ACNS Workshops (2020)
Akira Ito, Rei Ueno, Naofumi Homma
Effective Formal Verification for Galois-field Arithmetic Circuits with Multiple-Valued Characteristics. ISMVL (2020)
Rei Ueno, Kazuhide Fukushima, Yuto Nakano, Shinsaku Kiyomoto, Naofumi Homma
Single-Trace Side-Channel Analysis on Polynomial-Based MAC Schemes. COSADE (2020)
Kohei Kazumori, Rei Ueno, Naofumi Homma
Debiasing Method for Efficient Ternary Fuzzy Extractors and Ternary Physically Unclonable Functions. ISMVL (2020)
Akiko Inoue, Kazuhiko Minematsu, Maya Oda, Rei Ueno, Naofumi Homma
ELM : A Low-Latency and Scalable Memory Encryption Scheme. IACR Cryptol. ePrint Arch. 2020 (2020)
Maya Oda, Rei Ueno, Akiko Inoue, Kazuhiko Minematsu, Naofumi Homma
PMAC++: Incremental MAC Scheme Adaptable to Lightweight Block Ciphers. ISCAS (2020)
Rei Ueno, Kohei Kazumori, Naofumi Homma
Rejection Sampling Schemes for Extracting Uniform Distribution from Biased PUFs. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2020 (4) (2020)
Shotaro Sawataishi, Rei Ueno, Naofumi Homma
Unified Hardware for High-Throughput AES-Based Authenticated Encryptions. IEEE Trans. Circuits Syst. II Express Briefs (9) (2020)
Kohei Kazumori, Rei Ueno, Naofumi Homma
A Ternary Fuzzy Extractor for Efficient Cryptographic Key Generation. ISMVL (2019)
Manami Suzuki, Rei Ueno, Naofumi Homma, Takafumi Aoki
Efficient Fuzzy Extractors Based on Ternary Debiasing Method for Biased Physically Unclonable Functions. IEEE Trans. Circuits Syst. I Regul. Pap. (2) (2019)
Rei Ueno, Junko Takahashi, Yu-ichi Hayashi, Naofumi Homma
Constructing Sliding Windows Leak from Noisy Cache Timing Information of OSS-RSA. PROOFS (2019)
Rei Ueno, Manami Suzuki, Naofumi Homma
Tackling Biased PUFs Through Biased Masking: A Debiasing Method for Efficient Fuzzy Extractor. IEEE Trans. Computers 68 (7) (2019)
Rei Ueno, Naofumi Homma, Tomonori Iida, Kazuhiko Minematsu
High Throughput/Gate FN-Based Hardware Architectures for AES-OTR. ISCAS (2019)
Rei Ueno, Naofumi Homma, Yasuyuki Nogami, Takafumi Aoki
) inversion circuit based on hybrid GF representations. J. Cryptogr. Eng. 9 (2) (2019)
Akira Ito, Rei Ueno, Naofumi Homma, Takafumi Aoki
A Non-Reversible Insertion Method for Hardware Trojans Based on Path Delay Faults. PROOFS (2018)
Akira Ito, Rei Ueno, Naofumi Homma, Takafumi Aoki
Characterizing Parallel Multipliers for Detecting Hardware Trojans. FLAP 5 (9) (2018)
Hirokazu Oshida, Rei Ueno, Naofumi Homma, Takafumi Aoki
On Masked Galois-Field Multiplication for Authenticated Encryption Resistant to Side Channel Analysis. COSADE (2018)
Akira Ito, Rei Ueno, Naofumi Homma, Takafumi Aoki
On the Detectability of Hardware Trojans Embedded in Parallel Multipliers. ISMVL (2018)
Manami Suzuki, Rei Ueno, Naofumi Homma, Takafumi Aoki
Quaternary Debiasing for Physically Unclonable Functions. ISMVL (2018)
Rei Ueno, Naofumi Homma, Takafumi Aoki, Sumio Morioka
Hierarchical Formal Verification Combining Algebraic Transformation with PPRM Expansion and Its Application to Masked Cryptographic Processors. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (7) (2017)
Manami Suzuki, Rei Ueno, Naofumi Homma, Takafumi Aoki
Multiple-Valued Debiasing for Physically Unclonable Functions and Its Application to Fuzzy Extractors. COSADE (2017)
Rei Ueno, Naofumi Homma, Takafumi Aoki
Automatic Generation System for Multiple-Valued Galois-Field Parallel Multipliers. IEICE Trans. Inf. Syst. (8) (2017)
Wataru Kawai, Rei Ueno, Naofumi Homma, Takafumi Aoki, Kazuhide Fukushima, Shinsaku Kiyomoto
Practical Power Analysis on KCipher-2 Software on Low-End Microcontrollers. EuroS&P Workshops (2017)
Rei Ueno, Naofumi Homma, Takafumi Aoki
A Systematic Design of Tamper-Resistant Galois-Field Arithmetic Circuits Based on Threshold Implementation with (d + 1) Input Shares. ISMVL (2017)
Rei Ueno, Naofumi Homma, Takafumi Aoki
Toward More Efficient DPA-Resistant AES Hardware Architecture Based on Threshold Implementation. COSADE (2017)
Rei Ueno, Naofumi Homma, Yukihiro Sugawara, Takafumi Aoki
Formal Approach for Verifying Galois Field Arithmetic Circuits of Higher Degrees. IEEE Trans. Computers 66 (3) (2017)
Rei Ueno, Naofumi Homma, Sumio Morioka, Takafumi Aoki
Automatic generation of formally-proven tamper-resistant Galois-field multipliers based on generalized masking scheme. DATE (2017)
Rei Ueno, Yukihiro Sugawara, Naofumi Homma, Takafumi Aoki
Formal Design of Pipelined GF Arithmetic Circuits and Its Application to Cryptographic Processors. ISMVL (2016)
Rei Ueno, Sumio Morioka, Naofumi Homma, Takafumi Aoki
A High Throughput/Gate AES Hardware Architecture by Compressing Encryption and Decryption Datapaths - Toward Efficient CBC-Mode Implementation. IACR Cryptol. ePrint Arch. 2016 (2016)
Rei Ueno, Naofumi Homma, Takafumi Aoki
A Formal Verification Method of Error Correction Code Processors Over Galois-Field Arithmetic. J. Multiple Valued Log. Soft Comput. 26 (1-2) (2016)
Rei Ueno, Sumio Morioka, Naofumi Homma, Takafumi Aoki
A High Throughput/Gate AES Hardware Architecture by Compressing Encryption and Decryption Datapaths - Toward Efficient CBC-Mode Implementation. CHES (2016)
Rei Ueno, Naofumi Homma, Yukihiro Sugawara, Yasuyuki Nogami, Takafumi Aoki
) Inversion Circuit Based on Redundant GF Arithmetic and Its Application to AES Design. CHES (2015)
Rei Ueno, Naofumi Homma, Takafumi Aoki
Efficient DFA on SPN-Based Block Ciphers and Its Application to the LED Block Cipher. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2015)
Rei Ueno, Naofumi Homma, Yukihiro Sugawara, Takafumi Aoki
Formal Design of Galois-Field Arithmetic Circuits Based on Polynomial Ring Representation. ISMVL (2015)
Rei Ueno, Naofumi Homma, Yukihiro Sugawara, Yasuyuki Nogami, Takafumi Aoki
) Inversion Circuit Based on Redundant GF Arithmetic and Its Application to AES Design. IACR Cryptol. ePrint Arch. 2015 (2015)
Yukihiro Sugawara, Rei Ueno, Naofumi Homma, Takafumi Aoki
System for Automatic Generation of Parallel Multipliers over Galois Fields. ISMVL (2015)
Rei Ueno, Kotaro Okamoto, Naofumi Homma, Takafumi Aoki
An Efficient Approach to Verifying Galois-Field Arithmetic Circuits of Higher Degrees and Its Application to ECC Decoders. ISMVL (2014)