enarx / stewardLinks
A Confidential Computing-Aware Certificate Authority
☆12Updated last month
Alternatives and similar repositories for steward
Users that are interested in steward are comparing it to the libraries listed below
Sorting:
- Go implementation of Merkle Tree Certificates☆23Updated 2 months ago
- Verifying constant-time code with symbolic execution☆46Updated 4 years ago
- Initial discussions on signatures of WebAssembly modules.☆18Updated 3 years ago
- Administrative utility for SEV-SNP☆38Updated this week
- Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.☆65Updated this week
- The formally verified crypto library for Rust☆190Updated this week
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆120Updated 2 years ago
- Library for AMD SEV☆20Updated 3 years ago
- TPM 2.0 Implementation☆75Updated 3 months ago
- A collection of high-performance crypto implementations.☆52Updated last month
- Resizable ORAM, remote storage agnostic, written in Rust☆74Updated 3 years ago
- Community Cryptography Test Vectors☆96Updated last week
- Rust bindings for HACL & Evercrypt☆30Updated 8 months ago
- Attestation verification services based on Veraison components☆39Updated last week
- Implementation of Prio in Rust.☆117Updated last week
- Implementation of the WebAssembly Modules Signatures.☆61Updated last week
- Verifiable Secret Sharing Schemes☆87Updated 3 months ago
- Bertie TLS 1.3 Implementation☆130Updated 3 months ago
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Updated 3 months ago
- A maliciously secure two-party computation engine which is embeddable and accessible☆187Updated 4 months ago
- Bare metal Rust support for USB armory MkII devices☆60Updated 5 years ago
- AMD SEV-SNP rust utils☆16Updated 7 months ago
- Entity Attestation Token IETF Draft Standard☆20Updated 8 months ago
- SFI verifier of Wasm binaries☆84Updated 2 years ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆60Updated 2 years ago
- Previously MesaLink, TabbySSL is an OpenSSL compatibility layer for the Rust TLS stack.☆50Updated 4 years ago
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆79Updated last month
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆123Updated 4 years ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆23Updated 5 years ago
- Frayed ribbon filter cascade☆48Updated 2 years ago