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

Confirmed speakers:

  • Andrei Lascu: Software Compartmentalisation for Hybrid CHERI
  • CAP-TEE project: Transparent memory encryption with capabilities
  • Carl Shaw: Codasip CHERI Linux and CHERI software ecosystem
  • HDSec project update
  • Jeremy Singer: Securing Scripting with CHERIoT MicroPython
  • Robert Watson: Recently developed features in CheriBSD, including enhancements to library compartmentalisation and early support for kernel compartmentalisation
  • Zahra Tarkhani: “Morello-CHERI work at Microsoft”
  • Zhuo Ying Jiang Li: “Toolbox for offensive research in CHERI”

Travel

View Larger Map

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.