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