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:
- This repo provides a C API for AWS Nitro Enclaves, including a KMS SDK that integrates it with attestation.☆111Updated 8 months ago
- ☆68Updated 11 months ago
- Tooling for Nitro Enclave Management☆143Updated this week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆59Updated last week
- ☆188Updated this week
- Using Python to implement basic features on AWS Nitro Enclaves☆37Updated 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
- AWS Nitro Enclaves Workshop☆32Updated 2 years ago
- Private computation framework library allows developers to perform randomized controlled trials, without leaking information about who pa…☆143Updated last month
- Experiments with Universal Composability in EasyCrypt☆41Updated last week
- ☆33Updated last month
- Crypto library☆66Updated 3 weeks ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆372Updated this week
- This provides a library for interacting with the Nitro Secure Module, which provides Nitro Enclaves with attestation capability.☆82Updated 8 months ago
- Language for high-assurance and high-speed cryptography☆316Updated this week
- The Intel Homomorphic Encryption (HE) toolkit is the primordial vehicle for the continuous distribution of the Intel HE technological in…☆123Updated 6 months ago
- ☆19Updated 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…☆630Updated this week
- ☆124Updated last month
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 5 years ago
- An Implementation of Incremental Distributed Point Functions in C++☆77Updated 2 months ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆53Updated last month
- A Microsoft-SEAL-compatible implementation of homomorphic encryption targeting Azure Sphere and other embedded devices.☆51Updated 3 years ago
- Intel Homomorphic Encryption Acceleration Library accelerates modular arithmetic operations used in homomorphic encryption by leveraging …☆251Updated 4 months ago
- Examples for EasyCrypt Lectures☆26Updated 2 months ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- Large language model inference over confidential data using AWS Nitro Enclaves☆19Updated last year
- Definitional implementation of Cedar language and utilities for DRT☆140Updated last week
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆43Updated 4 years ago
- FBPCP (Facebook Private Computation Platform) is a secure, privacy safe and scalable architecture to deploy MPC (Multi Party Computation)…☆101Updated last year