View all research projects
Research project

Holistic Design of Secure Systems on Capability Hardware

Project overview

HD-Sec is funded by the Digital Security by Design (DSbD) Programme delivered by UKRI to support the DSbD ecosystem. DSbD means incorporating the treatment of cybersecurity threats, and protection against those threats, into the easiest stages of system design, so that security is a fundamental design goal rather than an afterthought. The UK Industrial Strategy Challenge Fund (ISCF) challenge on Digital Security by Design has a mission to increase the protection of IT systems against various class of software vulnerabilities, underpinned by additional hardware protection capabilities (so-called capability hardware). Our project will address engineering challenges in establishing and formally verifying the relationship between application-level security requirements and secure software implementations running on capability hardware. Our proposal is addressing Objective 1: Capability enabled hardware proof and software verification of the EPSRC/ISCF Digital Security by Design call.

Staff

Lead researchers

Professor Michael Butler

Dean of Engineering and Physical Science
Connect with Michael

Email: M.J.Butler@soton.ac.uk

Other researchers

Dr Leonardo Aniello

Associate Professor
Research interests
  • Blockchain-based Systems
  • Distributed Systems
  • Machine Learning applied to Cyber Security
Connect with Leonardo

Email: L.Aniello@soton.ac.uk

Professor vladi Sassone PhD FBCS MAE

Roke/RAEng Research Chair in Cyber Secur
Connect with vladi

Email: vsassone@soton.ac.uk

Dr Son Hoang

Associate Professor
Research interests
  • Formal System Development
  • Program Semantics
  • Autonomous Systems
Connect with Son

Email: T.S.Hoang@soton.ac.uk

Collaborating research institutes, centres and groups

Research outputs

Designing exception handling using Event-B
Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Robert Thorburn, Michael Butler, Leonardo Aniello & Vladimiro Sassone, 2024
Type: conference
Systematic hierarchical analysis of requirements for critical systems
Asieh Salehi Fathabadi, Colin Snook, Dana Dghaym, Son Hoang, Fahad Alotaibi & Michael Butler, 2024, Innovations in Systems and Software Engineering
DOI: 10.1007/s11334-024-00551-8
Type: article
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design
Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael Butler, Dana Dghaym & Son Hoang, 2022
Type: conference
The CamilleX Framework for the Rodin Platform
Thai Son Hoang, Colin Snook, Dana Dghaym, Asieh Salehi Fathabadi & Michael Butler, 2021
DOI: 10.1007/978-3-030-77543-8_11
Type: conference
Verifying System-level Security of a Smart Ballot Box
Dana Dghaym, Thai Son Hoang, Michael Butler, Runshan Hu, Leonardo Aniello & Vladimiro Sassone, 2021
Type: conference