Paper Abstract and Keywords |
Presentation |
2015-12-03 09:45
Hardware Trojan Identification based on Netlist Features using SVM Kento Hasegawa, Oya Masaru, Masao Yanagisawa, Nozomu Togawa (Waseda Univ.) VLD2015-58 DC2015-54 |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
Recently, third-party IC vendors are very often used due to
globalization and cost-reduction in the IC market but malicious third-party vendors are very likely to insert hardware Trojans into their products. Several hardware Trojan detection techniques are proposed but it is much difficult to analyze huge and complex circuits and deal with evolving hardware Trojans. In this paper, we propose a static hardware Trojan verification method to identify hardware-Trojan infected nets (or Trojan nets) using Support Vector Machine. In the proposed method, we extract the five hardware-Trojan features in each net of a netlist and represent it to be a five-dimensional vector. We learn many five-dimensional vectors using a support vector machine (SVM) and classify a new netlist into Trojan nets and normal nets using learned SVM. Moreover, hardware Trojan nets are weighted in learning to effectively identify Trojan nets. The proposed method is a static verification method, and hence it runs very fast compared to dynamic verification methods where they have to run logic simulation and/or functional simulation. Experimental results demonstrate that our proposed method can efficiently reduce the false negative rate and successfully increase the true positive rate to up to 75%. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
hardware trojan / netlist / machine learning / SVM / static verification / / / |
Reference Info. |
IEICE Tech. Rep., vol. 115, no. 338, VLD2015-58, pp. 135-140, Dec. 2015. |
Paper # |
VLD2015-58 |
Date of Issue |
2015-11-24 (VLD, DC) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Download PDF |
VLD2015-58 DC2015-54 |
Conference Information |
Committee |
VLD DC IPSJ-SLDM CPSY RECONF ICD CPM |
Conference Date |
2015-12-01 - 2015-12-03 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Nagasaki Kinro Fukushi Kaikan |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
Design Gaia 2015 -New Field of VLSI Design- |
Paper Information |
Registration To |
VLD |
Conference Code |
2015-12-VLD-DC-SLDM-CPSY-RECONF-ICD-CPM |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
Hardware Trojan Identification based on Netlist Features using SVM |
Sub Title (in English) |
|
Keyword(1) |
hardware trojan |
Keyword(2) |
netlist |
Keyword(3) |
machine learning |
Keyword(4) |
SVM |
Keyword(5) |
static verification |
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Kento Hasegawa |
1st Author's Affiliation |
Waseda University (Waseda Univ.) |
2nd Author's Name |
Oya Masaru |
2nd Author's Affiliation |
Waseda University (Waseda Univ.) |
3rd Author's Name |
Masao Yanagisawa |
3rd Author's Affiliation |
Waseda University (Waseda Univ.) |
4th Author's Name |
Nozomu Togawa |
4th Author's Affiliation |
Waseda University (Waseda Univ.) |
5th Author's Name |
|
5th Author's Affiliation |
() |
6th Author's Name |
|
6th Author's Affiliation |
() |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2015-12-03 09:45:00 |
Presentation Time |
25 minutes |
Registration for |
VLD |
Paper # |
VLD2015-58, DC2015-54 |
Volume (vol) |
vol.115 |
Number (no) |
no.338(VLD), no.339(DC) |
Page |
pp.135-140 |
#Pages |
6 |
Date of Issue |
2015-11-24 (VLD, DC) |
|