toddmaustin / spectre-rust
Spectre V1 Proof-of-Concept Attack in the Rust Language
☆19Updated last month
Alternatives and similar repositories for spectre-rust:
Users that are interested in spectre-rust are comparing it to the libraries listed below
- Symbolic execution tool for Sail ISA specifications☆66Updated last month
- Miralis is RISC-V firmware that virtualizes RISC-V firmware☆14Updated this week
- SFI verifier of Wasm binaries☆81Updated 2 years ago
- This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …☆87Updated 2 months ago
- CHERI-RISC-V model written in Sail☆59Updated last month
- Rust RISC-V Virtual Machine☆97Updated 6 months ago
- A verified library of synchronization primitives and concurrent data structures☆32Updated last week
- Artifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)☆126Updated 8 months ago
- QEMU with support for CHERI☆58Updated 2 weeks ago
- Tests for verifying compliance of RMM implementations☆18Updated 2 months ago
- Loupe: Syscall Usage Analysis Tool☆33Updated this week
- Synthesis of Loop-free Programs in Rust☆65Updated 5 years ago
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…☆49Updated this week
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆33Updated 3 months ago
- Easily build and run CHERI related projects☆74Updated last week
- ☆20Updated this week
- Simple RISC-V emulator presented at Rust Nation 2023☆64Updated 2 years ago
- This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…☆68Updated this week
- Rust RISC-V Simulator☆32Updated last year
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆35Updated 2 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆68Updated last week
- rfuzz: coverage-directed fuzzing for RTL research platform☆105Updated 2 years ago
- Easy SMT solver interaction☆35Updated last month
- Simple library for decoding RISC-V instructions☆24Updated 8 months ago
- Verification of BPF JIT compilers☆54Updated last year
- A tool for formally verifying constant-time software against hardware 🕰️☆10Updated 3 months ago
- ☆38Updated 9 months ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆61Updated 10 months ago
- A benchmark for standalone WebAssembly☆32Updated 9 months ago
- ☆11Updated last year