| 講演名 | 2016-06-16 ニューラルネットを利用したネットリストの特徴にもとづくハードウェアトロイ識別 長谷川 健人(早大), 柳澤 政生(早大), 戸川 望(早大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 近年，ICチップの設計・製造工程において外部委託が増加し，悪意ある第三者によりハードウェアトロイが挿入される恐れがある．第三者が設計・製造した製品を検証する技術は既に存在するが，既存技術を上回るハードウェアトロイの出現や回路の大規模・複雑化により既存技術をそのまま適用するのは難しい．本稿では，ニューラルネットワークにもとづき，ネットリストに対してハードウェアトロイを構成するネット(トロイネット)とそうでないネット(ノーマルネット)に分類する検証手法を提案する．まず，ゲートレベルのネットリストからハードウェアトロイの特徴となる特徴量を得て，これをニューラルネットワークで学習する．次に学習済みのニューラルネットワークを用いて，トロイネットかどうかが未知であるネットリストを分類する．提案手法は論理シミュレーションなど動的な検証を必要とせず，ゲートレベルのネットリストだけにもとづき検証する静的検証手法である．提案手法では最大100%のTrue Positive Rateを得て，従来手法よりもTrue Negative Rateを抑えることに成功した． |
| 抄録(英) | |
| キーワード(和) | ハードウェアトロイ / セキュリティ / 機械学習 / ニューラルネットワーク / 静的検証 |
| キーワード(英) | |
| 資料番号 | CAS2016-1,VLD2016-7,SIP2016-35,MSS2016-1 |
| 発行日 | 2016-06-09 (CAS, VLD, SIP, MSS) |
| 研究会情報 | |
| 研究会 | VLD / CAS / MSS / SIP |
|---|---|
| 開催期間 | 2016/6/16(から2日開催) |
| 開催地（和） | 弘前市立観光館 |
| 開催地（英） | Hirosaki Shiritsu Kanko-kan |
| テーマ（和） | システムと信号処理および一般 |
| テーマ（英） | System, signal processing and related topics |
| 委員長氏名（和） | 竹中 崇(NEC) / 高橋 俊彦(新潟大) / 山根 智(金沢大) / 中静 真(千葉工大) |
| 委員長氏名（英） | Takashi Takenana(NEC) / Toshihiko Takahashi(Niigata Univ.) / Satoshi Yamane(Kanazawa Univ.) / Makoto Nakashizuka(Chiba Inst. of Tech.) |
| 副委員長氏名（和） | 越智 裕之(立命館大) / 平木 充(ルネサス エレクトロニクス) / 名嘉村 盛和(琉球大) / 奥田 正浩(北九州市大) / 村松 正吾(新潟大) |
| 副委員長氏名（英） | Hiroyuki Ochi(Ritsumeikan Univ.) / Mitsuru Hiraki(Renesas) / Morikazu Nakamura(Univ. of Ryukyus) / Masahiro Okuda(Univ. of Kitakyushu) / Shogo Muramatsu(Niigata Univ.) |
| 幹事氏名（和） | 福田 大輔(富士通研) / 永山 忍(広島市大) / 越田 俊介(東北大) / 山口 基(ルネサスシステムデザイン) / 中田 充(山口大) / 豊嶋 伊知郎(東芝) / 平林 晃(立命館大) / 宮田 高道(千葉工大) |
| 幹事氏名（英） | Daisuke Fukuda(Fujitsu Labs.) / Shinobu Nagayama(Hiroshima City Univ.) / Shunsuke Koshita(Tohoku Univ.) / Motoi Yamaguchi(Renesas) / Mitsuru Nakata(Yamaguchi Univ.) / Ichiro Toyoshima(Toshiba) / Akira Hirabayashi(Ritsumeikan Univ.) / Takamichi Miyata(Chiba Inst. of Tech.) |
| 幹事補佐氏名（和） | Parizy Matthieu(富士通研) / 橘 俊宏(湘南工科大) / 中村 洋平(日立) / 金城 秀樹(沖縄大) / 渡邊 修(拓殖大) |
| 幹事補佐氏名（英） | Parizy Matthieu(Fujitsu Labs.) / Toshihiro Tachibana(Shonan Inst. of Tech.) / Yohei Nakamura(Hitachi) / Hideki Kinjo(Okinawa Univ.) / Osamu Watanabe(Takushoku Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on VLSI Design Technologies / Technical Committee on Circuits and Systems / Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Signal Processing |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ニューラルネットを利用したネットリストの特徴にもとづくハードウェアトロイ識別 |
| サブタイトル（和） | |
| タイトル（英） | Hardware Trojan Identification based on Netlist Features using Neural Networks |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ハードウェアトロイ |
| キーワード(2)（和/英） | セキュリティ |
| キーワード(3)（和/英） | 機械学習 |
| キーワード(4)（和/英） | ニューラルネットワーク |
| キーワード(5)（和/英） | 静的検証 |
| 第 1 著者 氏名（和/英） | 長谷川 健人 / Kento Hasegawa |
| 第 1 著者 所属（和/英） | 早稲田大学(略称：早大) Waseda University(略称：Waseda Univ.) |
| 第 2 著者 氏名（和/英） | 柳澤 政生 / Masao Yanagisawa |
| 第 2 著者 所属（和/英） | 早稲田大学(略称：早大) Waseda University(略称：Waseda Univ.) |
| 第 3 著者 氏名（和/英） | 戸川 望 / Nozomu Togawa |
| 第 3 著者 所属（和/英） | 早稲田大学(略称：早大) Waseda University(略称：Waseda Univ.) |
| 発表年月日 | 2016-06-16 |
| 資料番号 | CAS2016-1,VLD2016-7,SIP2016-35,MSS2016-1 |
| 巻番号（vol） | vol.116 |
| 号番号（no） | CAS-93,VLD-94,SIP-95,MSS-96 |
| ページ範囲 | pp.1-6(CAS), pp.1-6(VLD), pp.1-6(SIP), pp.1-6(MSS), |
| ページ数 | 6 |
| 発行日 | 2016-06-09 (CAS, VLD, SIP, MSS) |