Alternatives and similar repositories for spectre-rust

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

• GregAC / rrs
  Rust RISC-V Simulator
  ☆41Updated last year
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆108Updated last month
• 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 week
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆78Updated 2 weeks ago
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …
  ☆189Updated this week
• chipsalliance / Caliptra
  Caliptra IP and firmware for integrated Root of Trust block
  ☆329Updated last week
• novafacing / qemu-rs
  QEMU for Rust, and Rust for QEMU
  ☆80Updated 2 weeks ago
• vusec / inspectre-gadget
  InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets
  ☆57Updated 2 weeks ago
• FPSG-UIUC / augury
  Using Data Memory-Dependent Prefetchers to Leak Data at Rest
  ☆37Updated 3 years ago
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆122Updated 3 months ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆127Updated this week
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆62Updated last year
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated last month
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆35Updated 3 weeks ago
• Phantom1003 / QARMA64
  QARMA block cipher in C
  ☆30Updated 3 years ago
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆66Updated 2 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆82Updated 2 years ago
• redplait / denvdis
  NVidia sass disassembler/inline patcher
  ☆28Updated this week
• comsec-group / cascade-artifacts
  Artifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)
  ☆135Updated last year
• FPSG-UIUC / lotr
  Source code of the paper "Lord of the Ring(s): Side Channel Attacks on the CPU On-Chip Ring Interconnect Are Practical"
  ☆143Updated 4 years ago
• riscv / riscv-cheri
  This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…
  ☆80Updated this week
• secure-foundations / rWasm
  A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
  ☆36Updated last year
• psve / cryptagraph
  A tool for linear and differential cryptanalysis of block ciphers written in Rust
  ☆14Updated 2 years ago
• proteus-core / prospect
  ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.
  ☆19Updated 3 weeks ago
• KULeuven-COSIC / ShowTime
  Artifacts for our ShowTime paper (AsiaCCS '23), including distinguishing cache hits and misses with the human eye.
  ☆14Updated 2 years ago
• efeslab / siloz
  ☆11Updated 2 years ago
• slothy-optimizer / slothy
  Assembly super-optimization via constraint solving
  ☆220Updated this week
• sith-lab / gpuhammer
  ☆64Updated 3 weeks ago
• MATCHA-MIT / SHD-StarterCode
  Student Starter Code for Secure Hardware Design at MIT
  ☆80Updated last year