Behavioral Synthesis for Hardware Security

Katkoori, Srinivas; Islam, Sheikh Ariful

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.

Details

Published by: Springer

Publication Date: 2022-02-09

Format: Hardcover

ISBN-13: 9783030788407

DOI: 10.1007/978-3-030-78841-4

Dimensions: 235cm x155cm

Pages: 398