ericevenchick / rustzone
☆27Updated 6 years ago
Alternatives and similar repositories for rustzone:
Users that are interested in rustzone are comparing it to the libraries listed below
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆116Updated 3 years ago
- This repo is used for managing conversations about Veraison features☆52Updated last year
- Teaclave TrustZone SDK enables safe, functional, and ergonomic development of trustlets.☆233Updated this week
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- Differential Address Trace Analysis☆55Updated last year
- TSS 2.0 Enhanced System API (ESAPI) Rust wrapper☆98Updated last month
- TLS parser written in rust with nom☆107Updated 2 months ago
- Idiomatic Rust wrapper for MbedTLS☆83Updated this week
- The formally verified crypto library for Rust☆115Updated this week
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…☆44Updated this week
- 🎯 A collection of fuzzing targets written in Rust.☆105Updated 3 years ago
- Coordination repository for the Secure Code Working Group☆161Updated 3 years ago
- Provides easy-to-use Linux seccomp-bpf jailing.☆84Updated this week
- Library for AMD SEV☆20Updated 3 years ago
- RustPräzi: Representing crates.io as a call-based dependency network☆79Updated 6 years ago
- Custom memory allocator that helps discover reads from uninitialized memory☆162Updated 4 years ago
- a rust version SPDM protocol implementation☆14Updated last year
- rabe is an Attribute Based Encryption library, written in Rust☆83Updated 3 weeks ago
- A framework for large scale analysis of the Rust ecosystem.☆38Updated this week
- Resizable ORAM, remote storage agnostic, written in Rust☆70Updated 2 years ago
- Rust implementation of The Update Framework (TUF)☆176Updated 2 months ago
- SFI verifier of Wasm binaries☆81Updated 2 years ago
- Miscellaneous materials related to the "attested TLS" proof-of-concept☆18Updated last year
- Find the ideal fuzz targets in a Rust codebase☆211Updated last week
- Trophy case for Rudra bugs.☆39Updated last year
- ☆112Updated 2 years ago
- TPM 2.0 Implementation☆47Updated 3 weeks ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- ☆29Updated 4 years ago
- The Fortanix Rust Enclave Development Platform☆449Updated this week