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 Digitial Security by Design challenge, SCorCH is a collaboration between The University of Manchester, The University of Oxford, ARM Ltd, and Amazon AWS.

Image of Lock

About SCorCH

SCorCH is all about using formal techniques to secure a new generation of computer chips - but what does that mean?

Read More

Who are we?


The SCorCH team includes leading academics from the Universities of Manchester and Oxford - find out more!

Read More


Open Positions

Want to get involved? We’re seeking a team of talented postdoctoral researchers to join the team.

Read More