ericevenchick / rustzone
☆26Updated 5 years ago
Related projects: ⓘ
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆112Updated 3 years ago
- This repo is used for managing conversations about Veraison features☆52Updated 8 months ago
- Teaclave TrustZone SDK enables safe, functional, and ergonomic development of trustlets.☆214Updated last week
- TSS 2.0 Enhanced System API (ESAPI) Rust wrapper☆86Updated this week
- Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).☆189Updated 4 months ago
- Verifying constant-time code with symbolic execution☆40Updated 2 years ago
- TPM 2.0 Implementation☆18Updated 3 weeks ago
- Rust implementation of the keylime agent☆96Updated last week
- Library for AMD SEV☆20Updated 2 years ago
- Confidential Containers Shim Firmware☆91Updated this week
- The Fortanix Rust Enclave Development Platform☆431Updated this week
- Provides easy-to-use Linux seccomp-bpf jailing.☆71Updated 2 months ago
- SFI verifier of Wasm binaries☆79Updated last year
- a rust version SPDM protocol implementation☆14Updated last year
- Find the ideal fuzz targets in a Rust codebase☆201Updated 3 months ago
- Miscellaneous materials related to the "attested TLS" proof-of-concept☆15Updated 10 months ago
- Coordination repository for the Secure Code Working Group☆149Updated 3 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆123Updated 7 months ago
- RustPräzi: Representing crates.io as a call-based dependency network☆78Updated 5 years ago
- COCONUT-SVSM☆107Updated this week
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆50Updated last year
- A Confidential Computing-Aware Certificate Authority☆9Updated last week
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆273Updated 2 years ago
- Idiomatic Rust wrapper for MbedTLS☆82Updated last week
- Administrative utility for SEV-SNP☆21Updated this week
- ☆113Updated last year
- Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.☆86Updated last week
- The formally verified crypto library for Rust☆78Updated this week
- Resizable ORAM, remote storage agnostic, written in Rust☆67Updated 2 years ago
- Pure-Rust traits and utilities for constant-time cryptographic implementations.☆247Updated last month