CHERITech 22 (#cheritech22)
CHERI Technical Workshop 2022

Tue Sep 6th 2022 10:00 - 18:00
King's College London, Edmond J. Safra Lecture Theatre, King's Building, Strand Campus

The UKRI Digital Security by Design (DSbD) government-led programme is working to create an ecosystem around the adoption of CHERI concepts to significantly increase the protection of next-generation products and services from cyber-attack. #cheritech22 is a workshop providing a venue for technical discussion around CHERI infrastructure of all kinds, including hardware, software, verification, and others. The focus is to bring together people working on or interested in CHERI technology, and to share existing work and future ideas to develop the CHERI ecosystem. Attendance is free and lunch and refreshments are provided.

Registration is now closed

On this page you can find a programme, directions for travel, availability of wifi access for attendees, and information about our sponsors and organisers.


Time Session Speaker
10:00 -- 10:30 Arrival and coffee
10:30 -- 10:35 Welcome
10:35 -- 11:30 Intravisor: type-3 hypervisor for capability-based virtual machines
Vasily Sartakov
Towards a Safe, High-Performance Heap Allocator: Lessons from CHERIfying snmalloc
David Chisnall
11:30 -- 12:00 Break
12:00 -- 13:00 Keynote talk: Capabilities and Information Flow
David Clark
13:00 -- 14:15 Lunch
14:15 -- 15:15 Bringing Rust support to Morello
Simon Cooksey
Compartments and other aspects of Morello software work
Yury Khrustalev
15:15 -- 16:00 Afternoon break with refreshments
16:00 -- 17:30 CHERI and Trusted Execution Environments
Jennifer Jackson
Data Compartmentalization for Hybrid CHERI
Andrei Lascu
Porting C/C++ software to Morello
Alex Richardson
17:30 -- 18:00 Closing Statements


CHERITech22 will be held in the Edmond J. Safra Lecture Theatre. For travel planning, we recommend using Citymapper (either the website or mobile app) with a destination postcode of WC2R 2LS.

King's has several buildings in the vicinity of Aldwych: please go to the main reception, which is located in the Strand Building on the South side of the Strand, a couple of doors down from Somerset House (building B in this map). You will be given your guest pass and registration badge at reception. The way to the Saffra lecture theatre, in the adjoining King's Building, will be marked on the day. Food and drinks are served in the Great Hall, a few doors near the lecture theatre.

WiFi access at King's

CHERITech22 attendees from UK academic institutions can use their Eduroam account during the event (SSID: eduroam). Visitors without an Eduroam account may use the free Cloud service (SSID: The Cloud).


#cheritech22 is free to attend, thanks to the support of UK Research Institute in Secure Hardware and Embedded Systems (RISE).


If you have any questions at all about CHERITech22, please don't hesitate to contact us:

Organisers: Andrei LascuLaurence Tratt