Lists of must-read papers (mainly security papers)
☆32Sep 18, 2024Updated last year
Alternatives and similar repositories for must-read
Users that are interested in must-read are comparing it to the libraries listed below
Sorting:
- Implementation of Tagged Memory security policies into Rocket Core☆10Nov 8, 2016Updated 9 years ago
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- Securing Embedded Systems with Return Address Integrity☆15Aug 19, 2024Updated last year
- ☆37May 15, 2022Updated 3 years ago
- Secure Virtual Architecture☆42Apr 12, 2019Updated 6 years ago
- Benchmark for memory store throughput☆23Jun 22, 2021Updated 4 years ago
- Pre-built bitcode files for the Linux kernel☆22Sep 18, 2019Updated 6 years ago
- ☆22Jun 17, 2022Updated 3 years ago
- ☆24Nov 23, 2019Updated 6 years ago
- Security benchmarks for the Internet of Things☆22Nov 11, 2020Updated 5 years ago
- ☆74Dec 5, 2019Updated 6 years ago
- Fuzzing Parsers with Tokens☆33Jan 14, 2021Updated 5 years ago
- relros.c applies RELRO to static binaries, and static_to_dyn.c applies ASLR to static binaries.☆34Jun 25, 2018Updated 7 years ago
- ☆37Jun 1, 2022Updated 3 years ago
- Overcooked! 2 TAS Development Framework☆10Aug 18, 2023Updated 2 years ago
- light ifconfig☆14Apr 13, 2019Updated 6 years ago
- Learn MLOps Tools in Arabic☆14May 21, 2024Updated last year
- ☆10Jan 31, 2022Updated 4 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 10 years ago
- A toy LDAP server in C for illustrative purposes☆12Apr 6, 2011Updated 14 years ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- Semantic model for aspects of ELF static linking and DWARF debug information☆53Jul 20, 2025Updated 7 months ago
- ☆12Oct 13, 2022Updated 3 years ago
- llvm with tablegen backend for capstone disassembler☆53Feb 21, 2026Updated 2 weeks ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Oct 26, 2022Updated 3 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆45Oct 4, 2019Updated 6 years ago
- The CompCert formally-verified C compiler☆10Updated this week
- popen2() - bidirectional popen()☆15Feb 1, 2018Updated 8 years ago
- Data structures and functions for simulation and analysis of the propagation dynamics of laser pulses in nonlinear waveguides☆11Nov 2, 2022Updated 3 years ago
- Telemetry system based on 8-bit AVR microcontroller with full TCP/IP stack (DHCP, NTP, HTTP)☆13Nov 13, 2024Updated last year
- ☆16Jun 14, 2024Updated last year
- A sparse and compressed bitmap library.☆13Aug 28, 2014Updated 11 years ago
- ☆12Apr 1, 2025Updated 11 months ago
- Disassembly of Super Mario Kart's SPC700 Audio Driver Code☆12May 17, 2023Updated 2 years ago
- Bare metal boot loader for the Raspberry Pi's VideoCore processor (no ARM!)☆15May 16, 2016Updated 9 years ago
- The Unix line editor☆16Feb 23, 2026Updated 2 weeks ago
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆10Feb 5, 2020Updated 6 years ago
- A tiny tool to learn the assembly code☆12Feb 17, 2017Updated 9 years ago