This video was recorded at Code BEAM America 2022 - https://codebeamamerica.com/ Security Under the BEAM | Boyd Multerer - Creator of Scenic and Lead Engineering for Xbox Live, XNA ABSTRACT The BEAM VM is a leader in application-level isolation. Isolated code recovers from faults. Isolated processes can process messages asynchronously with very little coordination. Isolated data means garbage collection is fast and simple. We studied these isolation patterns and asked what would an operating system look like that learned from those lessons and was built to be good at running the BEAM? Could isolation patterns be used to provide deep security that runs from the OS up through the BEAM? The resounding answer to that question is yes! In this keynote, we will present our findings and show you how to build software that uses trustworthy isolation, so that if problems do occur, they cannot spread to the rest of the system. The combination of formal methods, the seL4 Microkernel and the BEAM is the magic formula to build a new operation system for the next generation of software and device. We are very excited to present, for the first time, the Kry10 Secure Platform. • Timecodes 00:00 - 03:21 - Intro 03:22 - 07:54 - IoT: Momentum and Challenges 07:55 - 13:39 - Platform Requirements 13:40 - 17:21 - What's a Microkerner + Formal Methods 17:22 - 27:53 - The Kry10 Platform 27:54 - 30:27 - Summary 30:28 - 43:22 - QnA • Follow us on social: Twitter: https://twitter.com/CodeBEAMio LinkedIn: https://www.linkedin.com/company/27159258 • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global