The University of Birmingham and CARDIS banner

Fall school


The slides for part 1 and part 2 of the workshop are available.

The CHERI tutorial will be an interactive tutorial requiring participants to download a prepared VM containing a CHERI-RISCV build environment. Whilst the VM will be available in a compact format, please allow a minimum of 20GB hardisk space. It is recommended that virtualisation software for the VM be installed prior to the event such as the latest version of Oracle VirtualBox, which is available for a variety of platforms, or UTM for MACs.

You can now download the VM for VirtualBox (5.8 GB) and UTM (11 GB). If you want to effectively participate in the workshop, it's best to grab them before, as the download on the day may take too much time. The installation instruction are also available.

What's CHERI?

CHERI is about redesigning the underlying computer hardware architecture to provide security by design, with the aim of protecting against common memory vulnerabilities introduced by non memory-safe languages such as C and C++. CHERI stands for Capability Hardware Enhanced RISC Instructions and extends conventional processor Instruction-Set Architectures (ISAs) with capabilities. Capabilities are a powerful and flexible security mechanism for implementing fine-grained memory access control and for compartmentalising untrusted software components. CHERI has been incorporated into MIPS and RISC-V alongside an ongoing development of supporting software and build chain tools, but has gained significant momentum recently with the introduction of ARM's experimental Morello hardware platform.

Agenda: Part 1 (before lunch)

Agenda: Part 2 (after lunch)

Program: Monday, November 7 (Fall School)

Room: The Writers' Suite

Registration & coffee
Welcome and workshop on the CHERI security features and the ARM Morello prototype implementation (part 1)
Jennifer Jackson, Matthew Bowden, Jacqui Henes​, David Oswald
Edgbaston Park Hotel Restaurant
Workshop on CHERI (part 2)
Jennifer Jackson, Matthew Bowden, Jacqui Henes​, David Oswald
Coffee break
Industry talk: Licel (chair: David Oswald)
Campus tour from venue to Computer Science building
Poster Session and reception with drinks and fingerfood


The organisers are supported by the Engineering and Physical Sciences Research Council (EPSRC) under grants EP/R012598/1, EP/S030867/1, EP/V000454/1. Part of the fall school will cover DsbDtech aka ARM Morello and CHERI.