SCorCH: Secure Code for Capability Hardware

SCorCH leveraged new advances in formal analysis tools to find security issues in code running on a new generation of security-aware hardware chips. Funded under the ISCF Digital Security by Design (DSbD) Programme, SCorCH delivered DSbD technology enabled solutions for safety-critical applications. SCorCH was a collaboration between The University of Manchester, The University of Oxford, ARM Ltd, and Amazon AWS. 

Read full details on the SCorCH website: https://scorch-project.github.io/