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:
- Resizable ORAM, remote storage agnostic, written in Rust☆74Updated 3 years ago
- Initial discussions on signatures of WebAssembly modules.☆18Updated 3 years ago
- Verifying constant-time code with symbolic execution☆47Updated 4 years ago
- SFI verifier of Wasm binaries☆84Updated 2 years ago
- Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).☆199Updated 10 months ago
- Implementation of Prio in Rust.☆117Updated this week
- Go implementation of Merkle Tree Certificates☆24Updated 3 months ago
- Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.☆65Updated this week
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆123Updated 4 years ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆120Updated 3 years ago
- Implementation of the WebAssembly Modules Signatures.☆62Updated last month
- Wrappers around Rust's integer to check for constant-time-compatible usage☆23Updated 5 years ago
- Administrative utility for SEV-SNP☆40Updated this week
- A collection of high-performance crypto implementations.☆52Updated 2 months ago
- TPM 2.0 Implementation☆79Updated this week
- Enarx Keep Loader☆15Updated 4 years ago
- Rust bindings for HACL & Evercrypt☆30Updated 9 months ago
- Formal specification of attestation mechanisms in Confidential Computing☆24Updated 2 months ago
- A maliciously secure two-party computation engine which is embeddable and accessible☆187Updated 5 months ago
- Find the ideal fuzz targets in a Rust codebase☆223Updated 2 months ago
- The formally verified crypto library for Rust☆204Updated this week
- A Rust implementation of the Message Layer Security group messaging protocol☆116Updated 2 years ago
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆84Updated last week
- Verifiable Secret Sharing Schemes☆87Updated last week
- ☆28Updated 7 years ago
- Certificate transparency SCT verification library in rust☆54Updated 2 months ago
- Password-Authenticated Key Agreement protocols☆117Updated this week
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆37Updated 2 years ago
- Attestation verification services based on Veraison components☆40Updated this week
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Updated 4 months ago