timmyyuan / Security-Papers
Security papers about software vulnerabilities and exploits
☆12Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for Security-Papers
- VulZoo: A Comprehensive Vulnerability Intelligence Dataset (ASE 2024 Demo)☆26Updated 3 weeks ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆13Updated last year
- ☆22Updated 4 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆29Updated last year
- ☆10Updated 4 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆16Updated 8 months ago
- Code and artifacts related to the Asia CCS 2022 paper☆35Updated 3 years ago
- ☆70Updated 3 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆23Updated 8 months ago
- 模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)☆20Updated 3 years ago
- aurora-d☆20Updated 2 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆16Updated last year
- ☆19Updated last year
- ☆27Updated last year
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆27Updated 3 months ago
- ☆23Updated 2 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated last year
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆14Updated last year
- ☆15Updated 3 years ago
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago
- This is the project of LearnAFL.☆27Updated 4 years ago
- KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities (Best Practical Paper Award of RAID 2024)☆37Updated last month
- A set of Code-ql/Joern queries to find vulnerabilities☆56Updated 3 years ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆50Updated last month
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆45Updated last year
- Official repository of SyzRisk [ASIA CCS'24]☆9Updated 3 months ago
- Grey-box fuzzer SIVO☆14Updated 3 years ago
- A framework for identifying vulnerabilities in VS Code extensions☆15Updated 4 months ago
- ☆24Updated last year
- Python GUI for seeing what's happening inside a fuzzer☆26Updated 3 years ago