CHERI

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.

Contents

Posters
Past CHERITech Events
Programme
Contact

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.

Programme

Time	Topic	Speaker
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

Contact

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