News & Events

19-21 September 2023

We presented our seL4 on CHERI Morello project at the 2023 seL4 Summit . You can see the talk details, and access the slides and video of our presentation here.

1 May 2023

We are starting a research contract with Dstl as part of the DASA CHERI within Defence and Security Programme. We are continuing the porting of the seL4® Microkernel to the Cheri-enabled ARM Morello board for the implementation of security and safety critical applications,

05 December 2022

We are proud to be part of the TAP (Technology Access Programme) with Digital Catapult under the DSbD (Digital Safety by Design) initiative. We are developing an integrated hardware/software environment for the implementation of security and safety critical applications, by porting the seL4® Microkernel to the Cheri-enabled ARM Morello board.

01 November 2022

We are happy to announce that we were successful in Innovate UK's Fast Start competition, and are proud that our project "Risk Assessment for Data related Hazards in Healthcare Equipment and Infrastructure", is part of the Manufacturing in Healthcare challenge. We will be developing and testing our Data Safety Demonstrator Tool in the healthcare industry, and making adaptions to specifically support this domain.

01 July 2019

We have received a grant from the Lloyds Register Foundation to support the first phase of our project to create tooling for Data Safety Assurance.