Southampton's HD-Sec solution aims to create formal methods to guide software design which will speed up the process and reduce errors and security vulnrabilities that could have been exploited by hackers.

Holistic Design of Secure Systems on Capability Hardware (HD-Sec)

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.