Kry10
Formally-verified secure operating system for robotics, vehicles, and critical infrastructure devices.
Kry10 Operating System (KOS) is built on the seL4 microkernel lineage to bring memory-safe, formally verified security and reliable persistent upgrades to connected critical devices — robotics, vehicles, electrical grids, satellites, and medical devices. Headquartered in Wellington, New Zealand, with a US holding entity (Kry10 Holdings Inc.) registered in Seattle.
Overview
- Headquarters
- Wellington, New Zealand
- Founded
- 2020
- Employees
- Total funding
- $6M
- Stage
- Seed
- Status
- active
- Domains
- Secure operating systems, Formal verification, Critical-infrastructure cybersecurity
- Website
- www.kry10.com
Founders3
- FounderBoyd MultererFounder, CEO, and CTO of Kry10; architect of Xbox Live at Microsoft.
- FounderJason FoxCo-founder and VP Alliances at Kry10; former CEO of multiple NZ post-settlement iwi entities.
- FounderMahi PauriniCo-founder and strategist at Kry10, focused on research, compliance, and developer education.
Investors0
No linked records yet.
Cap table0
Approximate ownership by holder. Indexed holders link to their records.
Raised per round
Percentages marked ~ are not disclosed. Some are a generic VC-pattern model (founders/team weighted heaviest, option pool lightest, other holders evenly) sized to whatever's left undisclosed — a standard industry shape, not this company's actual cap table.
Programs0
No linked records yet.
Frequently asked
- What does Kry10 do?
- Kry10 Operating System (KOS) is built on the seL4 microkernel lineage to bring memory-safe, formally verified security and reliable persistent upgrades to connected critical devices — robotics, vehicles, electrical grids, satellites, and medical devices. Headquartered in Wellington, New Zealand, with a US holding entity (Kry10 Holdings Inc.) registered in Seattle.
- Where is Kry10 headquartered?
- Kry10 is headquartered in Wellington, New Zealand and was founded in 2020.
- How much funding has Kry10 raised?
- Kry10 has raised $6M in disclosed funding.
- What does Kry10 specialize in?
- Kry10 works across Secure operating systems, Formal verification, Critical-infrastructure cybersecurity.
- Does Kry10 hold government contracts?
- Defense Tech Atlas links Kry10 to 1 government contract.
Sources & citations1
Each claim links to its underlying source. Confidence reflects how directly the source supports the claim.
- 1
Kry10 raises $6M from investors including Folklore, Movac, Nuance Connected Capital, and In-Q-Tel; founded by Boyd Multerer, creator of Xbox Live
NZ Herald: Kry10 raises $6m from investors including Folklore, Rotoma fund backed by intelligence agenciesVerified2024-01-01