Cultivating a Safer Digital Future - from Tech to Business
Date: 2nd April 2025
The CHERI Blossoms Conference 2025 invited researchers, technologists, industry leaders, and business strategists to contribute to the advancement of digital security by design. This premier event focused on CHERI (Capability Hardware Enhanced RISC Instructions) technology and its transformative role in building resilient systems. As a newly merged event incorporating the CHERI Tech Conference, we brought together the brightest minds in technology and business to explore the latest innovations, implementations, and strategic applications of secure computing.
Conference Overview
Conference Presentations
| Talk Title | Author | Organisation | Speaker, Slides & Video |
|---|---|---|---|
| Keynote | Alastair Beresford | University of Cambridge | Speaker, Slides & Video |
| CHERI Alliance - QEMU Working Group | Alfredo Mazzinghi | Capabilities Limited | Speaker, Slides & Video |
| Industrial-Strength Formal Verification of RISC-V Processors | Ashish Darbari | Axiomise | Speaker, Slides & Video |
| CHERI Alliance - SoC Working Group | Ben Fletcher | Codasip | Speaker, Slides & Video |
| Building Resilience: Enhancing productivity through Secure by Design systems | Bradley Finn | DSIT | Speaker, Slides & Video |
| Porting Linux to CHERI | Carl Shaw | Codasip | Speaker, Slides & Video |
| CHERIoT 2025 | David Chisnall | SCI Semiconductor | Speaker, Slides & Video |
| Implementation of CHERI Capabilities in a Safety-Critical Real-Time Operating System for Intelligent Edge Systems | Dmitriy Yeliseyev | Wind River | Speaker, Slides & Video |
| Porting V8 to CHERI: An Overview | Domagoj Stolfa | Capabilities Limited, University of Cambridge | Speaker, Slides & Video |
| Project Sunburst: An Open-Source CHERIoT SoC Top-Level and its Path to Market with Iceni | Gavin Ferris | lowRISC | Speaker, Slides & Video |
| Project Sunburst: An Open-Source CHERIoT SoC Top-Level and its Path to Market with Iceni | Haydn Povey | SCI Semiconductor | Speaker, Slides & Video |
| CHERI Alliance - seL4 Working Group | Hesham Almatary | Capabilities Limited | Speaker, Slides & Video |
| CHERI MicroPython: Challenges and Opportunities | Jeremy Singer | University of Glasgow | Speaker, Slides & Video |
| Findings from DSbD program | John Goodacre | UKRI | Speaker, Slides & Video |
| CHERI support for CVA6 | Jonathan Woodruff | Capabilities Limited | Speaker, Slides & Video |
| Securing Secure Networking tools for Morello Linux | Joshua Lant | University of Manchester | Speaker, Slides & Video |
| Porting Linux to CHERI | Kevin Brodsky | Arm | Speaker, Slides & Video |
| Rust for Morello: Always-On Memory Safety, Even in Unsafe Code | Mark Batty | Kent University | Speaker, Slides & Video |
| Efficient system-level support for CHERI Capabilities | Mark Hill | Codasip | Speaker, Slides & Video |
| CHERI Alliance - Repository Working Group | Marno van der Maas | lowRISC | Speaker, Slides & Video |
| Hybrid CHERI in seL4 user space | Martin Atkins | Mission Critical Applications Limited | Speaker, Slides & Video |
| Progress of the Alliance, CHERI Alliance - Promotion & Ambassador Working Group |
Mike Eftimakis | CHERI Alliance | Speaker, Slides & Video |
| Surprise! | Mike Halsall | CHERI Alliance | Speaker, Slides & Video |
| Implementing safe and resilient configuration management with CHERIoT | Phil Day | Configured Things | Speaker, Slides & Video |
| Latest news about CHERI | Robert Watson | CHERI Alliance | Speaker, Slides & Video |
| About CHERI | Simon Moore | University of Cambridge | Speaker, Slides & Video |
| CHERI RISC-V Standardisation | Tariq Kurd | Codasip | Speaker, Slides & Video |
| CHERI Alliance - Marketing Working Group | Tora Fridholm | Codasip | Speaker, Slides & Video |
Agenda
Venue
Fisher Building, St John’s College, Cambridge, UK
Address:
St. John’s College, St. Johns Street, Cambridge, CB2 1TP
More CHERI Blossoms events
CHERI Blossoms Conference 2027
CHERI Blossoms Conference 2027 Pre-conference Tutorial: 21 April 2027 Main Conference Date: 22-23 April 2027 Location: Department of Computer Science and Technology – ...
View event
CHERI Blossoms Conference 2026 Livestream
The CHERI Blossoms 2026 livestream gave participants access to watch keynotes and sessions live from anywhere in the world, as well as take part in live Q&A with speak...
View event archive
CHERI Blossoms Conference 2026
The CHERI Blossoms Conference 2026 was the must-attend event for forward-thinking decision-makers and innovators! This exclusive gathering was tailored for industry le...
View event archive