Kry10 employee Amy B. will be speaking at HISC2026 with Martin D. on building real-world critical systems on a formally verified microkernel.

Kry10 equips those responsible for the cyber safety and resilience of the operational technology and critical systems our societies depend on with a defense-grade solution against AI-powered cyber attack. Our platform Kry10 OS (KOS) is a formally verified configuration operating system, built for operational technology and embedded systems. At the core of KOS is seL4®, the world’s most highly assured operating system kernel: roughly ten thousand lines of code whose behavior has been mathematically proven correct through formal verification. Formal verification means that on KOS entire categories of vulnerabilities that AI seeks to find and exploit can be proven to simply not exist. A provably secure, enduring solution to AI-powered cyber offence, KOS maintains safe, secure operations for critical systems through attacks, failures, and updates. Kry10 works with both government and private organisations charged with the cyber defence of our most critical assets. Power grids, defense platforms, water systems, transportation networks, factories and agricultural systems - anywhere where embedded device security is critical. We have active partnerships with government agencies, national labs and the private sector across the Five Eyes alliance and Western Europe Our team brings together world-leading expertise at the intersection of three disciplines that rarely converge: formally verified operating system design, microkernel architecture, and operational technology cyber security. We are ready to partner. Let us show you what verifiable resilience looks like in practice.