Cybersecurity researchers from our university have been awarded over 拢1.2M to help the tech infrastructure of UK organisations and digital devices to be more resilient to cyber attacks.
Led by Principal Investigator, Professor Michael Butler, the Holistic Design of Secure Systems on Capability Hardware (HD-Sec) project will receive funding as part of a 拢10M investment in nine projects by the UK government through its 鈥楧igital Security by Design鈥� programme announced by Digital Secretary, Oliver Dowden. The funding is managed by the Engineering and Physical Sciences Research Council (EPSRC).
Southampton鈥檚 HD-Sec solution aims to create formal methods to guide software design which will speed up the process and reduce errors and security vulnerabilities that could have been exploited by hackers. The University鈥檚 research will be guided and validated by a range of security-critical industrial case studies with support from industrial partners Airbus, Arm, Altran, AWE, Galois, L3Harris, Northrop Grumman and Thales.
鈥淥ur vision is the transformation of security system development from an error-prone, iterative build-test-fix approach to a correctness-by-construction approach whereby formal methods guide the design of software in such a way that it satisfies its specification by construction,鈥� Professor Butler explains. 鈥淭he impact of this will be to reduce overall development costs, while increasing trustworthiness, of security-critical systems.鈥�
Prof Butler is joined on the HD-Sec project by Electronics and Computer Science colleagues Professor Vladimiro Sassone, Dr Thai Son Hoang, Dr Leonardo Aniello and Dr Dana Dghaym.
Read our full story here.
