EternitYjl

transientfail

Website and PoC collection for transient execution attacks

vivado-risc-v

Xilinx Vivado block designs for FPGA RISC-V SoC running Debian Linux distro

spectre-attack

Example of using revealed "Spectre" exploit (CVE-2017-5753 and CVE-2017-5715)

riscv-vectorized-benchmark-suite

RiVEC Bencmark Suite

gem5

This is an read-only mirror of the gem5 simulator. The upstream repository is stored in https://gem5.googlesource.com, code reviews should be submitted to https://gem5-review.googlesource.com/. The mirrors are synchronized every 15 minutes.

prospect

ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.

unicorn

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

Test-Suite-Transient-Execution

Test suite containing a reproduction of all major transient-execution attacks in RISC-V and CHERI-RISC-V assembly

spectre-meltdown-checker

Reptar, Downfall, Zenbleed, ZombieLoad, RIDL, Fallout, Foreshadow, Spectre, Meltdown vulnerability/mitigation checker for Linux & BSD

Security-RISC

Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)

RISCV-Spectre-Attack-and-Defense

EECS 573 Project

Spectre-v2-v5-mitigation-RISCV

BOOMv3-SpecShield

SpecShield Transient Execution Attack Mitigation Techniques Implemented on BOOM

SecureBOOM

Formally proven secure design of the RISC-V core BOOM (Berkeley Out-of-Order Machine) w.r.t. transient execution attacks (e.g., Meltdown and Spectre)

Spectre-Attacks-in-BOOMv3

sonicboom-attacks

SonicBOOM Spectre Attacks

boom-attacks

Proof of concepts for speculative attacks using the BOOM core (https://github.com/riscv-boom/riscv-boom)

BOOMv3-eager-delay

Patched version of the RISC-V core BOOM (Berkeley Out-of-Order Machine) w.r.t. Meltdown and Spectre vulnerabilities

upec-boom-verification-suite

This repository contains the verification suite for verifying Berkeley Out-of-Order Machine (BOOM) against transient execution attacks based on the Unique Program Execution Checking (UPEC) approach.