Behavioral Synthesis for Hardware Security

این کتاب نتایج تحقیقات پیشرفته‌ای را از محققان پیشرو اتوماسیون طراحی الکترونیکی (EDA) در مورد رویکردهای خودکار برای تولید سخت‌افزار هوشمند و ایمن سایبری ارائه می‌کند. نویسندگان ابتدا پیش‌زمینه مختصری درباره اصول سنتز سطح بالا ارائه می‌کنند و نیاز به طراحی ایمن را در طول سنتز رفتاری ایجاد می‌کنند. سپس آن‌ها تکنیک‌های ترکیبی برای شش راه‌حل امنیتی خودکار، یعنی مبهم‌سازی سخت‌افزار، تشخیص تروجان سخت‌افزار، واترمارک IP، رمزگذاری حالت، مقاومت در برابر حمله کانال جانبی، و ردیابی جریان اطلاعات را در اختیار خوانندگان قرار می‌دهند.

< li>ارجاع تک منبعی به سنتز رفتاری برای امنیت سخت افزار ارائه می دهد؛
• تکنیک های سنتز خودکار برای مبهم سازی الگوریتمی را شرح می دهد، با استفاده از تبدیل کد؛
• شامل تکنیک‌های ترکیب رفتاری برای حفاظت از مالکیت معنوی است.

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.