Security, Safety and Resilience

Safe, Reliable and Robust Sensor Networks

Sensors are becoming ever more commonplace in all kinds of devices around us and in our everyday lives, sensors themselves and the environments in which they operate are very uncertain: we don’t have a unifying science to ensure that the systems and the information they provide is resilient, responsive, reliable and robust. This theme seeks to discover principles and techniques for the development and deployment of verifiable, reliable, safe sensor systems that operate in uncertain, multiple, and multi-scale environments. We ask the fundamental questions about how to design, deploy and reason about sensor-based systems. How can we keep such systems secure without overloading their already low resources? What are the techniques and tools, alongside simulations and physical sensor test beds to test for performance and resilience? And what constructs can we provide that go much further than best-effort to provide actual guarantees? This work also includes the study of self-adaptive (autonomics) and emergence in systems. Multi-tenancy sensor networks are shared sensing infrastructures that are potentially shared or owned by several stakeholders or which run several differing applications. This work examines the safety, privacy, security, and resource allocation challenges necessary for such systems. This work takes two viewpoints: practical systems optimisation to maximise resource usage and formal verification to ensure safety guarantees. This work has also included Context Aware Systems and Programming.

Failure Localisation and Diagnosis in Wireless Sensor Networks

Developing lightweight probing schemes for Wireless Sensor Networks by exploring and optimising the monitor placement problem for large-scale wireless sensor networks

read more

Sensor Systems Security

Focuses on overcoming potential conflicts in security implications caused by algorithms and protocols used in overcoming system constraints and failures in distributed networked control and actuator networks

read more

Science of Sensor Systems Software (S4)

Delivering new principles and techniques for the development and deployment of verifiable, reliable, autonomous sensor systems that operate in uncertain, multiple and multi-scale environments.

read more

Self-Adaptive, Autonomics and Emergence

Using lightweight and highly decentralised theme with highly distributed adaptivity control and autonomic function to make systems more agile and scalable in low-resourced devices.

read more

Context Aware Systems and Programming

Using distributed, agile and scalable approaches to define, implement and manage environmental context in computing systems

read more

Decentralised Edge-Compute and Multi-Tenancy

Using highly-decentralised, lightweight techniques to maximise the highly heterogeneous computational mix of devices

read more

Secret Key Generation from Wireless Channel Randomness

Secret keys are generated with physical layer security (PLS) schemes using the randomness of the channel parameters.

read more