Presentation | 2015-12-03 Hardware Trojan Identification based on Netlist Features using SVM Kento Hasegawa, Oya Masaru, Masao Yanagisawa, Nozomu Togawa, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Recently, third-party IC vendors are very often used due toglobalization 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) |
Keyword(in English) | hardware trojan / netlist / machine learning / SVM / static verification |
Paper # | VLD2015-58,DC2015-54 |
Date of Issue | 2015-11-24 (VLD, DC) |
Conference Information | |
Committee | VLD / DC / IPSJ-SLDM / CPSY / RECONF / ICD / CPM |
---|---|
Conference Date | 2015/12/1(3days) |
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- |
Chair | Yusuke Matsunaga(Kyushu Univ.) / Nobuyasu Kanekawa(Hitachi) / Masahiro Fukui(Ritsumeikan Univ.) / Yasuhiko Nakashima(NAIST) / Minoru Watanabe(Shizuoka Univ.) / Minoru Fujishima(Hiroshima Univ.) / Satoru Noge(Numazu National College of Tech.) |
Vice Chair | Takashi Takenana(NEC) / Michiko Inoue(NAIST) / / Koji Nakano(Hiroshima Univ.) / Hidetsugu Irie(Univ. of Tokyo) / Masato Motomura(Hokkaido Univ.) / Yuichiro Shibata(Nagasaki Univ.) / Hideto Hidaka(Renesas) / Fumihiko Hirose(Yamagata Univ.) |
Secretary | Takashi Takenana(Ritsumeikan Univ.) / Michiko Inoue(Fujitsu Labs.) / (RTRI) / Koji Nakano(Kyoto Sangyo Univ.) / Hidetsugu Irie(Sharp) / Masato Motomura(Kitakyushu City Univ.) / Yuichiro Shibata(Toshiba) / Hideto Hidaka(Fujitsu Labs.) / Fumihiko Hirose(NII) |
Assistant | Ittetsu Taniguchi(Ritsumeikan Univ.) / / / Shinya Takameda(NAIST) / Takeshi Ohkawa(Utsunomiya Univ.) / Kazuya Tanikagawa(Hiroshima City Univ.) / Takefumi Miyoshi(e-trees.Japan) / Makoto Takamiya(Univ. of Tokyo) / Hiroe Iwasaki(NTT) / Takashi Hashimoto(Panasonic) / Hiroyuki Ito(Tokyo Inst. of Tech.) / Pham Konkuha(Univ. of Electro-Comm.) / Takashi Sakamoto(NTT) / Yuichi Nakamura(Toyohashi Univ. of Tech.) |
Paper Information | |
Registration To | Technical Committee on VLSI Design Technologies / Technical Committee on Dependable Computing / Special Interest Group on System and LSI Design Methodology / Technical Committee on Computer Systems / Technical Committee on Reconfigurable Systems / Technical Committee on Integrated Circuits and Devices / Technical Committee on Component Parts and Materials |
---|---|
Language | JPN |
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 |
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.) |
Date | 2015-12-03 |
Paper # | VLD2015-58,DC2015-54 |
Volume (vol) | vol.115 |
Number (no) | VLD-338,DC-339 |
Page | pp.pp.135-140(VLD), pp.135-140(DC), |
#Pages | 6 |
Date of Issue | 2015-11-24 (VLD, DC) |