Behavioral Synthesis for Hardware Security

Know about the book -

Behavioral Synthesis for Hardware Security is written by Srinivas Katkoori and published by Springer Nature. It's available with International Standard Book Number or ISBN identification 3030788415 (ISBN 10) and 9783030788414 (ISBN 13).

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. Provides a single-source reference to behavioral synthesis for hardware security; Describes automatic synthesis techniques for algorithmic obfuscation, using code transformations; Includes behavioral synthesis techniques for intellectual property protection.