jiezhoucs / must-readLinks
Lists of must-read papers (mainly security papers)
☆30Updated 9 months ago
Alternatives and similar repositories for must-read
Users that are interested in must-read are comparing it to the libraries listed below
Sorting:
- Automatic detection of speculative information flows☆68Updated 3 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- rmem public repo☆43Updated last month
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆61Updated 2 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆38Updated 5 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆37Updated 9 months ago
- Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…☆26Updated last year
- A toolkit for building whole-program LLVM bitcode files☆77Updated 3 years ago
- ☆20Updated 3 years ago
- ☆22Updated 4 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated last year
- Microscope: Enabling Microarchitectural Replay Attacks☆19Updated 4 years ago
- SUPA☆28Updated 5 years ago
- ☆47Updated 3 years ago
- a paper template☆55Updated 2 years ago
- ☆35Updated 3 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- ☆63Updated 5 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Updated 2 years ago
- Concurrency Paper☆110Updated 2 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆60Updated last month
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆26Updated 4 years ago
- Runtime type and bounds-error checking for C/C++☆103Updated 6 months ago
- A formally verified security module for AMD confidential VMs☆47Updated 2 weeks ago
- ☆30Updated 3 years ago
- ☆49Updated 3 years ago
- Virtualisation platform using CHERI for isolation and sharing☆40Updated last year
- Public-facing course info for program analysis materials.☆41Updated 6 months ago
- CCG is a random C Code Generator☆44Updated 2 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 4 years ago