jiezhoucs / must-read
Lists of must-read papers (mainly security papers)
☆25Updated last month
Related projects ⓘ
Alternatives and complementary repositories for must-read
- Automatic detection of speculative information flows☆66Updated 3 years ago
- ☆17Updated 2 years ago
- Static range analysis for the LLVM compiler infrastructure.☆55Updated 5 years ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆60Updated 2 years ago
- rmem public repo☆40Updated 3 months ago
- Runtime type and bounds-error checking for C/C++☆101Updated 2 years ago
- Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…☆21Updated 11 months ago
- SUPA☆28Updated 4 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆56Updated 6 months ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆54Updated 7 months ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆37Updated 4 years ago
- CCG is a random C Code Generator☆42Updated 2 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆11Updated 9 years ago
- ☆44Updated 5 years ago
- ☆62Updated 5 years ago
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Updated 4 years ago
- Medusa Repository: Transynther tool and Medusa Attack☆18Updated 4 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆160Updated 4 months ago
- Rage Against The Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks☆15Updated 3 years ago
- Open-source release for MemSentry (EuroSys'17)☆46Updated 3 years ago
- a paper template☆50Updated last year
- A verification tool for many memory models☆77Updated this week
- Proof-of-concept for I See Dead Micro-Ops transient execution attack☆14Updated 3 years ago
- Piecewise debloating toolchain☆13Updated 4 years ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆30Updated 6 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Updated last year
- HW interface for memory caches☆26Updated 4 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago
- A collection of C/C++ programs and Python scripts to be used in conjunction with Intel Software Development Emulator (Intel SDE, availabl…☆28Updated this week
- Dynamic Program Slicing in LLVM Compiler☆133Updated 6 years ago