CHERITech22 (#cheritech22)
CHERI Technical Workshop 2022
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.
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 Lascu, Laurence Tratt |
| Email: | info@soft-dev.org |
