Secure software systems

We focus on the engineering and design of secure and resilient software systems. We address security issues early in the design cycle through formal analysis and verification, and during operation through maintenance and system adaptation.


Cybersecurity research at Imperial is diverse. Broadly, we group the research activities into research themes that concern:

The themes are applied in a variety of contexts, from embedded sensing systems such as body area networks for healthcare, through infrastructure monitoring, unmanned autonomous systems, operating systems, middleware and large scale distributed systems architectures to web-based and cloud computing environments.