enarx / stewardLinks
A Confidential Computing-Aware Certificate Authority
☆12Updated 2 months ago
Alternatives and similar repositories for steward
Users that are interested in steward are comparing it to the libraries listed below
Sorting:
- Initial discussions on signatures of WebAssembly modules.☆18Updated 3 years ago
- Resizable ORAM, remote storage agnostic, written in Rust☆74Updated 3 years ago
- Verifying constant-time code with symbolic execution☆47Updated 4 years ago
- Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.☆65Updated this week
- Implementation of Prio in Rust.☆117Updated last week
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆120Updated 3 years ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆23Updated 5 years ago
- The formally verified crypto library for Rust☆199Updated this week
- SFI verifier of Wasm binaries☆84Updated 2 years ago
- Bertie TLS 1.3 Implementation☆130Updated 3 months ago
- Implementation of the WebAssembly Modules Signatures.☆63Updated last month
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆123Updated 4 years ago
- TPM 2.0 Implementation☆77Updated last week
- Go implementation of Merkle Tree Certificates☆23Updated 2 months ago
- Verifiable Secret Sharing Schemes☆87Updated 3 months ago
- Administrative utility for SEV-SNP☆38Updated 3 weeks ago
- Bare metal Rust support for USB armory MkII devices☆60Updated 5 years ago
- A collection of high-performance crypto implementations.☆52Updated 2 months ago
- Enarx Keep Loader☆15Updated 4 years ago
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Updated 4 months ago
- Rust bindings for HACL & Evercrypt☆30Updated 9 months ago
- Find the ideal fuzz targets in a Rust codebase☆222Updated 2 months ago
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆81Updated last month
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆44Updated this week
- A maliciously secure two-party computation engine which is embeddable and accessible☆187Updated 5 months ago
- ☆25Updated 3 years ago
- Library for AMD SEV☆20Updated 3 years ago
- Please see https://github.com/hacspec/hax☆245Updated last year
- Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).☆199Updated 10 months ago
- A Rust implementation of the Message Layer Security group messaging protocol☆116Updated 2 years ago