index.md

title	layout	header	excerpt	feature_row
SCorCH	splash	overlay_color overlay_filter overlay_image image og_image #000 0.8 /assets/images/unsplash_fire.jpg /assets/images/full_logo_fb.jpg /assets/images/full_logo_fb.jpg	Formal Security Analysis Tools for Capability Hardware.	image_path alt title excerpt url btn_label btn_class /assets/images/lock.png 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? /about Read More btn--primary image_path excerpt title alt url btn_label btn_class /assets/images/team.png The SCorCH team includes leading academics from the Universities of Manchester and Oxford - find out more! Team Who are we? /team Read More btn--primary image_path title excerpt alt url btn_label btn_class /assets/images/vacant.png Open Positions Want to get involved? We're seeking a team of talented postdoctoral researchers to join the team. Positions /positions Read More btn--primary

||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.|

{% include feature_row id="intro" %}

{% include feature_row %}