Guidance
NCSC Annual Review 2021
Making the UK the safest place to live and work online
Pages
Page 32 of 44
Verified high assurance software
Achieving the levels of trust and verification required for high assurance technologies has historically relied on hardware implementations. The NCSC funded a research study at the University of Surrey (the Faithful Composition of Trust [FaCT] project) which explored how verified software components can be used to create security properties previously only achievable through dedicated hardware support. This could be a game changer for reducing cost, speeding up time to market and achieving a reduction in size for physical products.
Research institutes
The NCSC supports four UK academic Research Institutes to develop cyber security capability in strategically important areas.
- The Research Institute for Sociotechnical Cyber Security (RISCS) is hosted by University College London
- The Research Institute in Verified Trustworthy Software Systems (VeTSS) is hosted by Imperial College London
- The Research Institute in Trustworthy Interconnected Cyber-physical Systems (RITICS) is hosted by Imperial College London
- The Research Institute in Secure Hardware and Embedded Systems is hosted by Queen’s University Belfast