project-oak / oakLinks
Meaningful control of data in distributed systems.
☆1,449Updated this week
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☆983Updated 3 years ago
- A Rust library for lattice-based additive homomorphic encryption.☆419Updated 2 years ago
- Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).☆1,077Updated 2 years ago
- The Stanford Builder☆989Updated 2 years ago
- A model checker for implementing distributed systems.☆1,776Updated 6 months ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆407Updated 7 months ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,351Updated this week
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,473Updated 2 years ago
- Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).☆199Updated 10 months ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,056Updated 8 years ago
- SDK for developing enclaves☆1,178Updated 2 months ago
- The Fortanix Rust Enclave Development Platform☆481Updated this week
- Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support☆783Updated 4 years ago
- Hermit for Rust.☆1,870Updated 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,220Updated 5 months ago
- Black-box transactional safety checker based on cycle detection☆686Updated last month
- Cryptographic Primitive Code Generation by Fiat☆805Updated this week
- A Rust framework for correct and performant distributed systems☆1,158Updated this week
- ☆274Updated 2 years ago
- Enarx: Confidential Computing with WebAssembly☆1,412Updated this week
- Highly-available Distributed Fault-tolerant Runtime☆2,898Updated 2 years ago
- a collection of well-tested, serializable CRDTs for Rust☆1,509Updated last year
- Unikernel and immutable infrastructures☆622Updated 3 years ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆548Updated 3 years ago
- State of the art for unikernels☆220Updated last year
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆500Updated last year
- HACL*, a formally verified cryptographic library written in F*☆1,808Updated 3 months ago
- Socially scalable Code REView and recommendation system that we desperately need. See http://github.com/crev-dev/cargo-crev for real impl…☆421Updated 4 years ago
- A library OS for Linux multi-process applications, with Intel SGX support☆740Updated this week
- delegated, decentralized, capabilities based authorization token☆1,084Updated 3 months ago