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.
| Talk Title | Author | Organisation | Speaker, Slides & Video |
|---|---|---|---|
| Keynote | Alastair Beresford | University of Cambridge | |
| CHERI Alliance - QEMU Working Group | Alfredo Mazzinghi | Capabilities Limited | |
| Industrial-Strength Formal Verification of RISC-V Processors | Ashish Darbari | Axiomise | |
| CHERI Alliance - SoC Working Group | Ben Fletcher | Codasip | |
| Building Resilience: Enhancing productivity through Secure by Design systems | Bradley Finn | DSIT | |
| Porting Linux to CHERI | Carl Shaw | Codasip | |
| CHERIoT 2025 | David Chisnall | SCI Semiconductor | |
| Implementation of CHERI Capabilities in a Safety-Critical Real-Time Operating System for Intelligent Edge Systems | Dmitriy Yeliseyev | Wind River | |
| Porting V8 to CHERI: An Overview | Domagoj Stolfa | Capabilities Limited, University of Cambridge | |
| Project Sunburst: An Open-Source CHERIoT SoC Top-Level and its Path to Market with Iceni | Gavin Ferris | lowRISC | |
| Project Sunburst: An Open-Source CHERIoT SoC Top-Level and its Path to Market with Iceni | Haydn Povey | SCI Semiconductor | |
| CHERI Alliance - seL4 Working Group | Hesham Almatary | Capabilities Limited | |
| CHERI MicroPython: Challenges and Opportunities | Jeremy Singer | University of Glasgow | |
| Findings from DSbD program | John Goodacre | UKRI | |
| CHERI support for CVA6 | Jonathan Woodruff | Capabilities Limited | |
| Securing Secure Networking tools for Morello Linux | Joshua Lant | University of Manchester | |
| Porting Linux to CHERI | Kevin Brodsky | Arm | |
| Rust for Morello: Always-On Memory Safety, Even in Unsafe Code | Mark Batty | Kent University | |
| Efficient system-level support for CHERI Capabilities | Mark Hill | Codasip | |
| CHERI Alliance - Repository Working Group | Marno van der Maas | lowRISC | |
| Hybrid CHERI in seL4 user space | Martin Atkins | Mission Critical Applications Limited | |
| Progress of the Alliance, CHERI Alliance - Promotion & Ambassador Working Group | Mike Eftimakis | CHERI Alliance | |
| Surprise! | Mike Halsall | CHERI Alliance | |
| Implementing safe and resilient configuration management with CHERIoT | Phil Day | Configured Things | |
| Latest news about CHERI | Robert Watson | CHERI Alliance | |
| About CHERI | Simon Moore | University of Cambridge | |
| CHERI RISC-V Standardisation | Tariq Kurd | Codasip | |
| CHERI Alliance - Marketing Working Group | Tora Fridholm | Codasip |
St. John’s College, St. Johns Street, Cambridge, CB2 1TP
