CTSRD-CHERI / cheri-specificationLinks
CHERI ISA Specification
☆24Updated 11 months ago
Alternatives and similar repositories for cheri-specification
Users that are interested in cheri-specification are comparing it to the libraries listed below
Sorting:
- Memory Tagging ISA extension that can be used by software to enforce memory tag checks on memory loads and stores☆16Updated last week
- Medusa Repository: Transynther tool and Medusa Attack☆21Updated 4 years ago
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆17Updated 11 months ago
- QEMU with support for CHERI☆58Updated 2 weeks ago
- RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)☆21Updated 6 years ago
- Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]☆61Updated 10 months ago
- RISC-V Security Model☆30Updated this week
- A port of the RIPE suite to RISC-V.☆29Updated 6 years ago
- All the tools you need to reproduce the CellIFT paper experiments☆21Updated 4 months ago
- Security Test Benchmark for Computer Architectures☆21Updated 4 months ago
- A tool for detecting Spectre vulnerabilities through fuzzing☆41Updated 3 years ago
- ☆16Updated 6 months ago
- ☆17Updated 2 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆31Updated 5 years ago
- Code repository for Coppelia tool☆23Updated 4 years ago
- Testing processors with Random Instruction Generation☆38Updated 2 weeks ago
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆26Updated 4 years ago
- This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…☆52Updated this week
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Updated 5 years ago
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆18Updated 2 months ago
- ☆17Updated last year
- ☆18Updated 2 years ago
- This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …☆87Updated this week
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 5 years ago
- ☆13Updated 4 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated last year
- ☆16Updated 3 years ago
- ☆12Updated 3 years ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆16Updated last month
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆30Updated last year