CHERITech'25 Reloaded

An online replay and live question-and-answer programme with speakers from the main CHERITech'25 conference.

Date: 4th December 2025

Time: 09:00 to 17:45 GMT

Location: Online

Thank you to everyone who participated!

Conference Overview

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 revisited ideas, insights, and conversations. 

Participants could view the recordings at their own pace before CHERITech’25 Reloaded began.

Agenda

Start (GMT) Duration Speaker Section CHERITech’25 Talk Slides Video
09:00 00:05 Mike Eftimakis Introduction      
09:07 00:15 Mike Eftimakis Q&A 1 Progress of the Alliance Download View
09:24 00:15 Carl Shaw Q&A 1 CHERI Performance Download View
09:41 00:15 Jonathan Woodruff Q&A An open-source RV64Y implementation for commercialization Download View
09:58 00:05   Break      
10:05 00:15 John Thomson Q&A Announcing COSMIC Download View
10:22 00:15 Marno van der Maas Q&A Sonata®: A platform for high-integrity operational technology Download View
10:39 00:15 David Chisnall Q&A 1 CHERIoT Audit Download View
10:56 00:15 Tariq Kurd Q&A 1 CHERI-RISC-V standardisation status Download View
11:13 03:45   Break      
15:00 00:05 Mike Eftimakis Introduction      
15:07 00:15 Tariq Kurd Q&A 2 CHERI-RISC-V standardisation status Download View
15:24 00:15 David Chisnall Q&A 2 CHERIoT Audit Download View
15:41 00:15 Jeremy Singer Q&A State of the Union: Which Virtual Machines can I run on CHERI? Download View
15:58 00:15 Andrew Murray Q&A Introducing a development Hub Download View
16:15 00:10   Break      
16:27 00:15 Mike Eftimakis Q&A 2 Progress of the Alliance Download View
16:44 00:15 Thomas Nyman Q&A BLACKOUT: Data-Oblivious Computation with Blinded Capabilities Download View
17:01 00:15 Murali Vijayaraghavan Q&A Rigorous Hardware-Software Codesign for Secure Compartmentalization on Embedded Devices Download View
17:18 00:15 Carl Shaw Q&A 2 CHERI Performance Download View
17:33     End      

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

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

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

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

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.

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