• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2021 Fiscal Year Research-status Report

Development of highly secure and reliable authentication system based on physically unclonable hardware identifier

Research Project

Project/Area Number 20K19765
Research InstitutionTohoku University

Principal Investigator

上野 嶺  東北大学, 電気通信研究所, 助教 (80826165)

Project Period (FY) 2020-04-01 – 2024-03-31
Keywords物理複製困難関数 / 認証 / 暗号実装 / サイドチャネル攻撃 / 深層学習
Outline of Annual Research Achievements

本年度は,物理複製困難関数 (PUF: Physically Unclonable Function) に基づく鍵ストレージ・ハードウェアID認証モジュールに搭載される暗号実装技術の安全性評価を実施した.このような評価は,認証や秘匿通信を実現するモジュール全体を安全に実装するために極めて重要である.本年度は,正解で最も広く使われている国際標準の共通鍵暗号であるAESや,耐量子計算機暗号 (PQC) などの最先端の暗号を中心に安全性評価を実施した.
まず,AESに関しては,深層学習 (DL: Deep Learning) に基づく新たな安全性評価技術を開発した.近年,暗号モジュールに対してDLを用いて秘密情報を抽出する攻撃の脅威が知られており,その対策技術の開発や脅威の正確な把握が急務となっていた.本年度は実装攻撃におけるDLのデータ不均衡問題に対してその原因を究明し,解析的かつ根本的にその問題を解決する手法を提案した.提案手法により,DLを用いた実装攻撃の攻撃性能をより低コストで簡易に評価できることを実験的に確認した.
加えて,PQCに関しては,PQCの中で鍵カプセル化機構 (KEM) と呼ばれるアルゴリズムのほとんどのスキームが潜在的かつ必然的に利用する構造に対して,不可避の実装脆弱性があることを発見した.標準化候補9つ中8つが発見した脆弱性に影響されることを確認し,さらに実験的にも,対策なしでは現実的なコストで秘密情報を詐取される危険性があることを示した.同時に,対策技術の評価も行い,Threshold Implementationと呼ばれる実装手法が対策として有効であることも確認した.
また,本年度は,その機能や安全性が形式的に保証された誤り訂正機構・暗号モジュール向けの回路の自動合成システムなどの開発を行い,開発するモジュールの設計環境の構築を大きく推進した.

Current Status of Research Progress
Current Status of Research Progress

1: Research has progressed more than it was originally planned.

Reason

前年度および前々年度までに,本課題で最も中心的な問題でありその解決が最重要目標であった「物理複製困難関数 (PUF) からの安全かつ効率的なハードウェアID抽出」を実現する技術を開発するとともに,すでにその成果を分野最高峰の国際会議・雑誌で発表していた.そのため,本年度では,上述の技術を用いて安全かつ効率的なハードウェアID認証モジュールを設計するために次に必要となる暗号モジュールの安全性評価や開発に着手することができたとともに,それに関して学術論文を複数出版することができた.したがって,安全かつ効率的なハードウェアID認証モジュールの実現に向けて,PUFからのハードウェアID抽出のみならず,抽出したIDの安全な認証を実現するモジュールの開発を大きく推進することができたといえる.以上より,本課題は当初の計画以上に進展していると考えている.

Strategy for Future Research Activity

これまで開発してきたハードウェアID抽出技術と暗号モジュールの安全性評価技術を用いて,実際に安全な暗号モジュールの作成を実施することを検討している.特に,これまで安全性評価技術を用いて既存の暗号モジュールの評価を行ってきたが,それらのいくつかは必ずしも必要な安全性を満たしていなかった.本課題の目標達成には,必要な安全性を満たしつつ効率的に認証や秘匿通信を実現する暗号モジュールの開発が重要であるとの判断から,今後は安全かつ高効率な暗号モジュールの開発と,それと物理複製困難関数 (PUF) および開発したハードウェアID抽出技術を統合した安全なハードウェア認証モジュールの開発を目指す.

Causes of Carryover

コロナ禍の影響により,当初予定していた出張や実験の遂行が困難になったため.

  • Research Products

    (28 results)

All 2022 2021

All Journal Article (7 results) (of which Peer Reviewed: 7 results,  Open Access: 4 results) Presentation (21 results) (of which Int'l Joint Research: 4 results,  Invited: 1 results)

  • [Journal Article] Efficient Formal Verification of Galois-Field Arithmetic Circuits Using ZDD Representation of Boolean Polynomials2022

    • Author(s)
      Ito Akira、Ueno Rei、Homma Naofumi
    • Journal Title

      IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

      Volume: 41 Pages: 794~798

    • DOI

      10.1109/TCAD.2021.3059924

    • Peer Reviewed / Open Access
  • [Journal Article] A Systematic Design Methodology of Formally-Proven Side-Channel-Resistant Cryptographic Hardware2021

    • Author(s)
      Rei Ueno, Naofumi Homma, Sumio Morioka, and Takafumi Aoki
    • Journal Title

      IEEE Design & Test Magazine

      Volume: 38 Pages: 84~92

    • DOI

      10.1109/MDAT.2021.306333.

    • Peer Reviewed
  • [Journal Article] An Algebraic Approach to Verifying Galois-Field Arithmetic Circuits with Multiple-Valued Characteristics2021

    • Author(s)
      ITO Akira、UENO Rei、HOMMA Naofumi
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E104.D Pages: 1083~1091

    • DOI

      10.1587/transinf.2020LOP0004

    • Peer Reviewed
  • [Journal Article] Imbalanced Data Problems in Deep Learning-Based Side-Channel Attacks: Analysis and Solution2021

    • Author(s)
      Ito Akira、Saito Kotaro、Ueno Rei、Homma Naofumi
    • Journal Title

      IEEE Transactions on Information Forensics and Security

      Volume: 16 Pages: 3790~3802

    • DOI

      10.1109/TIFS.2021.3092050

    • Peer Reviewed / Open Access
  • [Journal Article] Bypassing Isolated Execution on RISC-V using Side-Channel-Assisted Fault-Injection and Its Countermeasure2021

    • Author(s)
      Nashimoto Shoei、Suzuki Daisuke、Ueno Rei、Homma Naofumi
    • Journal Title

      IACR Transactions on Cryptographic Hardware and Embedded Systems

      Volume: 1 Pages: 28~68

    • DOI

      10.46586/tches.v2022.i1.28-68

    • Peer Reviewed / Open Access
  • [Journal Article] Curse of Re-encryption: A Generic Power/EM Analysis on Post-Quantum KEMs2021

    • Author(s)
      Ueno Rei、Xagawa Keita、Tanaka Yutaro、Ito Akira、Takahashi Junko、Homma Naofumi
    • Journal Title

      IACR Transactions on Cryptographic Hardware and Embedded Systems

      Volume: 1 Pages: 296~322

    • DOI

      10.46586/tches.v2022.i1.296-322

    • Peer Reviewed / Open Access
  • [Journal Article] Fault-Injection Attacks Against NIST’s Post-Quantum Cryptography Round 3 KEM Candidates2021

    • Author(s)
      Xagawa Keita、Ito Akira、Ueno Rei、Takahashi Junko、Homma Naofumi
    • Journal Title

      nternational Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT2021)

      Volume: 1 Pages: 33~61

    • DOI

      10.1007/978-3-030-92075-3_2

    • Peer Reviewed
  • [Presentation] Curse of Re-encryption: A Generic Power/EM Analysis on Post-Quantum KEMs2022

    • Author(s)
      Rei Ueno
    • Organizer
      International Conference on Cryptographic Hardware and Embedded Systems
    • Int'l Joint Research
  • [Presentation] Bypassing Isolated Execution on RISC-V using Side-Channel-Assisted Fault-Injection and Its Countermeasure2022

    • Author(s)
      Shoei Nashimoto
    • Organizer
      International Conference on Cryptographic Hardware and Embedded Systems
    • Int'l Joint Research
  • [Presentation] 耐量子鍵カプセル化メカニズムに対する一般化サイドチャネル攻撃2022

    • Author(s)
      上野嶺
    • Organizer
      2022年暗号と情報セキュリティシンポジウム
  • [Presentation] NIST PQC Round3候補の鍵カプセル化方式への故障注入攻撃2022

    • Author(s)
      草川恵太
    • Organizer
      2022年暗号と情報セキュリティシンポジウム
  • [Presentation] マスキング対策実装に対するサイドチャネル攻撃成功確率の情報理論的解析,2022

    • Author(s)
      伊東燦
    • Organizer
      2022年暗号と情報セキュリティシンポジウム
  • [Presentation] 確率的準同型暗号の高効率化とその性能評価2022

    • Author(s)
      小関隆介
    • Organizer
      ハードウェアセキュリティ研究会
  • [Presentation] アンロールド実装されたAESハードウェア特有のサイドチャネル情報漏洩の評価2022

    • Author(s)
      中嶋彩乃
    • Organizer
      ハードウェアセキュリティ研究会
  • [Presentation] RISC-V Keystoneへの故障注入に基づく隔離実行バイパス攻撃2022

    • Author(s)
      梨本翔永
    • Organizer
      ハードウェアセキュリティ研究会
  • [Presentation] A Formal Approach to Identifying Hardware Trojans in Cryptographic Hardware2021

    • Author(s)
      Akira Ito
    • Organizer
      IEEE 51th International Symposium on Multiple-Valued Logic (ISMVL)
    • Int'l Joint Research
  • [Presentation] Fault-Injection Attacks against NIST’s Post-Quantum Cryptography Round 3 KEM Candidates2021

    • Author(s)
      Keita Xagawa
    • Organizer
      International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT2021)
    • Int'l Joint Research
  • [Presentation] 招待講演]バイアスを有するPUFからの棄却サンプリングを用いた一様乱数の抽出法(CHES2020より)2021

    • Author(s)
      上野嶺
    • Organizer
      ハードウェアセキュリティ研究会
    • Invited
  • [Presentation] 深層学習を用いたサイドチャネル攻撃の性能評価手法に関する検討2021

    • Author(s)
      伊東燦
    • Organizer
      ハードウェアセキュリティ研究会
  • [Presentation] 剰余数系を用いた同種写像暗号の高速ハードウェア実装2021

    • Author(s)
      上野嶺
    • Organizer
      ハードウェアセキュリティ研究会
  • [Presentation] 並列化Quotient Pipeliningモンゴメリ乗算に基づくFp2乗算器データパスの設計とその同種写像暗号への応用に関する検討2021

    • Author(s)
      上野嶺
    • Organizer
      ハードウェアセキュリティ研究会
  • [Presentation] マスキング対策された暗号ハードウェアへの深層学習を用いたサイドチャネル解析2021

    • Author(s)
      伊東燦
    • Organizer
      ハードウェアセキュリティ研究会
  • [Presentation] 軽量暗号GIMLIに対するサイドチャネル解析の検討2021

    • Author(s)
      伊藤圭吾
    • Organizer
      34回回路とシステムワークショップ
  • [Presentation] 格子暗号向け数論変換ハードウェアの設計2021

    • Author(s)
      板橋由磨
    • Organizer
      第44回多値論理フォーラム
  • [Presentation] 耐タンパー性を有するCRT-RSAソフトウェアに対する深層学習に基づく単一波形サイドチャネル攻撃2021

    • Author(s)
      齋藤宏太郎
    • Organizer
      ハードウェアセキュリティ研究会
  • [Presentation] 格子暗号向けKリダクションに基づく数論変換ハードウェアの検討2021

    • Author(s)
      板橋由磨
    • Organizer
      ハードウェアセキュリティ研究会
  • [Presentation] 軽量暗号GIMLI-AEADに対する深層学習を用いたサイドチャネル解析の検討2021

    • Author(s)
      伊藤圭吾
    • Organizer
      情報セキュリティ研究会
  • [Presentation] アンロールドアーキテクチャに基づく AESハードウェア特有のサイドチャネル情報漏洩の評価2021

    • Author(s)
      中嶋彩乃
    • Organizer
      ハードウェアセキュリティフォーラム

URL: 

Published: 2022-12-28  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi