timmyyuan / Security-PapersView external linksLinks
Security papers about software vulnerabilities and exploits
☆14Jan 16, 2019Updated 7 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:
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- Industrial Cybersecurity Conference Index☆13Mar 11, 2024Updated last year
- pentestMCP: AI-Powered Penetration Testing via MCP, an MCP designed for penetration testers.☆40Updated this week
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Aug 24, 2020Updated 5 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 3 years ago
- ☆20Jun 7, 2025Updated 8 months ago
- This novel black-box web vulnerability scanner attempts to infer the state machine of the web application.☆19Mar 12, 2020Updated 5 years ago
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 3 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Mar 15, 2020Updated 5 years ago
- A data dependence analyzer for C program☆20Jan 23, 2022Updated 4 years ago
- ☆26Feb 9, 2023Updated 3 years ago
- cinspector - a static C source code analysis framework☆29Jun 20, 2024Updated last year
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Apr 17, 2023Updated 2 years ago
- some kernel exploit challenges and cve analysis☆26Nov 30, 2018Updated 7 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆25Aug 23, 2022Updated 3 years ago
- ☆34Nov 11, 2021Updated 4 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆33Dec 16, 2021Updated 4 years ago
- A replication of the Baldur's Gate 3 Script Extender for MacOS☆22Updated this week
- angr源码分析☆33Jan 6, 2020Updated 6 years ago
- A static-analysis tool to detect C/C++ vulnerabilities based on graph comparison☆29Feb 26, 2021Updated 4 years ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Oct 27, 2025Updated 3 months ago
- ROP Benchmark is a tool to compare ROP compilers☆44Jan 26, 2023Updated 3 years ago
- headless-ida-mcp-server☆28Apr 4, 2025Updated 10 months ago
- Red-Team - AI Agent to Phish Employees based on Social Intelligence.☆22Dec 28, 2025Updated last month
- Python infrastructure to train paths selectors for symbolic execution engines.☆11Updated this week
- A comprehensive repository for malware analysis and threat intelligence, including Cobalt Strike Beacon configurations, YARA rules, IOCs,…☆14Oct 23, 2025Updated 3 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Nov 13, 2025Updated 3 months ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- COVA - A static analysis tool to compute path conditions☆40Jul 12, 2025Updated 7 months ago
- ☆10Sep 6, 2024Updated last year
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- ☆12Updated this week
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- ☆41Feb 25, 2019Updated 6 years ago
- ☆39May 11, 2023Updated 2 years ago
- GitHub action to generate a CycloneDX SBOM for .NET☆12Jul 15, 2025Updated 6 months ago
- Awesome LLM for Cybersecurity☆11Nov 16, 2024Updated last year
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- ☆10Jul 9, 2020Updated 5 years ago