Pinned Repositories
arcsjs-chromium
arcsjs-core
arcsjs-provable
hafnium-verification
oak
Meaningful control of data in distributed systems.
oak-enclave
rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
silveroak
Formal specification and verification of hardware, especially for security and privacy.
tink-rust
Rust port of Tink cryptography library
transparent-release
Making transparency normal!
project-oak's Repositories
project-oak/oak
Meaningful control of data in distributed systems.
project-oak/rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
project-oak/silveroak
Formal specification and verification of hardware, especially for security and privacy.
project-oak/tink-rust
Rust port of Tink cryptography library
project-oak/hafnium-verification
project-oak/transparent-release
Making transparency normal!
project-oak/arcsjs-core
project-oak/oak-enclave
project-oak/arcsjs-chromium
project-oak/arcsjs-provable
project-oak/wasm-shared-buffers
project-oak/hello-transparent-release
project-oak/.allstar
project-oak/.github