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

- Show: [IoT For All Podcast](https://hardwarepodcasts.com/podcast/iot-for-all-podcast)
- Published: 2023-11-21
- Length: 22m
- Episode: 321
- Page: https://hardwarepodcasts.com/podcast/iot-for-all-podcast/2023-11-21-mission-critical-devices-and-formal-methods-kry10s-boyd-multerer-internet-of-thi
- Listen: https://podcasters.spotify.com/pod/show/iot-for-all/episodes/Mission-Critical-Devices-and-Formal-Methods--Kry10s-Boyd-Multerer--Internet-of-Things-Podcast-e2c7dg1

## Summary

Boyd Multerer, CEO of Kry10 and former Xbox lead, explains how lessons from game console security apply to mission-critical IoT devices, emphasizing the need for isolation and secure updates. He discusses the shift from monolithic kernels to microkernels verified by formal methods, citing the seL4 kernel and DARPA's HACMS program as proof that mathematically proven code can eliminate entire classes of attacks. Multerer warns that new regulations like the European Cyber Resilience Act are making software liability comparable to hardware liability, forcing companies to adopt zero-trust architectures and formal verification to mitigate risk.

## Chapters

- [0:04](https://hardwarepodcasts.com/podcast/iot-for-all-podcast/2023-11-21-mission-critical-devices-and-formal-methods-kry10s-boyd-multerer-internet-of-thi#t=4) Introduction: Boyd Multerer and Kry10
- [1:01](https://hardwarepodcasts.com/podcast/iot-for-all-podcast/2023-11-21-mission-critical-devices-and-formal-methods-kry10s-boyd-multerer-internet-of-thi#t=61) Lessons from Xbox on Mission Critical Security
- [2:42](https://hardwarepodcasts.com/podcast/iot-for-all-podcast/2023-11-21-mission-critical-devices-and-formal-methods-kry10s-boyd-multerer-internet-of-thi#t=162) Defining Mission Critical Devices and the Software Crossroads
- [5:25](https://hardwarepodcasts.com/podcast/iot-for-all-podcast/2023-11-21-mission-critical-devices-and-formal-methods-kry10s-boyd-multerer-internet-of-thi#t=325) Digital Transformation and the Shift to Formal Methods
- [8:38](https://hardwarepodcasts.com/podcast/iot-for-all-podcast/2023-11-21-mission-critical-devices-and-formal-methods-kry10s-boyd-multerer-internet-of-thi#t=518) Regulatory Pressure and Liability for Software Faults
- [14:51](https://hardwarepodcasts.com/podcast/iot-for-all-podcast/2023-11-21-mission-critical-devices-and-formal-methods-kry10s-boyd-multerer-internet-of-thi#t=891) Explaining Formal Methods and seL4 Verification
- [18:59](https://hardwarepodcasts.com/podcast/iot-for-all-podcast/2023-11-21-mission-critical-devices-and-formal-methods-kry10s-boyd-multerer-internet-of-thi#t=1139) Adopting Formal Methods and HACMS Lessons

## Topics

- [Security & privacy](https://hardwarepodcasts.com/topic/security-and-privacy)
- [Embedded firmware](https://hardwarepodcasts.com/topic/embedded-firmware)
- [Policy, trade & tariffs](https://hardwarepodcasts.com/topic/policy-trade-and-tariffs)
- [Chips, FPGAs & semiconductors](https://hardwarepodcasts.com/topic/chips-and-fpgas)

## Most relevant to

companies scaling up

## Mentioned

- Kry10 (company)
- Xbox (product)
- Xbox Live (product)
- XNA (product)
- seL4 (other)
- HACMS (other)
- DARPA (company)
- Linux (other)
- Amazon (company)
- European Cyber Resilience Act (other)

## Related episodes from other shows

- [#000: How New IoT Security Regulations Will Shape the Industry's Future](https://hardwarepodcasts.com/podcast/coredump-sessions/2024-09-17-000-how-new-iot-security-regulations-will-shape-the-industrys-future) (Coredump Sessions)
- [#008: Navigating the Changing IoT Security Landscape: A Survival Guide for Product Leaders](https://hardwarepodcasts.com/podcast/coredump-sessions/2025-05-13-008-navigating-the-changing-iot-security-landscape-a-survival-guide-for-product) (Coredump Sessions)
- [515: Script Boomers](https://hardwarepodcasts.com/podcast/embedded-fm/2025-11-27-515-script-boomers) (Embedded.fm)
- [#009: Zephyr’s Meteoric Rise and What It Means for the Future of Embedded](https://hardwarepodcasts.com/podcast/coredump-sessions/2025-05-27-009-zephyrs-meteoric-rise-and-what-it-means-for-the-future-of-embedded) (Coredump Sessions)
- [Embedded Cybersecurity Basics with Jacob Beningo](https://hardwarepodcasts.com/podcast/the-pragmatic-embedded-podcast/2022-02-02-embedded-cybersecurity-basics-with-jacob-beningo) (The Pragmatic Embedded Podcast)

## Citing this page

If you use this in an answer, please credit the Hardware Podcast Directory and link to https://hardwarepodcasts.com/podcast/iot-for-all-podcast/2023-11-21-mission-critical-devices-and-formal-methods-kry10s-boyd-multerer-internet-of-thi. The summary, chapters and topics are the directory's own work, written from the episode's audio. The episode itself, its title and its audio belong to IoT For All Podcast.