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.

Programme

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 [Slides]	Vasily Sartakov
	Towards a Safe, High-Performance Heap Allocator: Lessons from CHERIfying snmalloc [Slides]	David Chisnall
11:30 -- 12:00	Break
12:00 -- 13:00	Keynote talk: Capabilities and Information Flow [Slides]	David Clark
13:00 -- 14:15	Lunch
14:15 -- 15:15	Bringing Rust support to Morello [Slides]	Simon Cooksey
	Compartments and other aspects of Morello software work [Slides]	Yury Khrustalev
15:15 -- 16:00	Afternoon break with refreshments
16:00 -- 17:30	CHERI and Trusted Execution Environments [Slides]	Jennifer Jackson
	Data Compartmentalization for Hybrid CHERI [Slides]	Andrei Lascu
	Porting C/C++ software to Morello [Slides]	Alex Richardson
17:30 -- 18:00	Closing Statements

Travel

View Larger Map

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).