Provisioning Software with Hardware-Software Binding

Robert P Lee, Konstantinos Markantonakis, Raja Akram

Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution

1 Citation (Scopus)


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 publicationARES '17: Proceedings of the 12th International Conference on Availability, Reliability and Security
Number of pages9
ISBN (Print)978-1-4503-5257-4
Publication statusPublished - 29 Aug 2017


Dive into the research topics of 'Provisioning Software with Hardware-Software Binding'. Together they form a unique fingerprint.

Cite this