Capabilities for Coders

Jeremy Singer

What are CHERI capabilities and how do you use them in your code? How does the new Arm Morello system work in practice? In this series, we discuss all you wanted to know about capabilities but were afraid to ask. This is cutting-edge Computer Science, investigating next-generation microprocessors with built-in support for cybersecurity. read less
TechnologyTechnology
Start Here
S01 EP04 DSbD Beacon Awards
15-03-2024
S01 EP04 DSbD Beacon Awards
The FreeBSD Foundation announce the winners of their DSbD Beacon Awards at the CHERI all-hands meetup in the Oval cricket ground, London. We discuss the security of the FreeBSD system, the purpose of CHERI, and how much Americans know about cricket.

Episodes

S01 EP04 DSbD Beacon Awards
15-03-2024
S01 EP04 DSbD Beacon Awards
The FreeBSD Foundation announce the winners of their DSbD Beacon Awards at the CHERI all-hands meetup in the Oval cricket ground, London. We discuss the security of the FreeBSD system, the purpose of CHERI, and how much Americans know about cricket.
S01 EP03 Interview with Nuala Kilmartin
12-10-2023
S01 EP03 Interview with Nuala Kilmartin
Jeremy gets an update on the DSbD challenge with Nuala Kilmartin, UKRI lead on the project. We discuss where Morello boards have ended up, how to talk to politicians about cyber security, and whether it's better to eat deep fried Mars bar or haggis when visiting Glasgow.
S01 EP02 At CyberUK with John Goodacre
27-04-2023
S01 EP02 At CyberUK with John Goodacre
Jeremy visits the CyberUK 23 event in Belfast, to chat with Professor John Goodacre about the Digital Security by Design research programme.
S01 EP01 Introducing CHERI with Robert Watson
16-03-2023
S01 EP01 Introducing CHERI with Robert Watson
Jeremy visits Cambridge, to chat with Professor Robert Watson about capabilities and how CHERI works.