Demonstrating Multikernel Fault Isolation

Summary

Talk by Cong Wang socallinuxexpo.org/scale/23x/presentations/introduction- Niek Timmers, Riscure B.V. Cristofaro Mune, Independent Embedded Security Consultant By Vasileios Kemerlis "Return-to-user (ret2usr) attacks redirect corrupted kernel pointers to controlled data residing in user space, ... Keep one small part of your system from taking down the entire system. Let's look at the bulkhead pattern, the various ways you ... The primary goal of this talk is Yeah so in this case if I change one to two by convention I would be writing to this file descriptor standard Riverside Research presents a seL4 prototype called SKMS: Single Kernel Multicore seL4. SKMS is a proof-of-concept ... Accompanying lecture notes: cl.cam.ac.uk/teaching/2122/ConcDisSys/dist-sys-notes.pdf Full lecture series: ...