Alternatives and similar repositories for spectre-rust

Users that are interested in spectre-rust are comparing it to the libraries listed below

• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …
  ☆182Updated last week
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆82Updated 2 years ago
• riscv / riscv-cfi
  This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …
  ☆92Updated last month
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆107Updated 2 weeks ago
• bytecodealliance / wasm-score
  A benchmark for standalone WebAssembly
  ☆34Updated last year
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆121Updated 2 months ago
• FPSG-UIUC / augury
  Using Data Memory-Dependent Prefetchers to Leak Data at Rest
  ☆36Updated 2 years ago
• secure-foundations / rWasm
  A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
  ☆36Updated last year
• GregAC / rrs
  Rust RISC-V Simulator
  ☆41Updated last year
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆78Updated last month
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆125Updated this week
• vusec / inspectre-gadget
  InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets
  ☆54Updated last week
• cdisselkoen / llvm-ir-analysis
  ☆76Updated last year
• chipsalliance / Caliptra
  Caliptra IP and firmware for integrated Root of Trust block
  ☆320Updated last week
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆31Updated 3 weeks ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated last week
• MATCHA-MIT / SHD-StarterCode
  Student Starter Code for Secure Hardware Design at MIT
  ☆78Updated last year
• KULeuven-COSIC / ShowTime
  Artifacts for our ShowTime paper (AsiaCCS '23), including distinguishing cache hits and misses with the human eye.
  ☆14Updated 2 years ago
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆66Updated 2 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆36Updated 2 weeks ago
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆20Updated 4 months ago
• Phantom1003 / QARMA64
  QARMA block cipher in C
  ☆30Updated 2 years ago
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆24Updated last year
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆62Updated last year
• trailofbits / LeftoverLocalsRelease
  The public release of LeftoverLocals code
  ☆68Updated last year
• novafacing / qemu-rs
  QEMU for Rust, and Rust for QEMU
  ☆77Updated this week
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆64Updated 2 years ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆157Updated this week