Springer Trusted Digital Circuits: Hardware Trojan Vulnerabilities, Prevention and Detection

This book describes the integrated circuit supply chain flow and discusses security issues across the flow, which can undermine the trustworthiness of final design. The author discusses and analyzes the complexity of the flow, along with vulnerabilities of digital circuits to malicious modifications (i.e. hardware Trojans) at the register-transfer level, gate level and layout level. Various metrics are discussed to quantify circuit vulnerabilities to hardware Trojans at different levels. Readers are introduced to design techniques for preventing hardware Trojan insertion and to facilitate hardware Trojan detection. Trusted testing is also discussed, enabling design trustworthiness at different steps of the integrated circuit design flow. Coverage also includes hardware Trojans in mixed-signal circuits. From the Back Cover This book describes the integrated circuit supply chain flow and discusses security issues across the flow, which can undermine the trustworthiness of final design. The author discusses and analyzes the complexity of the flow, along with vulnerabilities of digital circuits to malicious modifications (i.e. hardware Trojans) at the register-transfer level, gate level and layout level. Various metrics are discussed to quantify circuit vulnerabilities to hardware Trojans at different levels. Readers are introduced to design techniques for preventing hardware Trojan insertion and to facilitate hardware Trojan detection. Trusted testing is also discussed, enabling design trustworthiness at different steps of the integrated circuit design flow. Coverage also includes hardware Trojans in mixed-signal circuits. Provides a comprehensive vulnerability analysis across the integrated circuits design flow; Introduces security metrics to measure quantitatively the vulnerability of a circuit to hardware Trojan insertion; Describes design techniques to prevent hardware Trojan insertion and to facilitate hardware Trojan detection; Presents testing techniques for trustworthiness at each circuit level. About the Author Dr. Hassan Salmani received the Ph.D. degree in Electrical Engineering from the University of Connecticut in 2011. He is currently an Assistant Professor with Howard University, Washington DC. His current research projects include hardware security and trust and supply chain security. He has authored over ten journal articles and refereed conference papers and has frequently invited for technical talks by different companies such as Boeing, Cisco, and Mentor Graphics. He has also authored one book and two book chapter. He regularly serves as a Program Committee Member and the Session Chair for various conferences such as the Design Automation Conference, the Hardware-Oriented Security and Trust, the International Conference on Computer Design, VLSI Design, and Test. He is a member of the SAE Internationals G-19A Tampered Subgroup, the ACM, and the ACM SIGDA.