CHERITech 23 (#cheritech23)
CHERI Technical Workshop 2023

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.

Programme

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 [slides]	Simon Moore
11:30 -- 12:00	HasTEE: Confidential Computing on Trusted Execution Environments with Haskell [slides]	Abhiroop Sarkar
12:00 -- 12:30	Le Temps des Cerises: Efficient stack safety using uninitialized and directed capabilities [slides]	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 [slides]	Franz Fuchs
14:30 -- 15:00	OpenJDK Port for Morello: Status Update [slides]	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 [slides]	Robert Norton-Wright
16:00 -- 16:30	Flexcap: Compartmentalisation on unikernels with hybrid capabilities [slides]	John Kressel
16:30 -- 16:35	Closing Statement

Travel

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.

View Larger Map

WiFi access at 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).

Sponsorship

#cheritech23 is free to attend, thanks to the support of EPSRC via the Capabilities for Coders project.

Organisation

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