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. #cheritech23 is a workshop providing a venue for technical discussion around CHERI infrastructure of all kinds, including hardware, software, verification, and applications. 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, with lunch and refreshments provided.
The CHERITech 23 workshop follows on from the successful CHERITech 22 event convened at King's College London last year.
Free Registration: please complete the registration form
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 | Jeremy Singer |
| 10:35 -- 11:30 | Keynote: CHERI-RISC-V: standardising an open-source CHERI-enhanced ISA | Simon Moore |
| 11:30 -- 12:00 | HasTEE: Confidential Computing on Trusted Execution Environments with Haskell | Abhiroop Sarkar |
| 12:00 -- 12:30 | Le Temps des Cerises: Efficient stack safety using uninitialized and directed capabilities | Alix Trieu |
| 12:30 -- 13:30 | Lunch | |
| 13:30 -- 14:00 | Panel Discussion | John Goodacre, Paul W2 |
| 14:00 -- 14:30 | Toward transient-execution attack mitigations on CHERI compartments | Franz Fuchs |
| 14:30 -- 15:00 | OpenJDK Port for Morello: Status Update | Andy Nisbet |
| 15:00 -- 15:30 | Coffee break | |
| 15:30 -- 16:00 | CHERIoT: Lightweight memory safety and compartmentalisation for C/C++ on cheap IoT devices | Robert Norton-Wright |
| 16:00 -- 16:30 | Flexcap: Compartmentalisation on unikernels with hybrid capabilities | John Kressel |
| 16:30 -- 16:35 | Closing Statement |
Ideally, we would encourage participants to use public transport to get to the University of Glasgow, although we recognise there may be difficulties with disruption on the West Coast main line. Thankfully the planned train strikes have been cancelled. From major railway stations in Glasgow, it is possible to catch the Subway to Hillhead station, which is a 5 minute walk away from the campus.
CHERITech 23 will be held in room 237 of the Advanced Research Centre at the University of Glasgow.
CHERITech 23 attendees from academic institutions can use their Eduroam account during the event (SSID: eduroam). Visitors without an Eduroam account may use the free UofG Visitor network (SSID: UofG Visitor).
If you have any questions at all about CHERITech 23, please don't hesitate to contact us:
| Organisers: | Jeremy Singer, Dejice Jacob |
| Email: | jeremy.singer@glasgow.ac.uk |