Dr. Matthew Bradbury

Matthew Bradbury is a Lecturer conducting research into security, context privacy and trust assessment in resource-constrained and distributed systems.

Projects

Evaluating Trustworthiness of Edge-Based Multi-Tenanted IoT Devices

March 2020 – March 2021

Department of Computer Science, University of Warwick

Resource-constrained IoT devices have typically been used to perform sensing and actuation, however, there is increasing interest in those devices performing decision making. However, if these tasks are computationally or memory intensive, then the IoT devices will not have insufficient resources to execute the tasks. One solution is to offload the tasks from resource-constrained IoT devices to resource-rich Edge nodes. For redundancy multiple Edge nodes should be provisioned, but this raises the question of which Edge node should be selected to perform a task. This project investigated building a middleware to perform task offloading based on a measure of behavioural trust with limited resources (e.g., 32 KiB of RAM).

A Raspberry Pi next to a Zolertia RE-Mote with both circuit boards exposed

PNT Cyber Resilience: a Lab2Live Observer Based Approach

January 2020 – March 2020

WMG, University of Warwick

Vehicular position, navigation, and timing (PNT) systems are of vital importance to current vehicles, future autonomous vehicles and infrastructure depending on time synchronisation. Existing GNSS infrastructure has limited mitigation to prevent a variety of attacks. This project performed a short feasibility study on practical attacks against a vehicle’s PNT system using a PNT attack emulator.

The orbits of GPS satellites around Earth

FAIR-SPACE

October 2018 – December 2019

WMG, University of Warwick

Access to space is becoming increasingly cheaper, meaning companies and organisations who were previously priced out of the market are now considering space-based deployments. These deployments may also include novel functionality such as debris collection. New entrants will lack the knowledge that well-established space organisations have about how to secure these systems and the new functionality will increase the ways in which these systems will be attacked. This project looked at ways in which these vulnerabilities could be identified and then formally proved to not be present.

A security-minded verification methodology showing how to fuse formal verification and threat modelling

IoT Transport and Mobility Demonstrator

August 2018 – May 2019

WMG, University of Warwick

With the vehicle-to-vehicle communications being used to facilitated new functionality, there is a need for new security mechanisms to protect this communication. Much work has already been undertaken to develop these mechanisms, but they are rarely tested in real-world environments. This project took existing security and privacy technqiues and performed a deployment at three sites in the UK to test their efficacy.

An On-Board Unit of a vehicle is on the dashboard during testing while driving on a high-speed bowl emulating a motorway

CAPRI

April 2018 – September 2018

WMG, University of Warwick

As connected and autonomous vehicles are expected to become commonplace on roads nationwide, new featured are being integrated into vehicles. This includes functionality such as vehicle-to-vehicle communication and machine learning models. It is important that we investigate and address security issues posed by the larger attack surface before a wide deployment. This project designed a reference architecture which facilitated attack surface analysis of connected autonomous vehicles.

A reference architecture for connected and autonomous vehicles

Source Location Privacy for Wireless Sensor Networks

September 2014 – April 2018

Department of Computer Science, University of Warwick

Wireless sensor networks are useful for monitoring events over large areas for example, tracking the location of endangered species. However, by deploying this network to obtain data for conservation, it also reveals context information to an adversary about where the animals are. My PhD involved developing routing algorithms to delay an adversary in their attempt to locate the source of messages in such a network.

A directional antenna connected to a laptop showing signals from a transmitter next to a toy panda