This book presents a new threat modelling approach that specifically target hardware supply chain, covering security risks throughout the lifecycle of an electronic system. Afterword’s the book presents a case study on a new combined security attack, which combines two forms of attack’s mechanisms, from two different stages of the IC supply chain, more specifically the attack target the newly developed light cipher (Ascon) and demonstrates how it can be broken easily, when its implementation is compromised with a hardware Trojan. The book also discusses emerging countermeasures, including anti-counterfeit design techniques for resources constrained devices and anomaly detection methods for embedded systems.
The book will educate the readers on the security challenges in this area and the emerging countermeasures, in particular:
- It presents a new threat modelling approach, developed specifically for the hardware supply chain;
- It provides a systematic security analysis of the IC supply chain, which includes the latest attacks, countermeasures and security validation techniques;
- It presents a detailed case study of new forms of threats that combine multiple attack’s vectors, supported by FPGA demonstration and experimental analysis;
- It provides an in-depth discussion of emerging solutions to protect lightweight electronics devices from counterfeiting;
- It presents the state-of-the-art machine learning techniques that allows the detection of anomalous behaviors of electronic systems.
|
Part I Threat Modelling of Hardware Supply Chain |
|
|
|
1 CIST: A Threat Modelling Approach for Hardware Supply Chain Security |
|
|
3 | (66) |
|
|
|
Part II Emerging Hardware-Based Security Attacks and Countermeasures |
|
|
|
2 A Cube Attack on a Trojan-Compromised Hardware Implementation of Ascon |
|
|
69 | (20) |
|
|
|
|
|
3 Anti-counterfeiting Techniques for Resources-Constrained Devices |
|
|
89 | (40) |
|
|
|
|
|
|
|
Part III Anomaly Detection in Embedded Systems |
|
|
|
4 Anomalous Behaviour in Embedded Systems |
|
|
129 | (18) |
|
|
|
5 Hardware Performance Counters (HPCs) for Anomaly Detection |
|
|
147 | (20) |
|
|
|
6 Anomaly Detection in an Embedded System |
|
|
167 | (46) |
|
|
|
|
|
|
| Index |
|
213 | |
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, a fellow of the royal academy of engineering, a national teaching fellow of Advance HE in the UK, and a senior fellow of the higher education academy. He has written over 80-refereed conference and journal papers, and authored two books, including the first textbook on Physically Unclonable Functions. His research expertise include evaluation of security of hardware devices, development of appropriate countermeasures, the development of mathematical formalisms of reliability issues in CMOS circuits (e.g. crosstalk, radiation, ageing), 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. He is also leading European Masters in Embedded Computing Systems (EMECS) , a two year course run in collaboration with Kaiserslautern University in Germany and the Norwegian University of Science and Technology in Trondheim (electronics and communication). Dr Halak serves on several technical program committees such as HOST, IEEE DATE, IVSW, ICCCA, ICCCS, MTV and EWME. He is an associate editor of IEEE access and an editor of the IET circuit devices and system journal. He is also a member of the hardware security-working group of the World Wide Web Consortium (W3C).
Lisainfo e-raamatute kohta