Provisioning Software with Hardware-Software Binding

Robert Lee, Konstantinos Markantonakis, Raja Akram

Research output: Chapter in Book/Report/Conference proceedingConference contribution

147 Downloads (Pure)


Smart cities are a concept of interest to many industrial, academic and government organisations. However, smart cities present a large attack surface to adversaries if every traffic light, power relay and water pipe are connected to the internet. This paper describes the problem of distributing software in a smart city when strong protection of device software, software installation and update provision are required. A set of requirements for a secure software provisioning system is presented and two models for the software distribution are proposed. Three protocols for distributing software are presented that meet the requirements stated. A formal analysis using Tamarin Prover is described that proves the security of the proposed protocols. Finally, an implementation has been developed using a laptop and Raspberry Pi 3 to demonstrate the proposed protocols in action and the performance of them.
Original languageEnglish
Title of host publicationFARES '17 Proceedings of the 12th International Workshop on Frontiers in Availability, Reliability and Security
Number of pages9
ISBN (Print)978-1-4503-5257-4
Publication statusPublished - 29 Aug 2017

Cite this