timmyyuan / Security-Papers
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
- This is the project of LearnAFL.☆27Updated 4 years ago
- A framework for identifying vulnerabilities in VS Code extensions☆17Updated 9 months ago
- ☆13Updated 4 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated 2 months ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆34Updated last year
- ☆27Updated 2 years 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
- ☆22Updated 5 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆36Updated 3 years ago
- VulZoo: A Comprehensive Vulnerability Intelligence Dataset (ASE 2024 Demo)☆42Updated last month
- ☆16Updated 5 years ago
- A set of Code-ql/Joern queries to find vulnerabilities☆58Updated 3 years ago
- ☆10Updated 4 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆40Updated last year
- ☆75Updated 3 years ago
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago
- ReDeBug Source Code.☆24Updated last year
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆46Updated last year
- Coverage-guided Fuzzing as Online Stochastic Control☆51Updated 5 months ago
- Hodor for node.js☆15Updated last year
- Collate and collect binary related materials, including papers, tools, etc. Now,there are the following categories: 1、Fuzzing☆58Updated 5 years ago
- KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities (Best Practical Paper Award of RAID 2024)☆59Updated 3 months ago
- FuzzBuilderEx is a system to build seed corpus and fuzzing executables using the test framework automatically.☆12Updated 2 years ago
- The tools used to train the models used for the ICISC paper "Recurrent neural networks for fuzz testing web browsers"☆28Updated 6 years ago
- AFL enhanced for concurrency bug and vulnerabilities☆20Updated 4 years ago
- The source code (including datasets) of V1SCAN (USENIX Security 2023; will be uploaded).☆40Updated last year
- ☆12Updated last year
- fuzz the linux kernel bpf verifier☆78Updated 3 years ago