aws / c3rLinks
Cryptographic Computing for Clean Rooms (C3R) encryption client and SDK
☆43Updated 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.☆112Updated 9 months ago
- ☆70Updated last year
- Tooling for Nitro Enclave Management☆145Updated last month
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆60Updated last month
- AWS Certificate Manager for Nitro Enclaves allows the use of public and private SSL/TLS certificates with web applications and web server…☆83Updated 7 months ago
- ☆194Updated this week
- ☆18Updated last year
- Using Python to implement basic features on AWS Nitro Enclaves☆37Updated last year
- Language for high-assurance and high-speed cryptography☆321Updated last week
- Private computation framework library allows developers to perform randomized controlled trials, without leaking information about who pa…☆143Updated 2 months ago
- An Implementation of Incremental Distributed Point Functions in C++☆77Updated last week
- AWS Nitro Enclaves Workshop☆33Updated 3 weeks ago
- A collection of algorithms that can do join between two parties while preserving the privacy of keys on which the join happens☆213Updated last year
- Experiments with Universal Composability in EasyCrypt☆42Updated last week
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 5 years ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆378Updated this week
- AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on cod…☆651Updated last week
- Repository for the SCALE-MAMBA MPC system☆264Updated 2 years ago
- A Microsoft-SEAL-compatible implementation of homomorphic encryption targeting Azure Sphere and other embedded devices.☆54Updated 3 years ago
- Crypto library☆66Updated 3 weeks ago
- Specifications of cryptographic algorithms in Cryptol☆44Updated last week
- This provides a library for interacting with the Nitro Secure Module, which provides Nitro Enclaves with attestation capability.☆83Updated 9 months ago
- XPIR: Private Information Retrieval for Everyone☆119Updated 4 years ago
- Cloud native Secure Multiparty Computation Stack☆89Updated 2 months ago
- ☆33Updated 2 months ago
- ☆54Updated 2 weeks ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 6 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- Private Set Intersection Cardinality protocol based on ECDH and Bloom Filters☆148Updated 2 weeks ago
- This software is part of "Supersingular Isogeny Key Encapsulation", a submission to the NIST Post-Quantum Standardization project.☆62Updated 3 years ago