• IoT For All
  • Posts
  • Mission Critical Devices and Formal Methods

Mission Critical Devices and Formal Methods

A Conversation with Boyd Multerer from Kry10

Hello readers!

On this week’s IoT For All podcast, Ryan speaks with Boyd Multerer, CEO of Kry10 and Xbox’s father of invention, about mission-critical devices and using formal methods to secure them and the new regulations that will change software design forever!

Why You Won’t Want to Miss This

  1. Learn what game consoles teach us about cybersecurity in mission-critical devices, particularly in remote updates and security against physical attackers.

  2. Understand the critical juncture in software development for devices, where modern systems are employing ancient operating systems and architectures.

  3. Gain insight into how digital transformation is reshaping the lower levels of the tech stack while maintaining familiar interfaces for users and developers.

  4. Discover the crucial need for businesses to reassess their approach to cybersecurity in light of changing government regulations and the increasing liabilities associated with software faults.

  5. Learn how formal methods ensure the integrity of software systems far beyond traditional probabilistic testing and whether a company should use them.

Our Favorite Moment

“They're changing the rules around what it means to be liable for software. Typically, if you build a piece of hardware, and it fails, your company is liable. If a software error happens and a car crashes, it's no one's fault. That is changing. The governments are changing the rules to say that software faults should be treated like hardware faults. How come the software people get a free pass? And that means that companies have to start thinking about the risk that they have. This is a reset in thinking that they have to go to.”

— Boyd Multerer

Solving the Supply Chain

Meet Boyd Multerer

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.