Security Under the BEAM - Building Trustworthy Isolation in Operating Systems

Explore the innovative concept of "Security Under the BEAM" in this keynote address from Code BEAM America 2022. Delve into how the BEAM VM's application-level isolation principles can be applied to create a secure operating system. Learn about the Kry10 Secure Platform, which combines formal methods, the seL4 Microkernel, and the BEAM to build trustworthy, isolated software systems. Discover the potential of this approach for the next generation of software and IoT devices, addressing challenges in momentum and security. Gain insights into platform requirements, microkernel architecture, and formal methods. The presentation concludes with a summary and an engaging Q&A session, offering a comprehensive look at this groundbreaking approach to system security.

00:00 - - Intro
03:22 - - IoT: Momentum and Challenges
07:55 - - Platform Requirements
13:40 - - What's a Microkerner + Formal Methods
17:22 - - The Kry10 Platform
27:54 - - Summary
30:28 - - QnA