Authentication of Embedded Devices

Introduction.- Integrated Circuit Fingerprinting.- Novel PUF designs for device Identification.- Authentication Protocols: Standards, limitation and research opportunities.- Hardware-based Authentication Protocols for better physical security.- Energy Efficient Authentication Protocols.- Case study 1: Securing Hardware Supply Chain.- Case study 2: GPS spoofing attack detection and survival.

Dr Basel Halak is the director of the embedded systems and IoT program at the University of Southampton, a visiting professor at the Technical University of Kaiserslautern,a visiting professor at the Kazakh-British Technical University, a fellow of the royal academy of engineering and a senior fellow of the higher education academy. He has written over 70-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, supervises a number of MSc and PhD students, and is the ECS Exchange Coordinators. 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).