CHERI Courses

CHERI and CHERI-RISC-V, by Simon Moore, University of Cambridge
TheIACR via YouTube

HashTag - Hash-based Integrity Protection for Tagged Architectures
USENIX via YouTube

Sonata: Low-Cost CHERI Hardware for Embedded Systems
OpenUK via YouTube

The State of Morello and CHERI
ACM SIGPLAN via YouTube

CHERI Static Analysis - POCL'24
ACM SIGPLAN via YouTube

Secure Calling Conventions for CHERI Capability Machines in Practice - Work in Progress
ACM SIGPLAN via YouTube

Static Analysis for CHERI - SOAP 2024
ACM SIGPLAN via YouTube

CHERI C Semantics
ACM SIGPLAN via YouTube

The Morello ISA Semantics, Proof, and Test Generation
ACM SIGPLAN via YouTube

Sealed with a Library Call: Memory Allocators Should Track Capability Seal Operations - POCL'24
ACM SIGPLAN via YouTube