Homma Naofumi | Researcher Information

2022 - 2027 Development Framework of VLSI Circuits and Systems Free from Hardware Trojans
2023 - 2026 高効率かつ頑健なセキュアアビオニクス設計技術の開拓
2021 - 2026 Advanced formal design and verification theory for security hardware
2019 - 2025 耐量子計算機性秘匿計算に基づくセキュア情報処理基盤
2018 - 2023 IoT社会に対応したサイバー・フィジカル・セキュリティ

2018 - 2022 高安全・高信頼な情報通信のためのトロイフリーLSIシステム設計・検証技術の開発

2018 - 2021 Development and Applications of Extremely Accurate Correspondence Techniques for Multidimensional Signals Based on Phase Information

2017 - 2021 冗長ガロア体算術に基づくセキュリティハードウェアの高水準設計技術の研究開発

2016 - 2021 Sensor-to-Cloud Security ~ビッグデータを守る革新的IoTセキュリティ基盤技術の研究開発

2016 - 2020 IoT システムを構成する機器のためのセキュア暗号モジュールの開発

2016 - 2019 Development of Countermeasures against Remote Visualization of Screen Images Using EM Emanation from Smart Devices in Public Space

2015 - 2019 次世代IT社会に求められる新機能暗号とそのハードウェア実装技術の開発

2015 - 2018 Development of High-Accuracy Image Matching Techniques Using Feature Descriptors Based on Local Phase Array

2016 - 2018 Development of formal design methodology for VLSI datapaths based on Galois-field arithmetic operations(Fostering Joint International Research)

2014 - 2017 Development of Side-Channel Attack Sensing Techniques and Prototyping toward Electromagnetic Security of Cryptographic VLSI Circuits

2013 - 2017 Development of formal design methodology for VLSI datapaths based on Galois-field arithmetic operations

2016 - 2017 組込みシステムへのサイバー・フィジカル協調型攻撃を防ぐ命令シーケンス構成法の開拓

2013 - 2017 Development of formal design methodology for VLSI datapaths based on Galois-field arithmetic operations(Fostering Joint International Research)

2012 - 2015 Development of High-Accuracy Image Matching Technology Using Phase Information and Its Applications

2010 - 2013 組込みシステムにおける暗号プロセッサの物理攻撃に対する安全性評価

2010 - 2013 耐タンパー性を有する超高性能公開鍵暗号プロセッサの開発

2009 - 2011 Applications of High-Accuracy Image Matching Technology Breaking the Limit of Pixel Resolution

2008 - 2010 計算機代数に基づく高性能VLSIデータパスの形式的設計技術の開発

2009 - 2010 暗号モジュールに対する高精度電磁波解析技術の開拓

2006 - 2008 ハードウェアアルゴリズムの高水準設計技術の開拓

2007 - 2008 暗号ハードウェアの高精度サイドチャネル解析技術の開拓

2006 - 2008 Development of Image Processing Technology Breaking the Limit of Pixel Resolution

2005 - 2007 System Integration of Beyond-Binary Computing

2005 - 2006 暗号処理システムの高精度サイドチャネル解析技術の開発と応用

2004 - 2006 冗長数系に基づく高性能データパスの自動合成システム

2002 - 2006 ハードウェアアルゴリズムの進化的合成に関する研究

2005 - 2006 2値・多値融合論理に基づくナノエレクトロニクスの開拓

2003 - 2005 High-speed subpixel image sensing technique and its applications

2002 - 2004 ハードウェアアルゴリズムの進化的合成システムの開発

2002 - 2004 New Developments for Beyond-Binary Computing

1999 - 2001 進化的グラフ生成手法に基づく算術演算回路設計に関する研究

Show all

Soichiro Kobayashi, Rei Ueno, Yosuke Todo, Naofumi Homma. Side-Channel Linearization Attack on Unrolled Trivium Hardware. IACR Communications in Cryptology. 2024
Shoei Nashimoto, Rei Ueno, Naofumi Homma. Comparative Analysis and Implementation of Jump Address Masking for Preventing TEE Bypassing Fault Attacks. Proceedings of the 19th International Conference on Availability, Reliability and Security. 2024
Rei Ueno, Naofumi Homma, Akiko Inoue, Kazuhiko Minematsu. Fallen Sanctuary: A Higher-Order and Leakage-Resilient Rekeying Scheme. IACR Transactions on Cryptographic Hardware and Embedded Systems. 2023. 2024. 1. 264-308
Katsumi Ebina, Rei Ueno, Naofumi Homma. Side-Channel Analysis Against SecOC-Compliant AES-CMAC. IEEE Transactions on Circuits and Systems II: Express Briefs. 2023. 70. 10. 3772-3776
Makoto Nagata, Naofumi Homma, Yuichi Hayashi. Hardware Supply Chain Security and EM Tricks. 2023 International Symposium on Electromagnetic Compatibility - EMC Europe. 2023. 1-4

ｍore...

迫田一歩, 植村泰佳, 本間尚文. GF(2m)上の算術演算順序回路の計算機代数に基づく形式検証に関する検討. 電子情報通信学会ハードウェアセキュリティ研究会. 2024. 123. 391. HWS2023-100-215-HWS2023-100-220
天笠博, 上野嶺, 山越公洋, 金城皓羽, 秋山梨佳, 本間尚文. 耐量子計算機署名QR-UOVハードウェアに関する検討. 電子情報通信学会ハードウェアセキュリティ研究会. 2024. 123. 391. HWS2023-93-178-HWS2023-93-183
上野嶺, 本間尚文, 井上明子, 峯松一彦. 多値決定木に基づく暗号鍵変換とそのサイドチャネル攻撃対策への応用. 第37回多値論理とその応用研究会. 2024. MVL-9. 1. 58-64
天笠博, 上野嶺, 本間尚文. SIMD演算によるQR-UOV署名ソフトウェアの高速化. 2024年暗号と情報セキュリティシンポジウム(SCIS2024). 2024. 1A2-6
上野嶺, 本間尚文, 井上明子, 峯松一彦. 漏えい耐性を有する高次暗号鍵変換スキームの提案とその評価. 2024年暗号と情報セキュリティシンポジウム (SCIS2024). 2024. 2G2-1

ｍore...

安全性評価装置,安全性評価方法及びプログラム
認証暗号化装置、認証復号装置、認証暗号システム、方法及びコンピュータ可読媒体低遅延認証暗号
メモリ処理装置、メモリ検証装置、メモリ更新装置、メモリ保護システム、方法及びコンピュータ可読媒体

Special Issue on CHES 2017, Journal of Cryptographic Engineering, Vol. 8, Issue 2.
Springer 2018
Journal of Cryptographic Engineering
Springer 2017
19th Conference on Cryptographic Hardware and Embedded Systems - CHES 2017
Springer 2017
Special Issue on Emerging Topics in Multiple-Valued Logic and Applications
2016
14th Smart Card Research and Advanced Application Conference - CARDIS 2015
Springer 2016

ｍore...

Trust of Information in Digital Age
(The 20th Science and Technology in Society Forum (STSForum) 2023)
耐量子計算機暗号ハードウェア設計の基礎
(応用物理学会超集積エレクトロニクス産学連携委員会「夏の学校」 2023)
ポスト5G, 6G時代を支えるデバイス・ハードウェアセキュリティ技術動向
(JEITA先端電子材料・デバイス技術フォーラム 2023)
量子コンピュータ時代のハードウェアセキュリティ技術
(IMPULSEコンソーシアム 2023)
ハードウェアトロイフリーを実現するLSIシステム設計技術
(電子情報通信学会総合大会 2023)

ｍore...

Ph.D Info. Sci. (Tohoku University)

2024/01 - 現在 IEEE Computer Society Technical Committee on MVL Chair
2018/04 - 現在電子情報通信学会ハードウェアセキュリティ研究会研究専門委員
2017/04 - 現在電子情報技術産業協会(JEITA) ハードウェアセキュリティ技術分科会委員長
2016/01 - 現在 Journal of Cryptographic Engineering Editorial Board Associate Editor
2014/10 - 現在 Conference on Cryptographic Hardware and Embedded Systems (CHES) Steering Committee Steering Committee Member

2013/04 - 現在 CRYPTREC暗号技術評価委員会委員

2011/09 - 現在 CRYPTREC暗号技術検討会構成員

2020/01 - 2023/12 IEEE Computer Society Technical Committee on MVL Vice Chair

2022/07 - 2023/05 IEEE International Symposium on Multiple-Valued Logic Program Committee Chair

2020/01 - 2021/12 IEEE Sendai Section Membership Development Committee Chair

2020/07 - 2021/05 The 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques (EuroCrypt 2021), Program Committee Member

2020/07 - 2021/03 内閣サイバーセキュリティセンター研究・産学官連携戦略WG委員

2020/03 - 2020/12 The 10th International Conference on Security, Privacy and Applied Cryptographic Engineering (SPACE 2020, Program Committee Member

2020/08 - 2020/11 Top Picks in Hardware and Embedded Security 2020, Technical and Program Committee Member

2019/09 - 2020/11 2020 IEEE International Symposium on Multiple-Valued Logic, Program Committee Co-Chair

2019/08 - 2020/10 2020 International Workshop on Constructive Side-Channel Analysis and Secure Design (COSADE 2020) Program Committee Member

2020/04 - 2020/09 Workshop on Security Proofs for Embedded Systems 2020 (PROOFS 2020), Program Committee Member

2018/09 - 2020/09 多値論理研究会委員長

2017/07 - 2020/09 IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES), Editorial Board Member

2009/03 - 2020/09 International Conference on Cryptographic Hardware and Embedded Systems (CHES) Program Committee Member

2018/01 - 2019/12 IEEE Sendai Section Student Activity Committee Chair

2018/09 - 2019/05 2019 IEEE International Symposium on Multiple-Valued Logic, Program Committee Co-chair

2018/07 - 2019/04 2019 International Workshop on Constructive Side-Channel Analysis and Secure Design (COSADE 2019) Program Committee Member

2018/01 - 2018/09 Workshop on Security Proofs for Embedded Systems 2018 (PROOFS 2018) Program Committee Member

2016/09 - 2018/09 多値論理研究会会計幹事

2016/09 - 2018/09 多値論理研究会会計監事

2017/09 - 2018/05 2018 IEEE International Symposium on Multiple-Valued Logic Program Committee Member

2017/08 - 2018/04 International Workshop on Constructive Side-Channel Analysis and Secure Design (COSADE 2018) Program Committee Member

2016/06 - 2017/08 電子情報通信学会「Special Section on Multiple-Valued Logic and VLSI Computing」英文論文誌小特集号編集委員会編集委員

2013/05 - 2017/05 電子情報通信学会VLSI設計技術研究会研究専門委員

2014/04 - 2017/03 情報通信研究機構専門委員

2016/10 - 2017/01 電子情報通信学会「暗号と情報セキュリティ」英文論文小特集編集委員会編集委員

2010/05 - 2016/05 電子情報通信学会スマートインフォメディア研究会運営委員

2015/10 - 2016/01 電子情報通信学会「暗号と情報セキュリティ」英文論文小特集編集委員会編集委員

2013/09 - 2015/09 多値論理研究会会計幹事

2014/10 - 2015/01 電子情報通信学会「暗号と情報セキュリティ」英文論文小特集編集委員会編集委員

2013/10 - 2014/01 電子情報通信学会「暗号と情報セキュリティ」英文論文小特集編集委員会編集委員

2010/07 - 2013/05 電子情報通信学会英文論文誌C 編集委員会編集委員

2009/08 - 2013/03 CRYPTREC暗号実装委員会委員長

2009/08 - 2013/03 CRYPTRECサイドチャネル解析WG 主査

2009/08 - 2013/03 CRYPTREC暗号実装委員会委員長

2009/08 - 2013/03 CRYPTRECサイドチャネル解析WG 主査

2012/10 - 2013/01 電子情報通信学会「暗号と情報セキュリティ」英文論文小特集編集委員会編集委員

2010/08 - 2012/05 電子情報通信学会「暗号と情報セキュリティ実装技術」和文論文小特集編集委員会編集幹事

2011/10 - 2012/01 電子情報通信学会「暗号と情報セキュリティ」英文論文小特集編集委員会編集委員

2010/10 - 2012/01 電子情報通信学会「暗号と情報セキュリティ」英文論文小特集編集委員会編集委員

2009/09 - 2011/09 多値論理研究会技術幹事

2009/06 - 2011/05 情報処理学会東北支部評議員

2006/11 - 2009/07 CRYPTREC暗号モジュール委員会電力解析実験WG委員

2007/05 - 2009/06 情報処理学会東北支部会計幹事

2005/12 - 2006/11 電子情報通信学会「新デバイスアーキテクチャとシステムインテグレーション構築技術」英文論文小特集編集委員

2004/05 - 2006/05 IEEE Computer Society, Multiple-Valued Logic Technical Committee Executive Sub-Committee Members at Large

2002/11 - 2006/03 科学技術振興機構戦略的創造研究推進事業さきがけ「情報基盤と利用環境」領域研究者

Show all

2022/10 - 第21回ドコモ・モバイル・サイエンス賞先端技術部門優秀賞セキュリティハードウェア設計・検証理論の開拓とその応用
2022/03 - The 37th Telecommunications Advancement Foundation Award Tackling Biased PUFs through Biased Masking: A Debiasing Method for Efficient Fuzzy Extractor
2021/01 - JMVL Contribution Award
2020/01 - 多値論理フォーラム奨励賞ブール多項式のZDD表現を用いたガロア体算術演算回路の形式的検証手法
2019/01 - 多値論理フォーラム奨励賞スマートデバイスの電磁的な安全性評価に関する検討

2018/06 - German Chamber of Commerce and Industry in Japan German Innovation Award 2018: Gottfried Wagener Prize 2018 Design Methodology for Lightweight Tamper-Resistant Cryptographic Hardware

2018/04 - Ichimura Foundation for New Technology The Ichimura Prize in Science for Distinguished Achievement High-level Design Methodology for Hardware Algorithms and Its Applications

2018/02 - Japan Society for the Promotion of Science JSPS PRIZE Theory of Hardware Algorithms for Computer Arithmetic and Its Application to Design of Cryptographic Hardware

2017/01 - 多値論理研究会多値論理フォーラム奨励賞

2015/05 - 電子情報通信学会 LSIとシステムのワークショップ優秀ポスター賞

2015/02 - National Institute of Standards and Technology (NIST) Letter of Appreciation for Collaboration and Technical Excellence

2015/01 - 電子情報通信学会 SCIS 2014イノベーション論文賞

2014/09 - International Association for Cryptologic Research (IACR) Best Paper Award at 16th International Conference on Cryptographic Hardware and Embedded Systems

2014/01 - 電子情報通信学会情報セキュリティ研究会 SCIS 2013イノベーション論文賞

2013/08 - IEEE EMC Society Best Symposium Paper Award 2013 IEEE International Symposium on Electromagnetic Compatibility

2013/06 - みやぎ産業科学振興基金みやぎ産業科学振興基金研究奨励賞

2013/01 - 多値論理研究会多値論理フォーラム奨励賞正規基底表現されたガロア体上の算術演算回路の形式的設計に関する検討

2012/11 - 東北大学電気通信研究所 RIEC Award VLSI向け算術アルゴリズムの高水準設計技術とその応用に関する研究

2012/03 - 丸文財団丸文学術賞算術演算LSIの高水準設計技術とその応用に関する研究

2011/09 - 電子情報通信学会電子情報通信学会基礎・境界ソサイエティ編集活動感謝状

2010/12 - 石田(實)記念財団石田(實)記念財団研究奨励賞

2010/08 - マルチメディア,分散,協調とモバイル (DICOMO2010) シンポジウムマルチメディア,分散,協調とモバイル (DICOMO2010) シンポジウム優秀論文賞

2010/04 - 財団法人船井情報科学振興財団船井学術賞ハードウェアアルゴリズムの高水準設計技術とその応用に関する研究

2009/10 - (社)情報処理学会コンピュータセキュリティシンポジウム2009 優秀論文賞重回帰分析を用いたサイドチャネル攻撃の高精度化

2008/03 - トーキン科学技術振興財団トーキン科学技術振興財団研究奨励賞 2進数と非2進数を統合したVLSIシステムの高水準設計技術の開発

2008/02 - 青葉工学振興会青葉工学振興会第13回研究奨励賞 2進数系と非2進数系を融合したハードウェアアルゴリズムの高水準設計技術に関する研究

2007/10 - The 14th Workshop on Synthesis And System Integration of Mixed Information technologies Best Paper Award, the 14th Workshop on Synthesis And System Integration of Mixed Information technologies Formal representation and verification of arithmetic circuits using symbolic computer algebra

2006/06 - 財団法人安藤研究所安藤博記念学術奨励賞二進数系と非二進数系を統合したハードウェアアルゴリズムの高水準設計技術に関する研究

2005/05 - LSI IPデザイン・アワード運営委員会第7回LSI IPデザイン・アワード完成表彰部門 IP賞算術アルゴリズム記述言語に基づく乗算器モジュールジェネレータ

1997/03 - 電子情報通信学会電子情報通信学会東北支部学生員奨励賞

Show all

Information Processing Society of Japan , 電子情報通信学会 , IACR (International Association for Cryptologic Research) , IEEE (The Institute of Electrical and Electronics Engineers, Inc.)