A subtle change that leads to disastrous consequences—hardware Trojans undoubtedly pose one of the greatest security threats to the modern age. How to protect hardware against these malicious modifications? One potential solution hides within logic locking; a prominent hardware obfuscation technique. In this book, we take a step-by-step approach to understanding logic locking, from its fundamental mechanics, over the implementation in software, down to an in-depth analysis of security properties in the age of machine learning. This book can be used as a reference for beginners and experts alike who wish to dive into the world of logic locking, thereby having a holistic view of the entire infrastructure required to design, evaluate, and deploy modern locking policies.Provides a comprehensive introduction to logic locking, suitable for beginners and experts;Offers a novel perspective on hardware Trojan classification and its interplay with logic locking;Presents details on the design and implementation of a silicon-ready logic-locking software framework;Introduces scaling techniques to design and apply logic locking to complex hardware components, such as processors;Presents novel ways of evaluating the security of logic locking with machine learning.
