Search Results for "software compartmentalistion"

Found 2 presentations matching your search

CHERI-seL4: Enhancing seL4’s C/C++ userspace memory safety using CHERI

CHERI-seL4: Enhancing seL4’s C/C++ userspace memory safety using CHERI

seL4 currently provides, formally verified, memory safety guarantees in the kernel and isolation gua...

25 slides 43
Technology
HeshamALMatary
Software Security OS Porting to CHERI - A Secure By Design Approach

Software Security OS Porting to CHERI - A Secure By Design Approach

CHERI is a hardware-software capability-based security architecture that offers memory safety and sc...

31 slides 82
Technology
HeshamALMatary