CTSRD-CHERI / cheri-exercisesLinks
Learning exercises for CHERI
☆20Updated 4 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:
- QEMU with support for CHERI☆61Updated this week
- CHERI ISA Specification☆24Updated 3 weeks ago
- Easily build and run CHERI related projects☆82Updated this week
- Artifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)☆137Updated last year
- ☆17Updated 4 months ago
- A port of the RIPE suite to RISC-V.☆29Updated 7 years ago
- Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)☆73Updated 7 months ago
- Proof-of-concept for I See Dead Micro-Ops transient execution attack☆14Updated 4 years ago
- RISC-V Security Model☆33Updated this week
- Fork of LLVM adding CHERI support☆59Updated last week
- Medusa Repository: Transynther tool and Medusa Attack☆23Updated 5 years ago
- ☆16Updated 11 months ago
- This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …☆92Updated this week
- This repository provides Pensieve, a security evaluation framework for microarchitectural defenses against speculative execution attacks.☆24Updated last year
- rv8 benchmark suite☆21Updated 5 years ago
- ☆18Updated 3 years ago
- This is a read-only mirror of the kvm-unit-tests repository from https://gitlab.com/kvm-unit-tests/kvm-unit-tests. Pull requests here at …☆29Updated last month
- Group administration repository for Tech: IOPMP Task Group☆13Updated 10 months ago
- HW interface for memory caches☆28Updated 5 years ago
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆26Updated 5 years ago
- MIRAGE (USENIX Security 2021)☆13Updated 2 years ago
- Automatic detection of speculative information flows☆72Updated 4 years ago
- ☆87Updated 2 years ago
- ☆97Updated last year
- CHERI C/C++ Programming Guide☆37Updated last month
- COATCheck☆13Updated 7 years ago
- rfuzz: coverage-directed fuzzing for RTL research platform☆112Updated 3 years ago
- Risc-V hypervisor for TEE development☆124Updated 4 months 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 last year
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11Updated last year