---
readstatus: false
dateread:
title: "Kry10 Technical Overview"
authors:

DOI: ""
ISBN: ""
citekey: "Kry10TechnicalOverview"
itemType: "webpage"







---
#### DOI
[](https://doi.org/)
#### ISBN
[](https://www.isbnsearch.org/isbn/)

### Tags:


**Contribution**:: 

**Related**:: 

> [!LINK] 
>.

> [!Abstract]
>
> Kry10 provides a secure operating system and other software for smart machines and other connected
industrial systems. Built on a secure foundation which is mathematically proven to be functionally correct, the
OS removes many classes of vulnerabilities that most common operating systems are susceptible to. While
software backed by formal methods has been available for several decades, formal methods have not been
adopted at scale because they weren’t usable.
The Kry10 suite of developer tools and libraries has solved the usability problem. Developers can now code on
a secure OS easily and efficiently. The Kry10 tools include familiar languages and development tools:
• Support common languages such as Rust and C
• Include build systems and libraries of reusable, attestable code.
>.
> 
# Notes
>.


# Annotations%% begin annotations %%


%% end annotations %%

%% Import Date: 2024-08-12T10:42:06.975-04:00 %%
