project-oak

oak Public
Meaningful control of data in distributed systems.

Rust 777 Apache-2.0 64 98 (10 issues need help) 11 Updated Mar 8, 2022
transparent-release Public

Go 0 Apache-2.0 2 9 1 Updated Mar 8, 2022
arcsjs-provable Public

Rust 1 0 0 0 Updated Mar 4, 2022
tink-rust Public
Rust port of Tink cryptography library

Rust 47 Apache-2.0 6 8 20 Updated Feb 28, 2022
silveroak Public
Formal specification and verification of hardware, especially for security and privacy.

Coq 93 Apache-2.0 20 34 3 Updated Feb 26, 2022
wasm-shared-buffers Public

Rust 2 Apache-2.0 1 0 0 Updated Feb 18, 2022
rust-verification-tools Public
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

Rust 224 24 25 (2 issues need help) 0 Updated Feb 12, 2022
hafnium-verification Public

OCaml 28 Apache-2.0 16 9 0 Updated Jul 27, 2020
oak-enclave Public

Shell 6 Apache-2.0 2 1 0 Updated Jun 13, 2019

Pinned