CHERITech'25 Conference

Date: 14th November 2025

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.

Watch video

Recordings & Slides

Talk Title	Author	Organisation	Speaker, Slides & Video
Welcome / UKRI presentation	John Goodacre	UKRI, University of Manchester	Speaker, Slides & Video
Progress of the Alliance	Mike Eftimakis	CHERI Alliance	Speaker, Slides & Video
Posters pitch	Mike Eftimakis	CHERI Alliance	Speaker, Slides & Video
An open-source RV64Y implementation for commercialization	Jonathan Woodruff	Capabilities Limited, University of Cambridge	Speaker, Slides & Video
Announcing COSMIC	John Thomson	lowRISC	Speaker, Slides & Video
CHERI Performance	Carl Shaw	Codasip	Speaker, Slides & Video
Sonata®: A platform for high-integrity operational technology	Marno van der Maas	lowRISC	Speaker, Slides & Video
BLACKOUT: Data-Oblivious Computation with Blinded Capabilities	Thomas Nyman	Ericsson	Speaker, Slides & Video
Progress of CHERI	Robert Watson	Capabilities Limited, University of Cambridge	Speaker, Slides & Video
CHERIoT Audit	David Chisnall	SCI Semiconductor	Speaker, Slides & Video
Rigorous Hardware-Software Codesign for Secure Compartmentalization on Embedded Devices	Murali Vijayaraghavan	Google	Speaker, Slides & Video
CHERI-RISC-V standardisation status	Tariq Kurd	Codasip	Speaker, Slides & Video
Redesigning Thread Local Storage For CHERI	Jessica Clarke	University of Cambridge	Speaker, Slides & Video
Introducing a development Hub	Andrew Murray	The Good Penguin	Speaker, Slides & Video
Capability-Based Isolation for UAV Software Stacks: Porting PX4/NuttX to CHERI	Donato Ferraro	Minerva Systems, University of Modena and Reggio Emilia	Speaker, Slides & Video
Failure-Oblivious CHERI	Ka Wing Li	University of Cambridge	Speaker, Slides & Video
Industrializing CHERI for Safety-Critical Real-Time and Virtualized Systems: Capability Support in Hypervisor and VxWorks RTOS	Dmitriy Yeliseyev	Wind River	Speaker, Slides & Video
State of the Union: Which Virtual Machines can I run on CHERI?	Jeremy Singer	University of Glasgow	Speaker, Slides & Video

Exhibitors

CHERI logo

Venue

CHERITech’25 was held in Manchester, UK at the Sister – Renold Innovation Hub.

Address

Sister – Renold Building

32a Altrincham St

Manchester

M1 7JR

View map

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 ...

View speaker

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...

View speaker

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...

View speaker

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 ...

View speaker

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...

View speaker

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...

View speaker

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...

View speaker

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...

View speaker

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...

View speaker

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...

View speaker

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 ...

View speaker

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, ...

View speaker

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...

View speaker

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...

View speaker

Google

Murali Vijayaraghavan

Murali is a formal methods and security researcher at Google.

View speaker

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...

View speaker

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...

View speaker

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...

View speaker

Conference Overview

Recordings & Slides

Exhibitors

Venue

Address

Speakers

More CHERITech events