CHERI and CHERI-RISC-V, by Simon Moore, University of Cambridge
Offered By: TheIACR via YouTube
Course Description
Overview
Explore the CHERI (Capability Hardware Enhanced RISC Instructions) architecture and its implementation in RISC-V processors in this informative talk from TASER 2021. Delve into hardware principles, software models, and implementations of CHERI, gaining insights into how this technology enhances security and mitigates exploitation paths. Learn about the fundamental concepts and practical applications of CHERI-RISC-V as presented by Simon Moore from the University of Cambridge.
Syllabus
Introduction
Hardware Principles
Software Models
Implementations
exploitation paths
wrap up
Taught by
TheIACR
Related Courses
HashTag - Hash-based Integrity Protection for Tagged ArchitecturesUSENIX 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