aws / c3rLinks
Cryptographic Computing for Clean Rooms (C3R) encryption client and SDK
☆42Updated this week
Alternatives and similar repositories for c3r
Users that are interested in c3r are comparing it to the libraries listed below
Sorting:
- ☆68Updated last year
- This repo provides a C API for AWS Nitro Enclaves, including a KMS SDK that integrates it with attestation.☆112Updated 8 months ago
- Tooling for Nitro Enclave Management☆143Updated 2 weeks ago
- ☆190Updated last week
- ☆18Updated last year
- AWS Certificate Manager for Nitro Enclaves allows the use of public and private SSL/TLS certificates with web applications and web server…☆83Updated 6 months ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆59Updated last month
- AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on cod…☆640Updated last week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆375Updated this week
- The Intel Homomorphic Encryption (HE) toolkit is the primordial vehicle for the continuous distribution of the Intel HE technological in…☆123Updated 7 months ago
- Secure aggregation protocol for TensorFlow Federated☆22Updated 5 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- Private computation framework library allows developers to perform randomized controlled trials, without leaking information about who pa…☆143Updated last month
- Functional encryption library in C☆89Updated 4 years ago
- Crypto library☆66Updated 2 weeks ago
- Language for high-assurance and high-speed cryptography☆316Updated this week
- An Implementation of Incremental Distributed Point Functions in C++☆77Updated 3 months ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆51Updated 2 years ago
- Experiments with Universal Composability in EasyCrypt☆42Updated last week
- User-friendly secure computation engine based on secure multi-party computation☆377Updated 2 years ago
- AWS Nitro Enclaves Workshop☆32Updated last week
- FBPCS (Facebook Private Computation Solutions) leverages secure multi-party computation (MPC) to output aggregated data without making u…☆152Updated last year
- A collection of algorithms that can do join between two parties while preserving the privacy of keys on which the join happens☆212Updated last year
- Specifications of cryptographic algorithms in Cryptol☆43Updated last week
- ☆20Updated 10 months ago
- Repository for the SCALE-MAMBA MPC system☆263Updated 2 years ago
- The garbled circuit backend for the ObliVM framework☆17Updated 9 years ago
- XPIR: Private Information Retrieval for Everyone☆119Updated 4 years ago
- An attempt at a new LWE estimator☆318Updated 2 months ago
- FBPCP (Facebook Private Computation Platform) is a secure, privacy safe and scalable architecture to deploy MPC (Multi Party Computation)…☆101Updated last year