- Format
- Conference
- Series
- CHERI Blossoms
Cultivating a Safer Digital Future - from Tech to Business
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 Presentations
-
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)
Agenda
Venue
Fisher Building, St John’s College, Cambridge, UK
Address:
- St. John’s College, St. Johns Street, Cambridge, CB2 1TP
- View map
More CHERI Blossoms events
-
Upcoming Conference
21 to 23 April 2027 University of Cambridge, Cambridge, UK
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 – ...
-
Past Tutorial
25 March 2026 University of Cambridge, Cambridge, UK
Hands-on Introduction to CHERI and CHERIoT
The CHERI Research Centre at the Computer Laboratory, Codasip, and lowRISC co-organised a comprehensive tutorial on CHERI alongside the CHERI Blossoms 2026 conference....
-
Past Conference
25 to 27 March 2026 University of Cambridge, Cambridge, UK
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...