4–6 February 2025
We ran a workshop on data safety and demonstrated our prototype RADISH tool at the SCSC Safety-Critical Systems Symposium SSS'25.
October 2024
We thank Innovate UK for the opportunity to take part in the Global Business Innovation Programme for Future Telecoms in Delhi, and to attend India Mobile Congress 2024, where we met representatives from many major Indian and international telecoms companies.
August 2024
We were selected as one of 10 innovative UK companies for the Cyber Security Global Business Innovation Programme to Australia, run by Innovate UK Business Connect. In November 2024 we attended the Australian Cyber Conference in Melbourne and met cyber security organisations who could use CHERI to make their products secure by design.
August 2024
We were invited to join the Innovate UK Global Business Innovation Programme for Future Telecoms in Delhi, held alongside India Mobile Congress, to meet stakeholders from the global industry and start new collaborations.
13–15 February 2024
We ran a hands-on session with our prototype RADISH tool for data safety at the SCSC Safety-Critical Systems Symposium SSS'24.
19–21 September 2023
We presented our seL4 on CHERI Morello project at the 2023 seL4 Summit. The talk details, slides and video are on the summit website.
1 May 2023
We started a research contract with Dstl as part of the DASA CHERI within Defence and Security programme, continuing our port of the seL4® microkernel to the CHERI-enabled Arm Morello board.
7–9 February 2023
We presented our data safety tool during the working groups session at the SCSC Safety-Critical Systems Symposium SSS'23.
5 December 2022
We joined the Technology Access Programme with Digital Catapult, part of the Digital Security by Design initiative. We are building an integrated hardware and software environment for security- and safety-critical applications, by porting the seL4® microkernel to the CHERI-enabled Arm Morello board.
1 November 2022
We won funding in Innovate UK's Fast Start competition for our project "Risk Assessment for Data related Hazards in Healthcare Equipment and Infrastructure", part of the Manufacturing in Healthcare challenge. We will develop and test our data safety tool in the healthcare industry.
26 May 2022
Martin presented a talk on the Buncefield fire at the SCSC event "Managing Unexpected Risks: Handling Rare and Severe Events Now and in the Future".
20 January 2020
We presented at the Railway Industry Association's Unlocking Innovation: M.A.D.E. for Infrastructure event.
11–14 January 2020
We attended the SCSC Safety-Critical Systems Symposium SSS'20 and presented a poster about data safety.
14 November 2019
We presented at the SCSC event "Data Safety Evolution".
1 July 2019
We received a grant from the Lloyd's Register Foundation to support the first phase of our project to create tooling for data safety assurance.