aws / c3r
Cryptographic Computing for Clean Rooms (C3R) encryption client and SDK
☆39Updated this week
Alternatives and similar repositories for c3r:
Users that are interested in c3r are comparing it to the libraries listed below
- ☆66Updated 3 months ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆39Updated 2 months ago
- This repo provides a C API for AWS Nitro Enclaves, including a KMS SDK that integrates it with attestation.☆105Updated 2 months ago
- ☆19Updated 2 months ago
- A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.☆10Updated 3 years ago
- ☆149Updated this week
- Using Python to implement basic features on AWS Nitro Enclaves☆34Updated 6 months ago
- ☆30Updated 11 months ago
- Crypto library☆56Updated this week
- AWS Nitro Enclaves Workshop☆31Updated last year
- Litani metabuild system☆19Updated last year
- Tooling for Nitro Enclave Management☆133Updated this week
- A repository tracking releases of NIST's ACVP server. See www.github.com/usnistgov/ACVP for the protocol.☆68Updated 2 weeks ago
- FBPCP (Facebook Private Computation Platform) is a secure, privacy safe and scalable architecture to deploy MPC (Multi Party Computation)…☆100Updated 8 months ago
- Industry Working Group on Automated Cryptographic Algorithm Validation☆176Updated 2 weeks ago
- The garbled circuit backend for the ObliVM framework☆17Updated 9 years ago
- AWS Crypto Tools Team☆34Updated 2 years 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…☆454Updated this week
- A Microsoft-SEAL-compatible implementation of homomorphic encryption targeting Azure Sphere and other embedded devices.☆50Updated 3 years ago
- ☆16Updated 11 months ago
- Exploration of NIST post-quantum signatures on-ramp candidates☆29Updated 2 weeks ago
- High-assurance, high-performance C90 implementation of ML-KEM☆44Updated this week
- Experiments with Universal Composability in EasyCrypt☆33Updated this week
- Definitional implementation of Cedar language and utilities for DRT☆106Updated this week
- A full-featured implementation of of the LMS and HSS Hash Based Signature Schemes from draft-mcgrew-hash-sigs-07.☆38Updated 3 months ago
- Example Full-stack Serverless project using ReactJS, Momento Topics, Step Functions, API Gateway, ECS, Lambda, DynamoDB with streams, and…☆15Updated 5 months ago
- A central repository for specifications of cryptographic algorithms in Cryptol☆41Updated this week
- This is a Tamarin model of TLS 1.3☆35Updated last year
- Private computation framework library allows developers to perform randomized controlled trials, without leaking information about who pa…☆142Updated 5 months ago