CHERITech22 (#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.

Register here

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 Towards a Safe, High-Performance Heap Allocator: Lessons from CHERIfying snmalloc Nathaniel Wes Filardo
Intravisor: type-3 hypervisor for capability-based virtual machines Vasily Sartakov
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

Travel


CHERITech22 will be held in the Edmond J. Safra Lecture Theatre, King's Building, King's College London Strand Campus, WC2R 2LS. For travel planning, we recommend using Citymapper (either the website or mobile app) with a destination postcode of WC2R 2LS. Attendees must pass by reception to receive their guest passes. The way to the lecture theatre 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).

Sponsorship

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

Organisation

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

Organisers: Andrei LascuLaurence Tratt
Email: info@soft-dev.org