Holistic Design of Secure Systems on Capability Hardware (HD-Sec)
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.
Developing safe exception recovery mechanisms for CHERI capability hardware using UML-B formal analysis
Mechanisms for detecting exceptional erroneous behaviour are often generic since they flag unusual use or...
Posted by
on
October 08, 2024 ·
4 mins read
ABZ 2024 Talk
HD-Sec presents (slides) the accepted paper Designing exception handling using Event-B In ABZ 2024 10th...
Posted by
on
June 26, 2024 ·
1 min read
ABZ 2024 Talk
HD-Sec presents (slides) the accepted paper An Event-B Formal Model for Access Control and Resource...
Posted by
on
June 26, 2024 ·
1 min read
NASA Journal publication
HD-Sec published the accepted journal article Systematic hierarchical analysis of requirements for critical systems in...
Posted by
on
November 24, 2022 ·
1 min read
DETECT 2022 Talk
HD-Sec presents (slides) the accepted paper Generating SPARK from Event-B, Providing Fundamental Safety and Security...
Posted by
on
November 24, 2022 ·
1 min read