講演抄録/キーワード |
講演名 |
2015-12-03 10:10
ゲートレベルネットリストの脆弱性を表現する指標 ○大屋 優・史 又華(早大)・山下哲孝・岡村利彦・角尾幸保(NEC)・柳澤政生・戸川 望(早大) VLD2015-59 DC2015-55 |
抄録 |
(和) |
近年チップの製造をサードパーティに外注するようになり,ハードウェアトロイが挿入される可能性が高まってきた.
本稿では,ゲートレベルネットリストの脆弱性を表現する指標としてHT rankを提案する.
HT rankはシミュレーションツールを使わずに,トロイネットの特徴に基づいて計算される.
HT rankは全てのTrust-HUB,ISCAS85,ISCAS89,ITC99のゲートレベルネットリストに加え,いくつかのOpenCoresゲートレベルネットリスト, そしてハードウェアトロイの挿入されているAESと挿入されていないAESに対して,ハードウェアトロイの有無を分類することに成功した.
提案手法にかかる時間はネットリストの大きさに依存し,数秒から一日程度である. |
(英) |
Recently, digital ICs are designed by outside vendors to reduce costs in semiconductor industry.
This circumstance introduces risks implemented Hardware Trojans(HTs) by malicious attackers.
This paper proposes an HT rank which is a new analysis criterion
against HTs at gate-level netlists. The HT rank does not use any
simulation tools but just calculate Trojan points based on Trojan net
features. The HT rank successfully classifies all the gate-level
netlists in Trust-HUB, ISCAS85, ISCAS89, and ITC99 as well as several
OpenCores designs, HT-free and HT-inserted AES
netlists into HT-inserted ones and HT-free ones.
We took approximately several minutes to one day depending on
a netlist to calculate an HT rank using Xeon E7-4870. |
キーワード |
(和) |
ハードウェアトロイ / ゲートレベルネットリスト / 設計段階 / トロイネット / トロイポイント / / / |
(英) |
hardware Trojan / gate-level netlist / design phase / Trojan net / Trojan point / / / |
文献情報 |
信学技報, vol. 115, no. 338, VLD2015-59, pp. 141-146, 2015年12月. |
資料番号 |
VLD2015-59 |
発行日 |
2015-11-24 (VLD, DC) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
VLD2015-59 DC2015-55 |