The University of Manchester

Description

The University of Manchester, a charitable body incorporated by Royal Charter, is a centre of teaching excellence, world-class research, outstanding student experience.

Founded in 1824 for the advancement of education, we’ve since been home to 26 Nobel Prize winners and worked across disciplinary and geographic boundaries to give the world new ideas, discoveries and innovations.

CHERI Activities

We participated in three DSbD projects using the Morello infrastructure.

The “”Soteria”” project investigated, prototyped and performed an evaluation that demonstrated the security capabilities of the Arm-developed Morello system in the e-commerce vertical industrial segment. A modified minimum viable product version of THG’s Ingenuity e-commerce platform was demonstrated to run on a JVM that was modified to support CHERI spatial memory safety on a Morello system.

The “”MOJO”” project was built on the foundations provided by Soteria to deliver more advanced JIT compilation and modern garbage collection algorithms. MOJO also supports guest execution of non-Java programs such as JavaScript, WebAssembly and Python using a JVM adapted to exploit CHERI spatial memory safety.

The “”MoatE”” project used the Morello capabilities hardware to create a commercial demonstrator for secure edge computing, with the aim of a more secure software ecosystem for such systems. The UoM covered two main branches of activity during the MoatE project in order to help achieve this. 1) The provision of capability-aware, secure networking tools for Morello Linux for use in the commercial demonstrator. 2) Porting of a dynamic binary modification tool (MAMBO) to Morello, in order to enable debugging, program analysis and the development of future security tools using C64 hardware.

Open-source Assets for CHERI

We have a range of assets from Soteria and MOJO related to OpenJDK and MoatE OS assets that we are currently packaging. We are likely to put them in the beehive public repositories in git.