Behavioral Synthesis for Hardware Security

This book presents state-of-the-art research results from leading electronic design automation (EDA) researchers on automated approaches for generating cyber-secure,smart hardware. The authors first provide brief background on high-level synthesis principles and motivate the need for secure design during behavioral synthesis. Then they provide readers with synthesis techniques for six automated security solutions, namely, hardware obfuscation, hardware Trojan detection, IP watermarking, state encoding, side channel attack resistance, and information flow tracking.

Format: Hardback
Length: 398 pages
Publication date: 09 February 2022
Publisher: Springer Nature Switzerland AG

This book presents cutting-edge research findings from renowned electronic design automation (EDA) experts on automated approaches for developing cyber-secure, intelligent hardware. The authors begin by providing a concise overview of high-level synthesis principles and highlighting the importance of secure design during behavioral synthesis. Subsequently, they offer readers a comprehensive guide to six automated security solutions, including hardware obfuscation, hardware Trojan detection, IP watermarking, state encoding, side channel attack resistance, and information flow tracking.

This comprehensive resource serves as a single-source reference for behavioral synthesis in hardware security. It delves into detailed descriptions of automatic synthesis techniques for algorithmic obfuscation, employing code transformations to enhance security. Additionally, the book encompasses behavioral synthesis techniques for intellectual property protection, ensuring the confidentiality and integrity of sensitive data.

By presenting these state-of-the-art research results, the book empowers designers and engineers to incorporate robust security measures into their hardware designs, thereby mitigating the risks associated with cyber threats. It serves as a valuable tool for practitioners, researchers, and students in the field of electronic design and hardware security.

Weight: 781g
Dimension: 235 x 155 (mm)
ISBN-13: 9783030788407
Edition number: 1st ed. 2022