Towards a reference QEMU for CHERI platform emulation

CHERI Alliance Working Groups logo

Alfredo Mazzinghi – Capabilities Limited QEMU is one of the most popular open source machine emulators (https://www.qemu.org), with support for many CPU architectures, including x86_64, Arm and RISC-V. The QEMU emulator is critical for systems research and development: it makes it possible to quickly prototype, debug and analyse architectural extensions and OS implementations without the […]

Streamlining the CHERI Ecosystem: An Update from the Repository Management Working Group

CHERI Alliance Working Groups logo

Dr Marno van der Maas – CHERI Alliance The CHERI Alliance is dedicated to advancing the state-of-the-art in capability-based security. As our collaborative efforts and technical output grow, so does the need for a standardised, clear, and efficient way to manage that output. This is why the Repository Management Working Group was established: to systematically […]

Behind the Scenes: inside the promotion and ambassador program Working Group

CHERI Alliance Working Groups logo

Mike Eftimakis – CHERI Alliance If you’ve been watching the CHERI Alliance gather momentum, you’ve probably noticed a growing wave of community activity—talks, demos, explainers, and friendly faces spreading the word about capability-based security. A lot of that energy is coordinated by the Promotion & Ambassador Program Working Group (WG). Here’s a clear look at what the […]

CHERI-seL4 and CHERI-Microkit Released

The software release roadmap for CHERI-seL4

Hesham Almatary – Capabilities Limited We are happy to release a prototype of CHERI-seL4, an experimental version of the seL4 microkernel with CHERI support. This comes with CHERI-Microkit, a lightweight userspace framework, and a set of exercises and tutorials designed to help developers explore CHERI’s potential in a real microkernel environment. The release is aimed […]

Working Group Spotlight – Marketing

CHERI logo

Join the CHERI Alliance – Collaborate, Communicate, Be Seen CHERI is reshaping how we think about secure technology. At the heart of this effort is the CHERI Alliance, a growing community committed to secure by design innovation. By joining us, you gain not just insight and influence but support in making your work more visible, […]