veraison / rust-ccatokenLinks
Implementation of the Arm CCA attestation token in Rust
☆12Updated last week
Alternatives and similar repositories for rust-ccatoken
Users that are interested in rust-ccatoken are comparing it to the libraries listed below
Sorting:
- Rust library for Intel TDX☆25Updated last month
- Tests for verifying compliance of RMM implementations☆18Updated last week
- Low level attester and verifier drivers for multiple TEEs☆24Updated last year
- ABE GPSW scheme using BLS pairing implemented in Rust.☆15Updated 2 years ago
- Synced with SGX101 gitbook.☆31Updated last year
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆62Updated last year
- Misuse cases of Cryptography in real world software products☆12Updated 6 years ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆13Updated 2 years ago
- Wycheproof for Rust☆19Updated 10 months ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆15Updated 3 years ago
- Reference implementations of post-quantum cryptographic primitives☆29Updated last year
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆36Updated 3 months ago
- An implementation of ZKBoo☆33Updated 3 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
- Notes on cryptographic schemes and attacks☆25Updated 6 years ago
- toy implementation of bfv in rust☆26Updated 3 years ago
- Basis Reduction Algorithms for Codes (LLL and more)☆27Updated last year
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated last year
- A CLI tool for interacting with SEV-SNP guest environment☆71Updated last week
- PCT-TEE: Private Contact Tracing with Trusted Execution Environment☆9Updated 2 years ago
- ☆60Updated last year
- Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.☆114Updated last week
- Artifacts for our ShowTime paper (AsiaCCS '23), including distinguishing cache hits and misses with the human eye.☆13Updated last year
- Rust encryption library for practical time-lock encryption.☆30Updated 11 months ago
- QARMA block cipher in C☆30Updated 2 years ago
- An educational toy fuzzer with big dreams☆12Updated last year
- Rust RISC-V Simulator☆41Updated last year
- Compiles r1cs gadgets to the zkinterface format☆10Updated 4 years ago
- Rust 256-bit unsigned integers.☆9Updated 2 years ago
- EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications☆15Updated 4 years ago