Secure and Resilient Systems
Designing, developing and evaluating computing systems that can withstand cyber threats, operational failures and unexpected disruptions.
Research group focus
Our collaborative research mainly focusses on two intertwined themes: secure computing and resilient computing. In secure computing, we develop innovative and provable methods to protect the privacy, confidentiality and integrity of data and computations hosted in systems connected by networks. In resilient computing, we design and evaluate systems capable of operating reliably despite adverse run-time conditions and inevitable failures. Our research exploits and advances state-of-the-art principles of cybersecurity, applied cryptography, fault- and attack-tolerance, software engineering, control theory and formal methods and proofs.
- Evidence-based security
- Applied and post-quantum cryptography
- Safety and security assurance
- Crash and malicious fault tolerance
- System and network security
- Trustworthy and accountable AI
- Privacy-enhancing technologies and digital identity
- Formal methods for security and resilience
- Human-centred security
- Security and resilience of cyber-physical systems
Research impact
We act as technical consultants for a world-leading graph database company, building resilient distributed graph databases. Over the past seven years, our members published more than 15 refereed papers on resilient computing and performance assurances, and an industrial patent is pending.
Group members engage with industry, public-sector organisations and the wider cybersecurity community through knowledge-exchange activities, professional training, workshops and outreach events. Recent activities include industry-focused cybersecurity training and engagement programmes supported through Innovate UK Cyber Local, plus the organisation of workshops on quantum-safe cryptography and emerging cybersecurity technologies.