toddmaustin / spectre-rust

Related projects ⓘ

Alternatives and complementary repositories for spectre-rust

• embecosm / mibench
  The MiBench testsuite, extended for use in general embedded environments
  ☆85Updated 12 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. …
  ☆85Updated last week
• ekiwi / rfuzz
  rfuzz: coverage-directed fuzzing for RTL research platform
  ☆98Updated 2 years ago
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…
  ☆30Updated 3 weeks ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆62Updated last month
• cwfletcher / oisa
  Data oblivious ISA prototyped on the RISC-V BOOM processor.
  ☆20Updated 2 years ago
• googleinterns / hw-fuzzing
  ☆77Updated last year
• CTSRD-CHERI / sail-cheri-riscv
  CHERI-RISC-V model written in Sail
  ☆55Updated last month
• riscv-admin / security
  RISC-V Security HC admin repo
  ☆15Updated 3 weeks ago
• mjyan0720 / InvisiSpec-1.0
  Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.
  ☆57Updated 4 years ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆39Updated 2 weeks ago
• gururaj-s / mirage
  MIRAGE (USENIX Security 2021)
  ☆11Updated last year
• vusec / tlbdr
  ☆17Updated 2 years ago
• riscv-non-isa / riscv-security-model
  RISC-V Security Model
  ☆29Updated 2 months ago
• PrincetonUniversity / cpf
  Collaborative Parallelization Framework (CPF)
  ☆32Updated last year
• hackdac / hackdac_2018_beta
  The SoC used for the beta phase of Hack@DAC 2018.
  ☆17Updated 4 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆73Updated 2 weeks ago
• efeslab / lapidary
  Creating beautiful gem5 simulations
  ☆45Updated 3 years ago
• gururaj-s / streamline
  Streamline Covert Channel Attack (presented in ASPLOS'21)
  ☆19Updated 3 years ago
• SakalisC / Splash-3
  The Splash-3 benchmark suite
  ☆42Updated last year
• rzhang2285 / Coppelia
  Code repository for Coppelia tool
  ☆20Updated 4 years ago
• CTSRD-CHERI / TestRIG
  Testing processors with Random Instruction Generation
  ☆29Updated last month
• miaochenlu / arch_sec_papers
  ☆14Updated last year
• efeslab / siloz
  ☆11Updated last year
• aakahlow / gem5Valid_Haswell
  ☆18Updated 4 years ago
• stanford-mast / ShEF
  Shielded Enclaves for Cloud FPGAs
  ☆15Updated 2 years ago
• rems-project / rmem
  rmem public repo
  ☆40Updated 3 months ago
• parsa-epfl / qflex
  Quick & Flexible Rack-Scale Computer Architecture Simulator
  ☆31Updated last week
• apl-cornell / PDL
  A Hardware Pipeline Description Language
  ☆39Updated last year
• efeslab / asplos22-hardware-debugging-artifact
  ☆11Updated 5 months ago