Rei Ueno

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