Open menu
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 researcher

Professor Michael Butler

Dean of Engineering and Physical Science

Connect with Michael

Other researchers

Professor vladi Sassone PhD FBCS MAE

Roke/RAEng Research Chair in Cyber Secur

Connect with vladi

Doctor Son Hoang

Lecturer in Cyber-Physical Systems

Research interests

  • Formal System Development
  • Program Semantics

Connect with Son

Doctor Leonardo Aniello

Associate Professor

Research interests

  • Blockchain-based Systems
  • Distributed Systems

Connect with Leonardo

Collaborating research institutes, centres and groups

Cyber Physical Systems

Our research within the cyber physical systems (CPS) Group involves the exploration and development of theoretical foundations, modelling and programming languages, engineering methods, design tools and system engineering applications.

Cyber Security

We bring together expertise and excellence in the field of cyber security research and education.

Back to top