top of page

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-seL4: Enhancing seL4’s C/C++ memory-safety and software compartmentalisation using CHERI
bottom of page