enarx / sgxLinks
Library for Intel SGX
☆14Updated last year
Alternatives and similar repositories for sgx
Users that are interested in sgx are comparing it to the libraries listed below
Sorting:
- Administrative utility for SEV-SNP☆32Updated 2 weeks ago
- A CLI tool for interacting with SEV-SNP guest environment☆67Updated 2 weeks ago
- ORAM and related for Intel SGX enclaves☆52Updated last year
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 2 years ago
- Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.☆112Updated 3 weeks ago
- AMD SEV Tool☆85Updated last year
- Enarx Keep Loader☆15Updated 3 years ago
- Initial discussions on signatures of WebAssembly modules.☆17Updated 3 years ago
- Verifying constant-time code with symbolic execution☆44Updated 3 years ago
- Library for AMD SEV☆20Updated 3 years ago
- Implementation of cryptographic primitives in Go☆12Updated 2 years ago
- Design documents and interoperability tests for Interoperable RA-TLS projects☆11Updated last year
- Key Broker Server for SEV(-ES)☆15Updated 10 months ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated last year
- Crypto library☆60Updated this week
- Confidential Containers Shim Firmware☆111Updated last week
- Curve ecGFp5☆68Updated 3 years ago
- Formal Analysis of the PQXDH Protocol☆25Updated last year
- ABE GPSW scheme using BLS pairing implemented in Rust.☆15Updated 2 years ago
- The tdx-guest provides a Rust implementation of Intel® Trust Domain Extensions (Intel® TDX) Guest APIs, supporting for TDX Guest specific…☆24Updated last month
- ☆58Updated 3 months ago
- Rust bindings for HACL & Evercrypt☆28Updated 2 months ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆62Updated last year
- COCONUT-SVSM☆159Updated last week
- SFI verifier of Wasm binaries☆80Updated 2 years ago
- Tor anonymity network for SGX☆46Updated 6 years ago
- Administrative utility for AMD SEV☆58Updated last month
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆55Updated last year
- This provides a library for interacting with the Nitro Secure Module, which provides Nitro Enclaves with attestation capability.☆75Updated 3 months ago
- ☆19Updated 2 years ago