2019 Fiscal Year Annual Research Report
Hardware-Trojan Detection for Integrated Circuit Design Data based on Machine Learning
| Project/Area Number |
19H04080
|
|---|
| Research Institution | Waseda University |
|---|
Principal Investigator |
戸川 望 早稲田大学, 理工学術院, 教授 (30298161)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
木村 晋二 早稲田大学, 理工学術院(情報生産システム研究科・センター), 教授 (20183303)
|
|---|
| Project Period (FY) |
2019-04-01 – 2022-03-31
|
| Keywords | ハードウェアトロイ / 機械学習 / レジスタトランスファレベル / ゲートレベル |
|---|
| Outline of Annual Research Achievements |
現在，集積回路設計・製造は低コスト化のため積極的に外注が利用され，外部の悪意ある設計・製造者により悪意ある回路を故意に侵入する「ハードウェアトロイ」が現実的な脅威として指摘されている．レジスタトランスファレベルやゲートレベルの集積回路設計データに挿入されたハードウェアトロイは，軽微な設計データ改変で重大な事象を引き起こす可能性がある．ハードウェアトロイはその対策技術が開発されると，それを回避するハードウェアトロイが開発される「いたちごっこ」が続いているのが現状である．本研究では，レジスタトランスファレベルやゲートレベルの集積回路設計データ中のハードウェアトロイの各種特徴量を学習することにより，既知・未知のハードウェアトロイを検知する技術を確立する．ハードウェアトロイの危険性がないセキュア集積回路チップの実現に寄与する．
ハードウェアトロイの学習では「ハードウェアトロイ回路の特徴量として何を学習するか」が最大のポイントとなる．研究代表者らは既存のベンチマークデータベースからハードウェアトロイ回路に含まれる膨大な信号線を実際に精査し，これらをデータベースとして蓄積している（『ハードウェアトロイビッグデータ』）．2019年度には，まず研究代表者らが持つ，これら『ハードウェアトロイビッグデータ』のもと，ハードウェアトロイを構成するレジスタトランスファレベルの記述や信号線について，特徴的な「単独特徴量」を明らかにした．つまりレジスタトランスファレベル記述や信号線に単独の特徴量を見出し，いくつかの識別器に用い，特徴量の最適設計，識別器の最適設計を行った．レジスタトランスファレベルやゲートレベルの集積回路設計データ中で，第一段階として比較的精度良くハードウェアトロイの識別に成功した．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
研究計画で予定した研究について，予定通り研究が進んでおり，おおむね順調に進展していると考えている．
|
| Strategy for Future Research Activity |
前述の通り，ハードウェアトロイの学習では「ハードウェアトロイの特徴量として何を学習するか」が最大のポイントとなる．研究代表者らは既存のベンチマークデータベースからハードウェアトロイ回路に含まれる膨大な信号線を実際に精査し，これらをデータベースとして蓄積しており，2019年度には，まず研究代表者らが持つ，これら『ハードウェアトロイビッグデータ』のもと，レジスタトランスファレベル記述や信号線に単独の特徴量を明らかにした．2020年度には，ハードウェアトロイ回路が設計データに一様に分布せず特定の場所に局所的に集中することを利用し，ハードウェア記述中の関連がある複数箇所や，複数の信号線にまたがる特徴量を明らかにする．その結果，さらに精度良くハードウェアトロイを識別することを目指す．
|
Research Products
(6 results)
