上野嶺 (Rei Ueno) - マイポータル

基本情報

所属: 東北大学電気通信研究所助教

学位: 博士（情報科学）(2018年3月東北大学)

J-GLOBAL ID: 201801001782818516
researchmap会員ID: B000300287

研究キーワード

研究分野

経歴

2024年4月 - 現在

京都大学, 大学院情報学研究科, 准教授
2018年4月 - 2024年3月

東北大学, 電気通信研究所, 助教
2018年10月 - 2022年3月

国立研究開発法人科学技術振興機構, さきがけ, さきがけ研究者
2016年4月 - 2018年3月

日本学術振興会, 学振特別研究員 (DC2)

学歴

2015年4月 - 2018年3月

東北大学, 大学院情報科学研究科, 情報基礎科学専攻博士課程後期3年の課程
2013年4月 - 2015年3月

東北大学, 大学院情報科学研究科, 情報基礎科学専攻博士課程前期2年の課程
2009年4月 - 2013年3月

東北大学, 工学部, 情報知能システム総合学科

委員歴

2023年4月 - 現在

情報処理学会コンピュータセキュリティ研究会 (CSEC), 運営委員
2021年5月 - 現在

Program Committee, IEEE International Symposium on Multiple-Valued Logic (ISMVL), Program Committee Member
2023年10月 - 2024年9月

Artifact Evaluation Committee, Cryptographic Hardware and Embedded Systems (CHES), Member
2023年7月 - 2024年9月

Program Committee, International Conference on Cryptographic Hardware and Embedded Systems (CHES), Member
2023年7月 - 2024年9月

Editorial board, IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES), Associate Editor
2023年12月 - 2024年4月

Program Committee, International Workshop on Constructive Side-channel Analysis and Secure Design (COSADE), Member
2022年8月 - 2024年3月

IEEE/ACM Design, Automation and Test in Europe Conference (DATE) 2023 Technical Program Committee, TPC Member
2023年6月 - 2023年11月

Program Committee, 22nd Smart Card Research and Advanced Application Conference (CARDIS 2023), Member
2022年9月 - 2022年12月

Indocrypt 2022 Program Committee, PC Member
2019年1月 - 2021年12月

Technical Committee on Multiple-Valued Logic, IEEE Computer Society, Members-at-Large
2019年7月 - 2020年7月

Editorial board, IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES), Member
2019年7月 - 2020年7月

Program Committee, International Conference on Cryptographic Hardware and Embedded Systems (CHES), Member

主要な受賞

2017年5月

Kenneth C. Smith Early Career Award in Microelectronics,, "Formal Design of Pipelined GF Arithmetic Circuits and Its Application to Cryptographic Processors", Technical Committee on Multiple-Valued Logic, IEEE Computer Society:

上野嶺

もっとみる

主要な論文

154

Fallen Sanctuary: A Higher-Order and Leakage-Resilient Rekeying Scheme

Rei Ueno, Naofumi Homma, Akiko Inoue, Kazuhiko Minematsu

IACR Transactions on Cryptographic Hardware and Embedded Systems 2024(1) 264-308 2023年12月4日査読有り筆頭著者責任著者
SCARF---A Low-Latency Block Cipher for Secure Cache-Randomization

Federico Canale, Tim Güneysu, Gregor Leander, Jan Thoma, Yosuke Todo, Rei Ueno

USENIX Security Symposium '23 1937-1954 2023年8月査読有り
Multiple-Valued Plaintext-Checking Side-Channel Attacks on Post-Quantum KEMs

Yutaro Tanaka, Rei Ueno, Keita Xagawa, Akira Ito, Junko Takahashi, Naofumi Homma

IACR Transactions on Cryptographic Hardware and Embedded Systems 2023(3) 473-503 2023年6月9日査読有り責任著者
How Secure is Exponent-blinded RSA–CRT with Sliding Window Exponentiation?

Rei Ueno, Naofumi Homma

IACR Transactions on Cryptographic Hardware and Embedded Systems 2023(2) 241-269 2023年3月査読有り筆頭著者責任著者
On the Success Rate of Side-Channel Attacks on Masked Implementations: Information-Theoretical Bounds and Their Practical Usage

Akira Ito, Rei Ueno, Naofumi Homma

ACM SIGSAC Conference on Computer and Communications Security (ACM CCS 2022) 1521-1535 2022年11月査読有り責任著者
One Truth Prevails: A Deep-learning Based Single-Trace Power Analysis on RSA–CRT with Windowed Exponentiation

Kotaro Saito, Akira Ito, Rei Ueno, Naofumi Homma

IACR Transactions on Cryptographic Hardware and Embedded Systems 2022(4) 490-526 2022年8月31日査読有り責任著者
Perceived Information Revisited: New Metrics to Evaluate Success Rate of Side-Channel Attacks

IACR Transactions on Cryptographic Hardware and Embedded Systems 2022(4) 228-254 2022年8月31日査読有り責任著者
ELM: A Low-Latency and Scalable Memory Encryption Scheme

Akiko Inoue, Kazuhiko Minematsu, Maya Oda, Rei Ueno, Naofumi Homma

IEEE Transactions on Information Forensics and Security 17 2628-2643 2022年査読有り
AES S-Box Hardware with Efficiency Improvement Based on Linear Mapping Optimization

Ayano Nakashima, Rei Ueno, Naofumi Homma

IEEE Transactions on Circuits and Systems II: Express Briefs 69(10) 1-1 2022年査読有り
Fault-Injection Attacks against NIST's Post-Quantum Cryptography Round 3 KEM Candidates

Keita Xagawa, Akira Ito, Rei Ueno, Junko Takahashi, Naofumi Homma

Asiacrypt 2021, the 27th Annual International Conference on the Theory and Application of Cryptology and Information Security 33-61 2021年12月査読有り
Bypassing Isolated Execution on RISC-V using Side-Channel-Assisted Fault-Injection and Its Countermeasure

Shoei Nashimoto, Daisuke Suzuki, Rei Ueno, Naofumi Homma

IACR Transactions on Cryptographic Hardware and Embedded Systems 2022(1) 28-68 2021年11月19日査読有り
Curse of Re-encryption: A Generic Power/EM Analysis on Post-Quantum KEMs

Rei Ueno, Keita Xagawa, Yutaro Tanaka, Akira Ito, Junko Takahashi, Naofumi Homma

IACR Transactions on Cryptographic Hardware and Embedded Systems 2022(1) 296-322 2021年11月19日査読有り筆頭著者責任著者
Imbalanced Data Problems in Deep Learning-Based Side-Channel Attacks: Analysis and Solution

Akira Ito, Kotaro Saito, Rei Ueno, Naofumi Homma

IEEE Transactions on Information Forensics and Security 16 3790-3802 2021年査読有り
A Systematic Design Methodology of Formally-Proven Side-Channel-Resistant Cryptographic Hardware

Rei Ueno, Naofumi Homma, Sumio Morioka, Takafumi Aoki

IEEE Design & Test 38(3) 84-92 2021年査読有り筆頭著者責任著者
Efficient Formal Verification of Galois-Field Arithmetic Circuits Using ZDD Representation of Boolean Polynomials

Akira Ito, Rei Ueno, Naofumi Homma

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41(3) 794-798 2021年査読有り
Diffusional Side-Channel Leakage From Unrolled Lightweight Block Ciphers: A Case Study of Power Analysis on PRINCE

Ville Yli-Mayry, Rei Ueno, Noriyuki Miura, Makoto Nagata, Shivam Bhasin, Yves Mathieu, Tarik Graba, Jean-Luc Danger, Naofumi Homma

IEEE Transactions on Information Forensics and Security 16 1351-1364 2021年査読有り
Rejection Sampling Schemes for Extracting Uniform Distribution from Biased PUFs

Rei Ueno, Kohei Kazumori, Noafumi Homma

IACR Transactions on Cryptographic Hardware and Embedded Systems 2020(4) 86-128 2020年8月査読有り筆頭著者責任著者
Unified Hardware for High-Throughput AES-Based Authenticated Encryptions

Shotaro Sawataishi, Rei Ueno, Naofumi Homma

IEEE Transactions on Circuits and Systems II: Express Briefs 67(9) 1604-1608 2020年8月査読有り責任著者
High Throughput/Gate AES Hardware Architectures Based on Datapath Compression

Rei Ueno, Sumio Morioka, Noriyuki Miura, Kohei Matsuda, Makoto Nagata, Shivam Bhasin, Yves Mathieu, Tarik Graba, Jean-Luc Danger, Naofumi Homma

IEEE Transactions on Computers 69(4) 534-548 2020年4月査読有り筆頭著者責任著者
Highly Efficient GF(2^8) Inversion Circuit Based on Hybrid GF Representations

Rei Ueno, Naofumi Homma, Yasuyuki Nogami, Takafumi Aoki

Journal of Cryptographic Engineering 9(2) 101-113 2019年5月査読有り筆頭著者責任著者
Tackling Biased PUFs Through Biased Masking: A Debiasing Method for Efficient Fuzzy Extractor

Rei Ueno, Manami Suzuki, Naofumi Homma

IEEE Transactions on Computers 68(7) 1091-1104 2019年査読有り筆頭著者責任著者
Efficient Fuzzy Extractors Based on Ternary Debiasing Method for Biased Physically Unclonable Functions

Manami Suzuki, Rei Ueno, Naofumi Homma, Takafumi Aoki

IEEE Transactions on Circuits and Systems I: Regular Papers 66(2) 616-629 2018年査読有り責任著者
Formal Approach for Verifying Galois Field Arithmetic Circuits of Higher Degrees

Rei Ueno, Naofumi Homma, Yukihiro Sugawara, Takafumi Aoki

IEEE TRANSACTIONS ON COMPUTERS 66(3) 431-442 2017年3月査読有り筆頭著者責任著者
Automatic Generation of Formally-Proven Temper-Resistant Galois-Field Multipliers Based on Generalized Masking Scheme

Rei Ueno, Naofumi Homma, Sumio Morioka, Takafumi Aoki

PROCEEDINGS OF THE 2017 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE) 978-983 2017年査読有り筆頭著者責任著者
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

CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2016 9813(9813) 538-558 2016年査読有り筆頭著者責任著者
Highly Efficient GF(2(8)) Inversion Circuit Based on Redundant GF Arithmetic and Its Application to AES Design

Rei Ueno, Naofumi Homma, Yukihiro Sugawara, Yasuyuki Nogami, Takafumi Aoki

CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2015 9293(9293) 63-80 2015年査読有り筆頭著者責任著者

もっとみる

講演・口頭発表等

暗号実装のセキュリティに関する最新動向

上野嶺

ハードウェアセキュリティフォーラム2023 2023年12月15日招待有り
Secure Implementation of Post-Quantum Cryptography: Challenges and Opportunities

Rei Ueno

The 26th Annual International Conference on Information Security and Cryptology 2023年11月30日招待有り
メモリ暗号化のための暗号技術とハードウェアアーキテクチャ

上野嶺

現代暗号に対する安全性解析・攻撃の数理 2023年9月20日招待有り
SCARF---A Low-Latency Block Cipher for Secure Cache-Randomization (from USENIX Security Symposium '23)

Federico Canale, Tim Güneysu, Gregor Leander, Jan Thoma, Yosuke Todo, Rei Ueno

2023年暗号と情報セキュリティワークショップ 2023年9月4日招待有り
ハードウェアセキュリティに関する主要な国際会議の動向

上野嶺, 本間尚文

ハードウェアセキュリティフォーラム 2022年12月16日
物理複製困難関数が実現する情報セキュリティとその方法

上野嶺

第12回暗号及び情報セキュリティと数学の相関ワークショップ (CRISMATH 2020) 2020年12月22日招待有り
Hardware Implementation of Block Cipher: Case Study Using AES

Rei Ueno

The 9-th Asian-workshop on Symmetric Key Cryptography (ASK2019) 2019年12月14日招待有り
Automatic Generation of Formally-Proven Tamper-Resistant Galois-Field Multipliers Based on Generalized Masking Scheme

Rei Ueno, Naofumi Homma, Sumio Morioka, Takafumi Aoki

Workshop on Top Picks in Hardware and Embedded Security 2019年11月7日
ガロア体演算に基づく暗号ハードウェアにおけるHT検知技術

伊東燦, 上野嶺, 本間尚文

LSIとシステムのワークショップ2019 2019年5月13日
ハードウェアトロイ挿入が困難な公開鍵暗号データパスに関する検討

伊東燦, 上野嶺, 本間尚文, 青木孝文

ハードウェアセキュリティフォーラム2017 2017年12月15日
Design of Highly Efficient Tamper-Resistnat AES Processor Based on 1st Order TI

Rei Ueno, Naofumi Homma, Takafumi Aoki

12th International Workshop on Security (IWSEC) 2017年9月1日招待有り
CHESの紹介と日本からの発表

上野嶺, 森岡澄夫, 本間尚文, 青木孝文

第1回ハードウェアセキュリティフォーラム 2016年12月3日招待有り

共同研究・競争的資金等の研究課題

セキュリティハードウェアの形式的設計・検証理論の深化と展開

日本学術振興会科学研究費助成事業基盤研究(A) 2021年4月 - 2026年3月

本間尚文, 上野嶺
物理複製困難ハードウェアIDに基づく高安全・高信頼な認証システムの開発

日本学術振興会 (JSPS) 若手研究 2020年4月 - 2024年3月

上野嶺
バッテリレス無線センサネットワークのためのポスト量子暗号計算技術

国立研究開発法人科学技術振興機構 (JST) さきがけ 2018年10月 - 2022年3月

上野嶺
演算中に生じた誤りを訂正する機構を備えた暗号ハードウェアの設計手法の開発

日本学術振興会 (JSPS) 研究活動スタート支援 2018年9月 - 2020年3月

上野嶺
暗号プロセッサの高水準設計とその応用に関する研究

日本学術振興会 (JSPS) 学振特別研究員 (DC2) 2016年4月 - 2018年3月

上野嶺

その他

算術モジュールジェネレータ

機能が形式的に検証された整数およびガロア体上の算術演算回路の自動合成/生成システムおよびデータベース URL: https://www.ecsis.riec.tohoku.ac.jp/topics/amg

上野嶺

基本情報

研究キーワード

研究分野

経歴

学歴

委員歴

主要な受賞

主要な論文

講演・口頭発表等

共同研究・競争的資金等の研究課題

その他

メニュー

共著者の一覧