CTSRD-CHERI / cheri-exercisesLinks
Learning exercises for CHERI
☆21Updated 7 months ago
Alternatives and similar repositories for cheri-exercises
Users that are interested in cheri-exercises are comparing it to the libraries listed below
Sorting:
- CHERI ISA Specification☆26Updated last week
- QEMU with support for CHERI☆63Updated 3 weeks ago
- Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)☆77Updated 2 months ago
- Easily build and run CHERI related projects☆85Updated 2 weeks ago
- Artifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)☆138Updated last year
- Medusa Repository: Transynther tool and Medusa Attack☆23Updated 5 years ago
- ☆17Updated 7 months ago
- ☆17Updated 3 years ago
- RISC-V Security Model☆34Updated last month
- Proof-of-concept for I See Dead Micro-Ops transient execution attack☆14Updated 4 years ago
- This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …☆95Updated last week
- ☆16Updated last year
- HW interface for memory caches☆28Updated 5 years ago
- Fork of LLVM adding CHERI support☆63Updated this week
- rfuzz: coverage-directed fuzzing for RTL research platform☆112Updated 3 years ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆62Updated 3 years ago
- A port of the RIPE suite to RISC-V.☆29Updated 7 years ago
- ☆87Updated 3 years ago
- This repository contains source code and experimental data of multiple cache side-channel attacks on Intel x86 architecture.☆57Updated 6 years ago
- ☆16Updated 3 years ago
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆27Updated 5 years ago
- Streamline Covert Channel Attack (presented in ASPLOS'21)☆22Updated 4 years ago
- The code in this project demonstrates 2 novel Spectre-V4 attacks, named as out-of-place Spectre-STL and Spectre-CTL, based on the Specula…☆22Updated 2 years ago
- Medusa Repository: Transynther tool and Medusa Attack☆19Updated 5 years ago
- Proof of concepts for speculative attacks using the BOOM core (https://github.com/riscv-boom/riscv-boom)☆68Updated 6 years ago
- Proof-of-concept code for the IEEE S&P 2025 paper "Peek-a-Walk: Leaking Secrets via Page Walk Side Channels"☆31Updated 6 months ago
- A flush-reload side channel attack implementation☆56Updated 3 years ago
- ☆101Updated last year
- ARCHIE is a QEMU-based architecture-independent fault evaluation tool, that is able to simulate transient and permanent instruction and d…☆33Updated 3 weeks ago
- Revizor - Hardware fuzzing for the age of speculation☆180Updated last week