CHERI C Semantics
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Explore the intricacies of CHERI C semantics in this 19-minute conference talk presented by Vadim Zaliva at ACM SIGPLAN's POCL'24 event. Delve into the fundamental concepts and unique characteristics of CHERI C, gaining valuable insights into its semantic structure and implications for programming and system design.
Syllabus
[POCL'24] CHERI C semantics
Taught by
ACM SIGPLAN
Related Courses
CHERI and CHERI-RISC-V, by Simon Moore, University of CambridgeTheIACR 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