CTSRD-CHERI / cheri-c-programming
CHERI C/C++ Programming Guide
☆30Updated last year
Related projects ⓘ
Alternatives and complementary repositories for cheri-c-programming
- Easily build and run CHERI related projects☆68Updated 3 weeks ago
- Fork of LLVM adding CHERI support☆49Updated this week
- QEMU with support for CHERI☆54Updated 2 weeks ago
- CHERI-RISC-V model written in Sail☆55Updated last week
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- CHERI ISA Specification☆23Updated 4 months ago
- ☆30Updated 2 years ago
- Lists of must-read papers (mainly security papers)☆26Updated 2 months ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆36Updated last year
- Minimal RISC Extensions for Isolated Execution☆50Updated 5 years ago
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆14Updated 3 weeks ago
- Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…☆22Updated 11 months ago
- RISC-V BSV Specification☆17Updated 4 years ago
- ☆16Updated 5 years ago
- ☆17Updated 2 years ago
- Learning exercises for CHERI☆18Updated last month
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆21Updated last year
- Automatic detection of speculative information flows☆66Updated 3 years ago
- Verification of BPF JIT compilers☆54Updated last year
- sel4 benchmarking applications and support library.☆18Updated 4 months ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- Crellvm: Verified Credible Compilation for LLVM☆15Updated 6 years ago
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Updated 4 years ago
- ☆18Updated 9 years ago
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 4 years ago
- A selection of ANSI C benchmarks and programs useful as benchmarks☆77Updated 3 months ago
- A minimalistic and high-performance SAT solver☆26Updated last year
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆37Updated last year
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆60Updated 2 years ago
- A set of synthetic benchmarks used in IEEE RTAS 2016 paper by Prathap et al.,☆15Updated 3 months ago