YoVDO

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

Offered By: ACM SIGPLAN via YouTube

Tags

Memory Management Courses Garbage Collection Courses CHERI Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the implications of allowing application code to perform general capability sealing in CHERI through this 17-minute conference talk. Delve into the interaction between sealed capabilities and memory allocators, examining both explicit malloc style allocators and automated garbage collection regimes. Discover how memory allocators must be aware of sealed capabilities and trace reference graphs through them to prevent runtime memory errors like space leaks or dangling pointers. Learn about a proposed augmented allocator API for tracking capability seal operations and gain insights into a prototypical implementation. Understand the potential benefits of using sealed capabilities for secure data exchange between untrusted code components through illustrative scenarios presented by Jeremy Singer at the ACM SIGPLAN event.

Syllabus

[POCL'24] Sealed with a Library Call: Memory Allocators Should Track Capability Seal Opera...


Taught by

ACM SIGPLAN

Related Courses

Heterogeneous Parallel Programming
University of Illinois at Urbana-Champaign via Coursera
Advanced Operating Systems
Georgia Institute of Technology via Udacity
計算機程式設計 (Computer Programming)
National Taiwan University via Coursera
Introduction to Operating Systems
Georgia Institute of Technology via Udacity
Android Performance
Google via Udacity