HotOS 2011 LiveBlog Day 3

Posted by & filed under Uncategorized.

What If You Could Actually Trust Your Kernel? seL4 is our new toy: it’s formally verified. It’s guaranteed not to crash or suffer from security holes. (As long as you can trust the compiler.) Hypervisors are really very large and full of bugs. We could use this for isolating web browser processes as in IBOS… Read more »