News & Events
News
October 2024
We thank Innovate UK for the opportunity to participate in the
Innovate UK Global Business Innovation Programme, Future Telecoms in Delhi, India,
and for the chance to attend the
India Mobile Congress 2024,
which allowed us to meet representatives from many major Indian, and international telecoms companies.
August 2024
We are proud to have been accepted as 1 of the 10 innovative companies from the UK onto the
Cyber Security Global Business Innovation Programme,
to Australia. During the visit in November 2024, we will be attending the to
Cyber conference in Melbourne,
as well as conducting meetings with stakeholders in the cyber security sector,
who could use CHERI to enhance the security of their products by design.
August 2024
We are delighted to announce that we have been invited to participate in the
Innovate UK Global Business Innovation Programme, Future Telecoms in Delhi, India.
Organised to coincide with the
India Mobile Congress,
we will use this innovation visit as an opportunity to engage with key stakeholders from the global industry,
network with other professionals and initiate forward-focused collaboration.
13-15 February 2024
We are looking forward to attending the
SCSC Conference SSS'24
,
where we will be running a hands-on session with our prototype
Radish
tool for Data Safety.
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.
Events
13-15 February 2024
We are looking forward to attending the
SCSC Conference SSS'24
,
where we will be running a hands-on session with our prototype
Radish
tool for Data Safety.
7-9 February 2023
We attended the
SCSC Conference SSS'23
, and presented our Data Safety tool during the working groups session.
26 May 2022
Martin
presented a talk
about the
Bouncefield 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
RIAB's Unlocking Innovation M.A.D.E. for Infrastructure
event.
11-14 January 2020
We attended the
SCSC Conference SSS'20
,
and presented a poster about Data Safety.
14 November 2019
We presented at the
SCSC event "Data Safety Evolution"
.
