- Format
- Conference
- Series
- CHERITech
- Time
- 09:00 to 17:00 GMT
Thank you to all those who attended!
Conference Overview
CHERITech’25 brought together researchers, technologists, cybersecurity experts, and product developers for a dynamic exploration of Digital Security by Design.
Now under the stewardship of the CHERI Alliance, this year’s conference continued its role as a global hub for innovation in CHERI (Capability Hardware Enhanced RISC Instructions) technology. Attendees engaged with industry leaders, shared insights with a vibrant technical community, and explored cutting-edge implementations shaping the future of secure computing.
Recordings & Slides
CHERITech’25 Conference - Event Overview (1:52)
-
Welcome & Innovate UK Competition Results - John Goodacre | CHERITech’25 (12:25)
-
Progress of the Alliance - Mike Eftimakis | CHERITech’25 (10:27)
-
Posters Pitch - Mike Eftimakis & Mark Batty | CHERITech’25 (3:08)
-
An open-source RV64Y implementation for commercialization - Jonathan Woodruff | CHERITech’25 (10:20)
-
Announcing COSMIC - John Thomson | CHERITech’25 (15:03)
-
CHERI Performance - Carl Shaw | CHERITech’25 (17:21)
-
Sonata®: A platform for high-integrity operational technology - Marno van der Maas | CHERITech’25 (15:02)
-
BLACKOUT: Data-Oblivious Computation with Blinded Capabilities - Thomas Nyman | CHERITech’25 (15:44)
-
Progress of CHERI - Robert Watson | CHERITech’25 (20:42)
-
CHERIoT Audit - David Chisnall | CHERITech’25 (14:32)
Rigorous Hardware-Software Codesign for Secure Compartmentalization on Embedded Devices (20:15)
-
CHERI-RISC-V standardisation status - Tariq Kurd | CHERITech’25 (15:58)
-
Redesigning Thread Local Storage For CHERI - Jessica Clarke | CHERITech’25 (15:03)
-
Introducing a development Hub - Andrew Murray | CHERITech’25 (8:45)
Capability-Based Isolation for UAV Software Stacks: Porting PX4/NuttX to CHERI - Donato Ferraro (10:42)
- Failure-Oblivious CHERI - Ka Wing Li | CHERITech’25 (10:25)
Industrializing CHERI for Safety-Critical Real-Time and Virtualized Systems - Dmitriy Yeliseyev (15:00)
-
State of the Union: Which Virtual Machines can I run on CHERI? - Jeremy Singer | CHERITech’25 (14:43)
-
CHERI Demo - lowRISC | CHERITech’25 (2:25)
-
Commercial CHERI RISC-V Processors Demo - Codasip | CHERITech’25 (1:51)
-
Welcome / UKRI presentation — John Goodacre (UKRI, University of Manchester)
-
Progress of the Alliance — Mike Eftimakis (CHERI Alliance)
-
Posters pitch — Mike Eftimakis (CHERI Alliance)
-
An open-source RV64Y implementation for commercialization — Jonathan Woodruff (Capabilities Limited, University of Cambridge)
-
Announcing COSMIC — John Thomson (lowRISC)
-
CHERI Performance — Carl Shaw (Codasip)
-
Sonata®: A platform for high-integrity operational technology — Marno van der Maas (lowRISC)
-
BLACKOUT: Data-Oblivious Computation with Blinded Capabilities — Thomas Nyman (Ericsson)
-
Progress of CHERI — Robert Watson (Capabilities Limited, University of Cambridge)
-
CHERIoT Audit — David Chisnall (SCI Semiconductor)
-
Rigorous Hardware-Software Codesign for Secure Compartmentalization on Embedded Devices — Murali Vijayaraghavan (Google)
-
CHERI-RISC-V standardisation status — Tariq Kurd (Codasip)
-
Redesigning Thread Local Storage For CHERI — Jessica Clarke (University of Cambridge)
-
Introducing a development Hub — Andrew Murray (The Good Penguin)
-
Capability-Based Isolation for UAV Software Stacks: Porting PX4/NuttX to CHERI — Donato Ferraro (Minerva Systems, University of Modena and Reggio Emilia)
-
Failure-Oblivious CHERI — Ka Wing Li (University of Cambridge)
-
Industrializing CHERI for Safety-Critical Real-Time and Virtualized Systems: Capability Support in Hypervisor and VxWorks RTOS — Dmitriy Yeliseyev (Wind River)
-
State of the Union: Which Virtual Machines can I run on CHERI? — Jeremy Singer (University of Glasgow)
Exhibitors
Venue
CHERITech’25 was held in Manchester, UK at the Sister – Renold Innovation Hub.
Address
Sister – Renold Building
32a Altrincham St
Manchester
M1 7JR
Speakers
-
The Good Penguin
Andrew Murray
Andrew Murray is founder and director of The Good Penguin, a UK based consultancy with a focus and passion for embedded Linux, low level and open-source software. The ...
-
Codasip
Carl Shaw
Carl Shaw is a hands-on technical expert with a diverse background in embedded systems and security engineering. His work focuses on the intersection of hardware and s...
-
SCI Semiconductor
David Chisnall
David Chisnall has been working on CHERI since 2012, when he joined the University of Cambridge to lead the languages and compiler work on the CHERI project. He joined...
-
Wind River
Dmitriy Yeliseyev
Dmitriy is an embedded systems software architect and technical expert with over 25 years of experience. Their career began in telecommunications, developing embedded ...
-
Minerva Systems, University of Modena and Reggio Emilia
Donato Ferraro
Donato Ferraro is a Ph.D. student in Computer and Data Science for Technological and Social Innovation at the University of Modena and Reggio Emilia. He works with Min...
-
University of Glasgow
Jeremy Singer
Jeremy is a Reader in Programming Language Implementation at the University of Glasgow. He is the proud owner (or at least, custodian) of four Arm Morello boxes and tw...
-
University of Cambridge
Jessica Clarke
Jessica Clarke is a Senior Research Software Engineer at the University of Cambridge, contributing to the maintenance and development of CHERI LLVM and CheriBSD, and h...
-
UKRI
John Goodacre
Prof. John Goodacre: University of Manchester, Director Digital Security by Design: UKRIJohn is Professor of Computer Architectures at the Department of Computer Scien...
-
lowRISC
John Thomson
John works at lowRISC as a senior product manager where he advocates the company’s mission of getting open silicon source everywhere. He worked on delivery of key proj...
-
Capabilities Limited
Jonathan Woodruff
Dr Jonathan Woodruff is a Senior Research Associate with expertise in processor architecture and microarchitecture as well as low-level software optimisation. Speciali...
-
University of Cambridge
Ka Wing Li
Ka Wing Li is a PhD student from the University of Cambridge. He focuses on computer security, with backgrounds in compilers, programming languages, operating systems ...
-
lowRISC
Marno van der Maas
Dr Marno van der Maas completed a PhD at the University of Cambridge in 2022 on protecting trusted execution environments from side-channel attacks. During this time, ...
-
Ericsson
Merve Gülmez
Merve Gülmez is a researcher at Ericsson Security Research. She holds a PhD in Computer Science from KU Leuven, and her research focuses on systems security, memory sa...
-
CHERI Alliance
Mike Eftimakis
Mike Eftimakis has an extensive background in the semiconductor and electronics industry with 30 years in senior technical and business roles. He has a rich history of...
-
Google
Murali Vijayaraghavan
Murali is a formal methods and security researcher at Google.
-
CHERI Alliance, University of Cambridge
Robert Watson
Professor Robert N. M. Watson is a Professor of Systems, Security, and Architecture at the University of Cambridge’s Department of Computer Science and Technology. His...
-
Codasip
Tariq Kurd
Tariq Kurd has been involved in CPU architecture, design, and verification for over 25 years, primarily in the embedded field. He has worked on VLIW, multithreading, o...
-
Ericsson
Thomas Nyman
Thomas Nyman holds a position as Expert in Trusted Hardware & Software Technologies at the telecommunications company Ericsson where he works with software and platfor...
More CHERITech events
-
Upcoming Conference
12 to 13 November 2026 SEMICON Europa, Munich, Germany
CHERITech'26
CHERITech’26 will take place in Munich alongside Electronica / SEMICON Europa, one of the world’s largest electronics industry events!Hosted at the heart of the exhibi...
-
Past Online event
4 December 2025 Online
CHERITech'25 Reloaded
CHERITech’25 Reloaded took place online on 4th December 2025. Participants joined us for live Q&A sessions with speakers from the main CHERITech’25 conference and revi...