timmyyuan / Security-PapersLinks
Security papers about software vulnerabilities and exploits
☆13Updated 6 years ago
Alternatives and similar repositories for Security-Papers
Users that are interested in Security-Papers are comparing it to the libraries listed below
Sorting:
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆37Updated 3 years ago
- ☆22Updated 5 years ago
- ☆19Updated 3 weeks ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Updated 5 months ago
- Grey-box fuzzer SIVO☆14Updated 3 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆13Updated 2 years ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆47Updated last year
- A collection of widely-fuzzed targets☆46Updated 5 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆34Updated last year
- Coverage-guided Fuzzing as Online Stochastic Control☆51Updated 7 months ago
- ☆19Updated 2 years ago
- This is the project of LearnAFL.☆28Updated 4 years ago
- a browser fuzzer☆37Updated last year
- ☆13Updated 4 years ago
- ☆36Updated last year
- A framework for identifying vulnerabilities in VS Code extensions☆18Updated 11 months ago
- AFL enhanced for concurrency bug and vulnerabilities☆20Updated 4 years ago
- ☆10Updated 4 years ago
- A set of Code-ql/Joern queries to find vulnerabilities☆62Updated 4 years ago
- ☆18Updated 2 years ago
- ☆77Updated 3 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆28Updated last year
- ☆15Updated 9 months ago
- ☆26Updated last year
- Python GUI for seeing what's happening inside a fuzzer☆26Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆30Updated 3 years ago
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆83Updated 2 months ago
- ☆27Updated 3 years ago
- ☆29Updated 3 years ago