CHERITech'24
CHERITech'24 took place on Tuesday 23rd April 2024 at the Department of Computer Science
and Technology, University of Cambridge. There were around 140 attendees who participated
in the talks and poster sessions. We thank the speakers and attendees for their engagement
with this event, which made it very lively.
Posters
In this gallery, you can find the posters presented at CHERITech'24.
Past CHERITech Events
In 2022, the first edition of CHERITech was born and CHERITech'22 was held in London.
In the year after, CHERITech'23 was hosted in Glasgow.
Future CHERITech Events
CHERITech24++ is to be held at University of Birmingham.
Programme
Time |
Topic |
Speaker |
Slides |
Video |
09:00 - 09:30 |
Arrival |
|
|
|
09:30 - 11:00 |
Session 1: Industry Applications, Chair: Robert N. M. Watson |
|
|
|
09:30 - 09:40 |
Welcome, introduction, and brief update |
Robert N. M. Watson |
 |
 |
09:40 - 10:10 |
CHERI-RISC-V standardisation |
Tariq Kurd |
 |
 |
10:10 - 10:35 |
AutoCHERI |
Hardeep Chahal |
 |
 |
10:35 - 11:00 |
RESAuto |
Peter Davies |
 |
 |
11:00 - 11:30 |
Coffee break |
|
|
|
11:30 - 12:30 |
Session 2: Compartmentalisation, Chair: Franz A. Fuchs |
|
|
|
11:30 - 11:50 |
CHERI Zephyr |
Jennifer Jackson & Minmin Jiang |
 |
 |
11:50 - 12:10 |
Using library compartmentalisation in user-space |
Nick Connolly |
 |
 |
12:10 - 12:30 |
FlexCAP |
Pierre Oliver |
 |
 |
12:30 - 14:00 |
Lunch break |
|
|
|
14:00 - 15:40 |
Session 3: Bringing CHERI to the next level, Chair: Peter Sewell |
|
|
|
14:00 - 14:25 |
Ada on CHERI |
Daniel King |
 |
 |
14:25 - 14:50 |
CAPCelerate |
Matt Naylor |
 |
|
14:50 - 15:15 |
Rust for CHERI |
Sarah Harris |
 |
 |
15:15 - 15:40 |
Formal Verification of CHERI processors |
Tom Melham |
 |
 |
15:40 - 16:15 |
Coffee break |
|
|
|
16:15 - 17:30 |
Session 4: Ecosystem, Chair: Simon W. Moore |
|
|
|
16:15 - 16:35 |
Capable VMs |
Jeremy Singer |
 |
 |
16:35 - 16:55 |
Protecting supply chains with CHERI |
David Chisnall |
 |
 |
16:55 - 17:15 |
Chromium and V8 on Morello |
Graeme Jenkinson |
 |
 |
17:15 - 17:30 |
Morello Linux Project |
Vincenzo Frascino |
 |
 |
Please feel free to contact us under the following email addresses:
Simon Moore: simon.moore@cl.cam.ac.uk
Franz Fuchs: franz.fuchs@cl.cam.ac.uk