CHERITech24++
Wednesday Dec 4th 2024
University of Birmingham, Edgbaston Park Hotel, Lloyd Suite
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. CHERITech24++ 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
Registration is open! Please register here!
Programme
| 09:00 - 09:30 | Arrival (with breakfast & coffee) & welcome |
| 09:30 - 10:00 | Talk 1: Jen Jackson and Minmin Jiang: Transparent memory encryption with capabilities (CAP-TEE) |
| 10:00 - 10:30 | Talk 2: Mark Hill: Codasip Effcient system-level support for CHERI capabilities |
| 10:30 - 11:00 | Talk 3: Zhuo Ying Jiang Li: Toolbox for offensive research in CHERI |
| 11:00 - 11:30 | Coffee/Tea & networking |
| 11:30 - 12:00 | Talk 4: Simon Moore: CHERI-RISC-V standardisation |
| 12:00 - 12:30 | Talk 5: Robert Watson: Recently developed features in CheriBSD |
| 12:30 - 13:30 | Lunch & networking |
| 13:30 - 14:00 | Talk 6: Andrew Nisbet: Experiences with Porting OpenJDK to CHERI (Soteria/Mojo projects) |
| 14:00 - 14:30 | Talk 7: Jeremy Singer: Securing Scripting with CHERIoT MicroPython |
| 14:30 - 15:00 | Coffee/Tea & networking |
| 15:00 - 15:30 | Talk 8: Andrei Lascu: Software Compartmentalisation for Hybrid CHERI |
| 15:30 - 16:00 | Talk 9: Zahra Tarkhani: When VBS (Virtualization-Based Security) Meets Hardware Capabilities |
| 16:00 - 16:30 | Talk 10: Asieh Salehi Fathabadi: Safe exception handling mechanisms for CHERI using formal methods (HDSec project) |
| 16:30 | Close |
Travel
The Edgbaston Park Hotel website has travel guidance for making your way to the venue; the Lloyd suite is in the building directly opposite to the main hotel, labelled on the map above as Hornton Grange.
WiFi Access
Attendees from UK academic institutions can use their Eduroam account during the event. Additionally, the hotel provides WiFi access free of charge.
Organisation
Please don’t hesitate to contact us should you have any questions:
David Oswald (d.f.oswald@bham.ac.uk), cs-researchsupport (cs-researchsupport@contacts.bham.ac.uk)
This event is possible due to the Digital Security by Design (DSbD) programme; it is organised by the CAP-TEE group at the University of Birmingham with support from the CHERI Alliance.
