aws / c3rLinks
Cryptographic Computing for Clean Rooms (C3R) encryption client and SDK
☆40Updated last week
Alternatives and similar repositories for c3r
Users that are interested in c3r are comparing it to the libraries listed below
Sorting:
- This repo provides a C API for AWS Nitro Enclaves, including a KMS SDK that integrates it with attestation.☆107Updated 4 months ago
- ☆68Updated 7 months ago
- Tooling for Nitro Enclave Management☆140Updated last week
- AWS Certificate Manager for Nitro Enclaves allows the use of public and private SSL/TLS certificates with web applications and web server…☆83Updated 2 months ago
- AWS Nitro Enclaves Workshop☆32Updated last year
- ☆171Updated this week
- AWS Crypto Tools Team☆34Updated 3 years ago
- ☆21Updated this week
- Using Python to implement basic features on AWS Nitro Enclaves☆37Updated 10 months ago
- ☆21Updated last week
- Example Full-stack Serverless project using ReactJS, Momento Topics, Step Functions, API Gateway, ECS, Lambda, DynamoDB with streams, and…☆17Updated 9 months ago
- AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on cod…☆566Updated last week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆356Updated this week
- Private computation framework library allows developers to perform randomized controlled trials, without leaking information about who pa…☆144Updated 10 months ago
- This provides a library for interacting with the Nitro Secure Module, which provides Nitro Enclaves with attestation capability.☆75Updated 4 months ago
- A collection of algorithms that can do join between two parties while preserving the privacy of keys on which the join happens☆211Updated 9 months ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆52Updated last month
- An Implementation of Incremental Distributed Point Functions in C++☆77Updated this week
- FBPCS (Facebook Private Computation Solutions) leverages secure multi-party computation (MPC) to output aggregated data without making u…☆152Updated 7 months ago
- Some examples of using the Cedar language to specify authorization☆92Updated this week
- Definitional implementation of Cedar language and utilities for DRT☆119Updated this week
- Central hub for learning, using, and mastering Amazon Verified Permissions (AVP) and Cedar.☆22Updated last year
- The Intel Homomorphic Encryption (HE) toolkit is the primordial vehicle for the continuous distribution of the Intel HE technological in…☆120Updated 2 months ago
- The reference implementation of Tiptoe, accompanying the paper "Private web search with Tiptoe" (SOSP 2023).☆50Updated last year
- FBPCP (Facebook Private Computation Platform) is a secure, privacy safe and scalable architecture to deploy MPC (Multi Party Computation)…☆100Updated last year
- Language for high-assurance and high-speed cryptography☆297Updated this week
- Private Information Retrieval protocol☆45Updated 4 years ago
- Experiments with Universal Composability in EasyCrypt☆36Updated this week
- ☆22Updated 7 months ago
- The fully homomorhic encryption scheme based on NTRU and LWE.☆45Updated 9 months ago