硬件安全威胁与防范

本书首先阐述相关背景，主要针对在信息物理系统、物联网和集成电路供应链不断全球化的背景下计算硬件所面临的安全威胁和攻击，重点介绍由设计缺陷、旁路信道、硬件木马，在此基础上，介绍硬件安全防护技术，主要包括逻辑验证技术、旁路信道保护技术、信息流安全技术、木马检测技术、PUF技术等。其章节安排如下：
*章阐述本书写作的背景和常见的硬件安全威胁；第二章介绍由设计缺陷导致的安全威胁；第三章讨论由旁路信道引发的信息泄漏；第四章讨论硬件木马问题；
第五章主要介绍面向安全的逻辑功能验证技术；第六章探讨旁路信道保护技术；第七章讨论基于信息流分析的安全漏洞分析技术；第八章重点阐述硬件木马检测技术，第九章主要涵盖PUF技术；*后，第十章对本书的内容进行总结。

2007.09 ?C 2012.06 西北工业大学 博 士 2012.07 ?C 2014.05 西北工业大学 博士后 2014.05 ?C 2017.05 加州大学圣迭戈分校（美国） 博士后 2．主要著作和科研成果：申请人在“硬件安全”领域取得了一定的理论与应用研究成果，在国内外学术期刊和会议上共发表论文40余篇。代表性成果包括IEEE Transactions on Information Forensics & Security (信息安全领域*刊物，CCF A类期刊)，IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(CCF B类期刊)和 ACM Transactions on Design Automation of Electronic Systems (CCF B类期刊)各1篇,IET Information Security(CCF B类期刊)1篇，计算机辅助设计领域三大权威会议ACM/EDAC/IEEE Design Automation Conference论文3篇，IEEE/ACM International Conference on Computer Aided Design 论文4篇，Design, Automation & Test in Europe Conference & Exhibition 论文2篇，国内计算机领域权威刊物《计算机学报》 论文1篇，出版学术专著1部(科学出版社)。申请主持国家自然科学基金青年科学基金和国家博士后科学基金面上项目各1项，以主要完成人身份参与美国和中国国家自然科学基金共4项。