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

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

25 slides HeshamALMatary

Verify you're human

Please complete the verification to continue

Back to Slideshow
Download Information
  • This is the original presentation file uploaded by the author
  • File format may vary (PPT, PPTX, PDF, etc.)
  • Please respect the author's copyright and usage terms
  • Author: HeshamALMatary