sabbaghm / sonicboom-attacksLinks
SonicBOOM Spectre Attacks
☆8Updated 4 years ago
Alternatives and similar repositories for sonicboom-attacks
Users that are interested in sonicboom-attacks are comparing it to the libraries listed below
Sorting:
- A RISC-V RV32 model ready for SMT program synthesis.☆11Updated 4 years ago
- Proof of concepts for speculative attacks using the BOOM core (https://github.com/riscv-boom/riscv-boom)☆64Updated 5 years ago
- Test suite containing a reproduction of all major transient-execution attacks in RISC-V and CHERI-RISC-V assembly☆15Updated 4 years ago
- ☆12Updated 10 months ago
- ☆11Updated 2 years ago
- This repository contains the verification suite for verifying Berkeley Out-of-Order Machine (BOOM) against transient execution attacks ba…☆18Updated 2 years ago
- Source files to reproduce the results shown for A-QED at DAC 2020☆8Updated 4 years ago
- Source code of the U-TRR methodology presented in "Uncovering In-DRAM RowHammer Protection Mechanisms: A New Methodology, Custom RowHamme…☆15Updated 2 years ago
- Project Repo for the Simulator Independent Coverage Research☆19Updated 2 years ago
- An open-source UCIe implementation developed at UC Berkeley.☆15Updated last year
- Branch Predictor Optimization for BlackParrot☆15Updated last year
- A Modular Open-Source Hardware Fuzzing Framework☆33Updated 3 years ago
- A port of the RIPE suite to RISC-V.☆29Updated 6 years ago
- Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's ope…☆13Updated 3 weeks ago
- ☆17Updated 8 months ago
- ☆16Updated 2 months ago
- SoftMC is an experimental FPGA-based memory controller design that can be used to develop tests for DDR3 SODIMMs using a C++ based API. T…☆135Updated last year
- ☆25Updated 2 years ago
- This repository provides Pensieve, a security evaluation framework for microarchitectural defenses against speculative execution attacks.☆23Updated last year
- A concolic testing engine for RISC-V embedded software with support for SystemC peripherals☆25Updated last year
- All Digital Phase-Locked Loop (ADPLL)☆13Updated last year
- CVA6 SDK containing RISC-V tools and Buildroot☆70Updated 3 weeks ago
- biRISC-V - 32-bit dual issue RISC-V CPU Software Environment☆13Updated 4 years ago
- Running Linux on IOb-SoC-OpenCryptoHW☆14Updated 11 months ago
- A simple processor implemented in SystemC☆25Updated 8 years ago
- Fuzzing for SpinalHDL☆16Updated 2 years ago
- SMT Attack☆21Updated 4 years ago
- Modeling Architectural Platform☆194Updated this week
- TEESec: Pre-Silicon Vulnerability Discovery for Trusted Execution Environments☆10Updated last year
- ☆16Updated last month