57 lines
1.2 KiB
Markdown
Executable File
57 lines
1.2 KiB
Markdown
Executable File
---
|
||
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 %%
|