Current Projects

We work on projects of all sizes, typically connected to the CHERI ecosystem. Some are listed below.

​

DSbD Desktop Project - UKRI Digital Security by Design

​

CHERI Web Services

​

CHERI-seL4: Enhancing seL4’s C/C++ memory-safety and software compartmentalisation using CHERI

​

CHERI CVA6