Skip to content

Platform

Kry10 Operating System

KOS is our operating system based on a formally verified foundation.

Platform

KOS Platform How KOS Works Capabilities Formal Verification Technical specifications

Solutions

Solutions

Kry10 provides mathematically proven foundations that help keep critical services resilient by design.

Tool Suite

KOS SDK Workload Security

Guard Devices

Overview OT Network Guard Medical Network Guard

By sector

Critical National Infrastructure Data Infrastructure + Telecommunications Defense Healthcare Manufacturing + Industry Transportation + Aerospace

Insights

Stay up to date

Some things matter too much to leave to chance.

News & documentation

Overview Articles News & Press Whitepapers & Briefs Presentations & Speakers

Company

Company

Integrity. Provability. Complete trust. These are the foundations you can rely on.

About

About Kry10 Mission & Values Careers

Legal

Data Privacy Policy

Contact

hello@kry10.com

Contact

hello@kry10.com

Explaining the seL4 integrity theorems

By Matt Brecknell 23 November 2022

Write your presentation here.

View the full resource

Products

KOS SDK Workload Security Overview OT Network Guard Medical Network Guard

Sectors

Critical National Infrastructure Data Infrastructure + Telecommunications Defense Healthcare Manufacturing + Industry Transportation + Aerospace

Company

About Kry10 Mission, Vision + Values Careers

Support

Contact

Kry10 NZ

PO Box 5180,
Wellington 6140,
New Zealand

Kry10 AU

Level 3, 55 Pyrmont Bridge Road,
Pyrmont NSW 2009,
Australia

Kry10 USA

600 1st Ave Suite 102 #2481,
Seattle, WA 98104,
USA

Kry10 UK

Annecy Court, Ferry Works,
Summer Road, Thames Ditton,
Surrey, England, KT7 0QJ

Privacy Policy

©2026 Kry10 Corporation Ltd.