 |
SCorCH will leverage 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 aims to deliver DSbD technology enabled solutions for safety-critical applications. SCorCH is a collaboration between The University of Manchester, The University of Oxford, ARM Ltd, and Amazon AWS. |
About SCorCH
SCorCH is all about using formal techniques to secure a new generation of computer chips - but what does that mean?
Team
The SCorCH team includes leading academics from the Universities of Manchester and Oxford - find out more!
Open Positions
Want to get involved? We’re seeking a team of talented postdoctoral researchers to join the team.