aws / c3rLinks
Cryptographic Computing for Clean Rooms (C3R) encryption client and SDK
☆42Updated last week
Alternatives and similar repositories for c3r
Users that are interested in c3r are comparing it to the libraries listed below
Sorting:
- ☆68Updated 10 months ago
- This repo provides a C API for AWS Nitro Enclaves, including a KMS SDK that integrates it with attestation.☆111Updated 7 months ago
- ☆185Updated last week
- Tooling for Nitro Enclave Management☆142Updated last week
- Experiments with Universal Composability in EasyCrypt☆40Updated last week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆60Updated 2 weeks ago
- ☆19Updated last year
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- Functional encryption library in C☆89Updated 4 years ago
- A Microsoft-SEAL-compatible implementation of homomorphic encryption targeting Azure Sphere and other embedded devices.☆51Updated 3 years ago
- CryptoBib BibTex files☆62Updated 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 5 months ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆369Updated this week
- 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
- AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on cod…☆623Updated this week
- A C++ implementation of the DUPLO cryptographic protocol☆22Updated 8 years ago
- The reference implementation of SimplePIR and DoublePIR, accompanying the paper "One Server for the Price of Two: Simple and Fast Single-…☆91Updated 2 years ago
- An implementation of the LowMC block cipher family.☆27Updated 7 years ago
- XPIR: Private Information Retrieval for Everyone☆119Updated 4 years ago
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆42Updated 4 years ago
- Using Python to implement basic features on AWS Nitro Enclaves☆37Updated last year
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆50Updated 2 years ago
- Language for high-assurance and high-speed cryptography☆313Updated last week
- The fully homomorhic encryption scheme based on NTRU and LWE.☆48Updated last year
- An attempt at a new LWE estimator☆310Updated 3 weeks ago
- Batch Dual Execution framework for secure multiparty computation☆17Updated 8 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆230Updated 4 years ago
- A Flexible Efficient Secure Computation Backend☆33Updated 7 years ago
- Exploration of NIST post-quantum signatures on-ramp candidates☆36Updated 4 months ago
- The garbled circuit backend for the ObliVM framework☆17Updated 9 years ago