Machine Learning for Embedded System Security (1 ed)

This book comprehensively covers the state-of-the-art security applications of machine learning techniques. The first part explains the emerging solutions for anti-tamper design, IC counterfeit detection, and hardware Trojan identification. It also explains the latest development of deep-learning-based modeling attacks on physically unclonable functions and outlines the design principles of more resilient PUF architectures. The second discusses the use of machine learning to mitigate the risks of security attacks on cyber-physical systems, with a particular focus on power plants. The third part provides an in-depth insight into the principles of malware analysis in embedded systems and describes how the usage of supervised learning techniques provides an effective approach to tackling software vulnerabilities.

• Discusses emerging technologies used to develop intelligent tamper detection techniques using machine learning;
• Includes a comprehensive summary of how machine learning is used to combat IC counterfeiting and to detect Trojans;
• Describes how machine learning algorithms are used to enhance the security of physically unclonable functions (PUFs);
• It describes, in detail, the principles of state-of-the-art countermeasures for hardware, software, and cyber-physical attacks on embedded systems.

About the Author

Dr. Basel Halak is the director of the embedded systems and IoT program at the University of Southampton, a visiting scholar at the Technical University of Kaiserslautern, a visiting professor at the Kazakh-British Technical University, an industrial fellow of the Royal Academy of Engineering, and a national teaching fellow of the Advance Higher Education (HE) Academy. Dr. Halak's publications include over 80 refereed conference and journal papers and he has authored four books, including the first textbook on Physically Unclonable Functions. His research expertise includes the evaluation of the security of hardware devices, the development of countermeasures, mathematical formalism of reliability issues in CMOS circuits (e.g., crosstalk, radiation, aging), and the use of fault tolerance techniques to improve the robustness of electronics systems against such issues. Dr. Halak lectures on digital design, secure hardware, and cryptography. Dr. Halak serves on several technical program committees, such as HOST, IEEE DATE, IVSW, and DAC. He is an associate editor of IEEE Access and an editor of the IET Circuit Devices and Systems journal. He is also a member of the hardware security working group of the World Wide Web Consortium (W3C).