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:
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Updated 10 months ago
- This is the project of LearnAFL.☆28Updated 5 years ago
- ☆27Updated 2 years ago
- ☆13Updated 5 years ago
- A framework for identifying vulnerabilities in VS Code extensions☆18Updated last year
- Grey-box fuzzer SIVO☆13Updated 4 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆36Updated 2 years ago
- A set of Code-ql/Joern queries to find vulnerabilities☆66Updated 4 years ago
- ☆16Updated 5 years ago
- ☆16Updated 2 years ago
- ☆12Updated 2 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆26Updated 3 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆37Updated 4 years ago
- VulZoo: A Comprehensive Vulnerability Intelligence Dataset | ASE 2024 Demo☆65Updated 8 months ago
- ☆10Updated 5 years ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆47Updated 2 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆14Updated 3 years ago
- ConfFuzz - Fuzzing for Interface Vulnerabilities☆47Updated 2 years ago
- ☆29Updated 7 months ago
- The repo of "BugLens"☆27Updated last month
- Sensitive and Collaborative Fuzzing with AFL☆27Updated 6 years ago
- Holistic Greybox Fuzzing of Multi-Language Systems☆27Updated 3 years ago
- ☆34Updated last year
- ☆10Updated 3 years ago
- ☆34Updated 4 years ago
- COVA - A static analysis tool to compute path conditions☆39Updated 5 months ago
- ☆19Updated 3 years ago
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 4 years ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆127Updated 3 years ago
- experiments for IJON☆12Updated 6 years ago