分块制造下硬件木马攻击方法及安全性分析

doi:10.19665/j.issn1001-2400.2019.04.023

Abstract

Abstract:

The Hardware Trojan (HT) threats the security of chips greatly, and in order to explore the effectiveness of split manufacturing (SM) securing circuits from HT insertion, an HT threat model is first proposed under SM. Then we propose two possible attack methods: one is the improved proximity-based attack and the other is the genetic algorithm based attack, which leverage different physical heuristics revealed from the physical design process. Experimental results show that both the proposed methods are effective on inserting HTs under SM. Especially the genetic algorithm based attack method is shown to be the most effective with the attack accuracy of up to 78.62%, thus demonstrating that SM is not secure inherently and that more efforts need to be made in order to make SM more secure.

Key words: hardware security, split manufacturing, hardware Trojan, attack, genetic algorithm

CLC Number:

TN47

YANG Yajun,CHEN Zhang. Hardware trojan attack methods and security analysis under split manufacturing[J].Journal of Xidian University, 2019, 46(4): 167-175.

Figures/Tables 9

References 18

[1]	CHEN S Y, VEMURI R. Reverse Engineering of Split Manufactured Sequential Circuits Using Satisfiability Checking [C]// Proceedings of the 2018 36th IEEE International Conference on Computer Design. Piscataway: IEEE, 2019: 530-536.
[2]	王侃, 陈浩, 管旭光 , 等. 硬件木马防护技术研究[J]. 网络与信息安全学报, 2017,3(9):5-16.
	WANG Kan, CHEN Hao, GUAN Xuguang , et al. Research on Hardware Trojan Defense[J]. Chinese Journal of Network and Information Security, 2017,3(9):5-16.
[3]	秦茂源, 慕德俊, 胡伟 , 等. 硬件安全门级细粒度形式化验证方法[J]. 西安电子科技大学学报, 2018,45(5):143-148.
	QIN Maoyuan, MU Dejun, HU Wei , et al. Fine-granularity Gate Level Formal Verification Method for Hardware Security[J]. Journal of Xidian University, 2018,45(5):143-148.
[4]	毛保磊, 慕德俊, 胡伟 , 等. RSA时间信道滑动窗口攻击方法及量化分析[J]. 西安电子科技大学学报, 2017,44(5):114-120.
	MAO Baolei, Mu Dejun, HU Wei , et al. Quantitative Analysis of Sliding Window Attack for the RSA Timing Channel[J]. Journal of Xidian University, 2017,44(5):114-120.
[5]	HE J, ZHAOY, GUO X , et al. Hardware Trojan Detection through Chip-free Electromagnetic Side-channel Statistical Analysis[J]. IEEE Transactions on Very Large Scale Integration Systems, 2017,25(10):2939-2948.
[6]	JARVI R W, MCLNTYRE M G . Split Manufacturing Method for Advanced Semiconductor Circuits: US20040102019A1[P]. 2004.
[7]	JAGASIVAMANI M, GADFORT P, SIKA M. et al. Split Fabrication Obfuscation: Metrics and Techniques [C]//Proceedings of the 2014 IEEE International Symposium on Hardware-Oriented Security and Trust. Washington: IEEE Computer Society, 2014: 7-12.
[8]	IMESON F, EMTENAN A, GARG S. et al. Securing Computer Hardware Using 3D Integrated Circuit(IC) Technology and Split Manufacturing for Obfuscation [C]// Proceedings of the 2013 USENIX Conference on Security. Berkeley: USENIX Association, 2013: 495-510.
[9]	许强, 蒋兴浩, 姚立红 , 等. 硬件木马检测与防范研究综述[J]. 网络与信息安全学报, 2017,3(4):5-17.
	XU Qiang, JIANG Xinghao, YAO Lihong , et al. Overview of the Detection and Prevention Study of Hardware Trojans[J]. Chinese Journal of Network and Information Security, 2017,3(4):5-17.
[10]	VAIDYANATHAN K, DAS B P, SUMBUL E. et al. Building Trusted ICs Using Split Fabrication [C]//Proceedings of the 2014 IEEE International Symposium on Hardware-oriented Security and Trust. Washington: IEEE Computer Society, 2014: 1-6.
[11]	MAGANA J, SHI D, MELCHERT J , et al. Are Proximity Attacks a Threat to the Security of Split Manufacturing of Integrated Circuits?[J]. IEEE Transactions on Very Large Scale Integration Systems, 2017,25(12):3406-3419.
[12]	WANG Y, CHEN P, HU J , et al. The Cat and Mouse in Split Manufacturing[J]. IEEE Transactions on Very Large Scale Integration Systems, 2018,26(5):805-817.
[13]	ZHANG B, MAGANA J C, DAVOODI A. Analysis of Security of Split Manufacturing Using Machine Learning [C]// Proceedings of the 2018 Design Automation Conference. Piscataway: IEEE, 2018: a141.
[14]	XIE Y, BAO C, SRIVASTAVA A . Security-aware 2.5D Integrated Circuit Design Flow against Hardware IP Piracy[J]. Computer, 2017,50(5):62-71.
[15]	CHAKRABORTY R S, NARASIMHAN S, BHUNIA S. Hardware Trojan: Threats and Emerging Solutions [C]//Proceedings of the 2009 IEEE International High Level Design Validation and Test Workshop. Washington: IEEE Computer Society, 2009: 166-171.
[16]	CHEN Z, ZHOU P Q, HO T Y. et al. How Secure Is Split Manufacturing in Preventing Hardware Trojan? [C]// Proceedings of the 2016 IEEE Asian Hardware-Oriented Security and Trust. Piscataway: IEEE, 2016: 7835561.
[17]	HANSEN M C, YALCIN H, HAYES J P . Unveiling the ISCAS-85 Benchmarks:a Case Study in Reverse Engineering[J]. IEEE Design Test of Computer, 1999,16(3):72-80.
[18]	VISWANATHAN N, PAN M, CHU C. Fastplace 3.0:a Fast Multilevel Quadratic Placement Algorithm with Placement Congestion Control [C]//Proceedings of the 2007 Asia and South Pacific Design Automation Conference. Piscataway: IEEE, 2007: 135-140.

基准电路	c432b	c499b	c1908	c2670	c3540	c5315	c6288b	c7552
门数量	202	635	579	1 549	1 718	3 145	3 020	4 048
最大同类型门数量	38	190	208	459	547	1 016	623	1 172
N_group	100	100	100	200	200	400	400	400
P_mutating	0.15	0.15	0.15	0.15	0.15	0.15	0.15	0.15
N_g	400	500	500	400	300	150	200	200
N	40	100	200	400	500	900	600	1 000

Hardware trojan attack methods and security analysis under split manufacturing

RichHTML

PDF (PC)

Like

Knowledge

Abstract

Cite this article

share this article

Figures/Tables 9

References 18

Related Articles 15

Metrics

Comments

Recommended 10

[1]	WANG Xingxin,HU Wei,TAN Jing,ZHU Jiacheng,TANG Shibo. Correlation fault attack on AES [J]. Journal of Xidian University, 2021, 48(4): 192-199.
[2]	SHEN Lixiang,MU Dejun,CAO Guo,XIE Guangqian,SHU Fangyong. Constructing formal verification models for hardware Trojans [J]. Journal of Xidian University, 2021, 48(3): 146-153.
[3]	GU Dawu,ZHANG Chi,LU Xiangjun. Progress of and some comments on the research of side-channel attack for cryptosystems [J]. Journal of Xidian University, 2021, 48(1): 14-21.
[4]	ZHANG Hua,GAO Haoran,YANG Xingguo,LI Wenmin,GAO Fei,WEN Qiaoyan. TargetedFool:an algorithm for achieving targeted attacks [J]. Journal of Xidian University, 2021, 48(1): 149-159.
[5]	LI Teng,CAO Shijie,YIN Siwei,WEI Dawei,MA Xindi,MA Jianfeng. Optimal method for the generation of the attack path based on the Q-learning decision [J]. Journal of Xidian University, 2021, 48(1): 160-167.
[6]	ZHANG Shudong,GAO Haichang,CAO Xiwen,KANG Shuai. Adaptive fast and targeted adversarial attack for speech recognition [J]. Journal of Xidian University, 2021, 48(1): 168-175.
[7]	YANG Hongyu,ZENG Renyun. Method for assessment of network security situation with deep learning [J]. Journal of Xidian University, 2021, 48(1): 183-190.
[8]	XU Zhicheng,LI Xiang,MAO Jian,LIU Jianwei,ZHOU Zhihong. Overview of Sybil attacks and defenses in the distributed architecture [J]. Journal of Xidian University, 2021, 48(1): 39-49.
[9]	CHENG Yukun,XU Zhiqi. Study on the block withholding attack based on the evolutionary game [J]. Journal of Xidian University, 2020, 47(5): 77-85.
[10]	YAO Si,CHEN Jie,GONG Yating,XU Dong. A new method for white-box implementation of CLEFIA algorithm [J]. Journal of Xidian University, 2020, 47(5): 150-158.
[11]	SUN Qian,ZHANG Jiarui,GAO Ling,WANG Yuxiang,YANG Jianfeng. Health prediction algorithm for edge layer nodes [J]. Journal of Xidian University, 2020, 47(3): 32-39.
[12]	WU Qiufeng,ZHANG Yuejun,WANG Pengjun,ZHANG Huihong. Hardware obfuscation design of the RM logical camouflage gate [J]. Journal of Xidian University, 2020, 47(2): 135-141.
[13]	XIE Fan,FENG Lifang. Visible light assisted relay communication system and a power allocation scheme [J]. Journal of Xidian University, 2020, 47(1): 95-103.
[14]	LIU Zhiqiang,ZHANG Mingjin,CHI Yuan,LI Yunsong. Hardware Trojan detection algorithm based on deep learning [J]. Journal of Xidian University, 2019, 46(6): 37-45.
[15]	LUO Yi,TAN Xiansi,WANG Hong,QU Zhiguo. Method for predicting the attack intention of hypersonic vehicles [J]. Journal of Xidian University, 2019, 46(5): 113-119.