Mission Critical Devices and Formal Methods | Kry10's Boyd Multerer | Internet of Things Podcast

Boyd Multerer, CEO of Kry10 and Xbox's father of invention, joins Ryan Chacon on the IoT For All Podcast to discuss mission-critical devices and formal methods. They talk about what games consoles teach us about secure devices, the changing regulatory landscape of critical software, how to think about digital transformation, and what companies can do to ensure secure software and devices. Boyd Multerer has been building software and devices for over 30 years. He spent 18 years at Microsoft, 15 years of which was on the Xbox team. There he lead the development of Xbox Live, XNA, and the Xbox One operating system. Today, he is the CEO of Kry10 and has radically re-imagined what it means to build an operating system for mission-critical devices. Boyd has applied lessons in cyber security from the game console world and combined it with the latest in hardcore mathematics-based software techniques to build an operating system that takes a true security-first approach to the devices we depend on. Kry10 delivers a modern platform, tools, and management services to help businesses realize the full potential of IoT and high value connected devices. The Kry10 platform is built on the most secure foundation while enabling the highest level of resilience and manageability to meet mission critical needs. Kry10's platform approach can be encapsulated in one simple phrase: Trust but Isolate®. Kry10 leverages the formal verification of the seL4 microkernel to bring you an operating system that is secure, self-healing, and dynamic with minimal downtime, even during upgrades. This approach builds on the concept of zero trust architectures by limiting the code that can run in privileged mode and isolating as many non-core capabilities as possible. Discover more about IoT at https://www.iotforall.com More about Kry10: https://www.kry10.com/ Connect with Boyd: https://www.linkedin.com/in/boydmulterer/ seL4: https://www.youtube.com/@seL4 HACMS: https://youtu.be/OyqNpn6JpBk (00:00) Intro (00:09) Boyd Multerer, Xbox, and Kry10 (01:01) What game consoles teach us about mission critical devices (02:43) What is a mission critical device? (03:55) Are we at a crossroads in software for devices? (05:26) What is being done to address security in devices? (07:25) How to think about digital transformation (08:39) How to think about software security and new regulations (14:51) What are formal methods in software design? (16:29) Should companies use formal methods? (18:59) How can companies ensure security? (20:51) Learn more and follow up SUBSCRIBE TO THE CHANNEL: https://bit.ly/2NlcEwm​ Join Our Newsletter: https://www.iotforall.com/iot-newsletter Follow Us on Social: https://linktr.ee/iot4all Check out the IoT For All Media Network: https://www.iotforall.com/podcast-overview