toddmaustin / spectre-rustLinks
Spectre V1 Proof-of-Concept Attack in the Rust Language
☆25Updated 6 months ago
Alternatives and similar repositories for spectre-rust
Users that are interested in spectre-rust are comparing it to the libraries listed below
Sorting:
- Rust RISC-V Simulator☆41Updated last year
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆38Updated 2 weeks ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆81Updated last year
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆190Updated last week
- SFI verifier of Wasm binaries☆82Updated 2 years ago
- A benchmark for standalone WebAssembly☆34Updated last year
- Rust RISC-V Virtual Machine☆109Updated 2 months ago
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆127Updated last week
- Symbolic execution tool for Sail ISA specifications☆78Updated last month
- Simple RISC-V emulator presented at Rust Nation 2023☆66Updated 2 years ago
- A self-generating WebAssembly parser & serializer in Rust.☆23Updated 5 months ago
- Synthesis of Loop-free Programs in Rust☆67Updated 5 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆61Updated last year
- ☆47Updated 3 months ago
- This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …☆92Updated this week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆66Updated last year
- ☆76Updated last year
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆37Updated 3 years ago
- A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler☆36Updated last year
- QEMU for Rust, and Rust for QEMU☆79Updated last month
- Rust support for seL4 userspace☆170Updated last month
- A high-level API for interacting with SMT solvers.☆29Updated last month
- Risc-V hypervisor for TEE development☆124Updated 4 months ago
- Caliptra IP and firmware for integrated Root of Trust block☆339Updated last week
- Safe Interactions with Foreign Languages through Omniglot☆43Updated 3 months ago
- QARMA block cipher in C☆30Updated 3 years ago
- FN-DSA (Falcon) signature scheme☆46Updated 6 months ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆56Updated 2 years ago
- Rust bindings and utilities for LLVM’s libFuzzer☆240Updated 3 months ago
- NVidia sass disassembler/inline patcher☆29Updated this week