CHERI
CHERITech'24
Registration is now closed. We look forward to welcoming roughly 140 attendees to the event in Cambridge!
The CHERI Technical Workshop (CHERITech) is a forum for everyone researching and working on CHERI-related technology. CHERITech'24 will be taking place on Tuesday 23rd April 2024. This year's edition will be hosted by the University of Cambridge taking place in the William Gates Building commonly known as the Computer Lab.
Call for Posters
We encourage all participants to showcase their current work or research results on posters. You can register your interest in having a poster slot allocated through the registration link. Please let us know in a few sentences what you poster will be about such that we can group posters by subject.
Registration
Registration is now closed. We look forward to welcoming roughly 140 attendees to the event in Cambridge!
Attendance for CHERITech'24 is free of cost thanks to DSbD funding. This includes drinks and foods for coffee breaks as well for the lunch break. Please register by 9th April 2024 using this Eventbrite registration page.
Please register in time. We are afraid that we cannot accept any late registrations.
Programme
Time | Topic | Speaker |
---|---|---|
09:00 - 09:30 | Arrival and coffee | |
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 | CAP-TEE | David Oswald |
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 | Vulnerability detection | 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 | Combining CHERIoT and Morello | David Chisnall |
16:55 - 17:15 | Chromium and V8 on Morello | Graeme Jenkinson |
17:15 - 17:30 | Morello Linux Project | Vincenzo Frascino |
Directions
The William Gates Building can be reached by train. We recommend taking the Universal bus from the train station and exiting at the stop William Gates Building. A map with more detailed information on getting to the conference can be found here. We will welcome you in the entrance area of the building.
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