project-oak / oakLinks
Meaningful control of data in distributed systems.
☆1,434Updated this week
Alternatives and similar repositories for oak
Users that are interested in oak are comparing it to the libraries listed below
Sorting:
- A Rust library for lattice-based additive homomorphic encryption.☆418Updated 2 years ago
- A model checker for implementing distributed systems.☆1,737Updated 4 months ago
- An open and flexible framework for developing enclave applications☆981Updated 3 years ago
- Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).☆1,074Updated 2 years ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,330Updated 2 weeks ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆406Updated 6 months ago
- Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).☆198Updated 8 months ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,055Updated 8 years ago
- SDK for developing enclaves☆1,171Updated last month
- delegated, decentralized, capabilities based authorization token☆1,072Updated last month
- The Stanford Builder☆987Updated 2 years ago
- The Fortanix Rust Enclave Development Platform☆474Updated last week
- High-performance stateful serverless runtime based on WebAssembly☆913Updated 2 months ago
- Cryptographic Primitive Code Generation by Fiat☆784Updated last week
- A Rust framework for correct and performant distributed systems☆1,108Updated this week
- Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support☆783Updated 4 years ago
- Unikernel and immutable infrastructures☆616Updated 3 years ago
- Hermit for Rust.☆1,852Updated last week
- Highly-available Distributed Fault-tolerant Runtime☆2,884Updated 2 years ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆662Updated last month
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆832Updated last year
- Verified Rust for low-level systems code☆2,143Updated this week
- Apache Teaclave™ SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SD…☆1,213Updated 3 months ago
- State of the art for unikernels☆221Updated last year
- Fully Decentralized Fully Replicated Key/Value Store☆896Updated 2 years ago
- Black-box transactional safety checker based on cycle detection☆681Updated this week
- Add hardship to your tests☆1,086Updated this week
- A library OS for Linux multi-process applications, with Intel SGX support☆725Updated last week
- Shuttle is a library for testing concurrent Rust code☆891Updated last week
- A UI for eBPF-based performance debugging☆580Updated 3 years ago