ericevenchick / rustzoneLinks
☆28Updated 7 years ago
Alternatives and similar repositories for rustzone
Users that are interested in rustzone are comparing it to the libraries listed below
Sorting:
- This repo is used for managing conversations about Veraison features☆53Updated 2 years ago
- Teaclave TrustZone SDK enables safe, functional, and ergonomic development of trustlets.☆267Updated this week
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆123Updated 4 years ago
- The Fortanix Rust Enclave Development Platform☆481Updated this week
- Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).☆199Updated 10 months ago
- Rust implementation of the keylime agent☆145Updated this week
- TSS 2.0 Enhanced System API (ESAPI) Rust wrapper☆120Updated 3 weeks ago
- Idiomatic Rust wrapper for MbedTLS☆87Updated this week
- Verifying constant-time code with symbolic execution☆47Updated 4 years ago
- Differential Address Trace Analysis☆63Updated last year
- Coordination repository for the Secure Code Working Group☆162Updated 4 years ago
- SFI verifier of Wasm binaries☆84Updated 2 years ago
- TPM 2.0 Implementation☆78Updated this week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆120Updated 2 years ago
- Rust implementation of The Update Framework (TUF)☆183Updated 3 months ago
- Rust PKCS#11 Library☆75Updated 3 years ago
- Library for AMD SEV☆20Updated 3 years ago
- a rust version SPDM protocol implementation☆16Updated 2 years ago
- Miscellaneous materials related to the "attested TLS" proof-of-concept☆21Updated 2 years ago
- Confidential Containers Shim Firmware☆119Updated last week
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆109Updated 4 years ago
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆277Updated 3 years ago
- Provides easy-to-use Linux seccomp-bpf jailing.☆105Updated last week
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆200Updated last year
- Tor anonymity network for SGX☆48Updated 6 years ago
- rabe is an Attribute Based Encryption library, written in Rust☆91Updated 10 months ago
- Spectre attack against SGX enclave☆239Updated 8 years ago
- OpenSGX☆305Updated 5 years ago
- Password-Authenticated Key Agreement protocols☆117Updated this week
- Custom memory allocator that helps discover reads from uninitialized memory☆163Updated 5 years ago