project-oak / oakLinks
Meaningful control of data in distributed systems.
☆1,441Updated 2 weeks ago
Alternatives and similar repositories for oak
Users that are interested in oak are comparing it to the libraries listed below
Sorting:
- An open and flexible framework for developing enclave applications☆981Updated 3 years ago
- A Rust library for lattice-based additive homomorphic encryption.☆418Updated 2 years ago
- A model checker for implementing distributed systems.☆1,747Updated 5 months ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,331Updated last week
- The Stanford Builder☆988Updated 2 years ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆407Updated 6 months ago
- Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).☆1,076Updated 2 years ago
- Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).☆199Updated 9 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,470Updated 2 years ago
- SDK for developing enclaves☆1,171Updated last month
- Enarx: Confidential Computing with WebAssembly☆1,406Updated 2 weeks ago
- The Fortanix Rust Enclave Development Platform☆477Updated this week
- A Rust framework for correct and performant distributed systems☆1,120Updated 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,215Updated 3 months ago
- Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support☆783Updated 4 years ago
- A library OS for Linux multi-process applications, with Intel SGX support☆731Updated this week
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆662Updated 2 weeks ago
- Highly-available Distributed Fault-tolerant Runtime☆2,889Updated 2 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,055Updated 8 years ago
- A transparent, highly scalable and cryptographically verifiable data store.☆3,684Updated 3 weeks ago
- Hermit for Rust.☆1,857Updated this week
- Apache Teaclave™ is an open source universal secure computing platform, making computation on privacy-sensitive data safe and simple.☆784Updated 3 months ago
- A kernel designed to run one and only one application in a virtualized environment☆3,032Updated this week
- Fully Decentralized Fully Replicated Key/Value Store☆896Updated 2 years ago
- ☆578Updated 2 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆2,887Updated last month
- Blazingly fast analytics database that will rapidly devour all of your data.☆1,643Updated 5 months ago
- Intuitive Advanced Cryptography☆436Updated 3 years ago
- ☆653Updated last week
- ☆607Updated last year