Security papers about software vulnerabilities and exploits
☆15Jan 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 5 years ago
- An Automated Heap Feng Shui Tool☆18Jun 27, 2022Updated 4 years ago
- ☆22Jun 7, 2025Updated last year
- Finding the potential null pointer exception☆29Dec 1, 2020Updated 5 years ago
- LLM for System/Software Security☆26Dec 29, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 4 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 6 years ago
- Godel Checker with data race detection☆10Feb 2, 2022Updated 4 years ago
- Sys, but no longer in Haskell☆20Mar 14, 2022Updated 4 years ago
- 2019 and 2020 Top Conference Paper☆12Apr 19, 2021Updated 5 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Oct 18, 2026Updated 2 weeks ago
- ☆13Mar 6, 2023Updated 3 years ago
- 学习angr用，里面可能啥都有☆10May 8, 2019Updated 7 years ago
- My notebook about the study of IoT Home Security.☆18Feb 27, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 通过ssrf漏洞对redis资产进行getshell的常见姿势☆10Aug 26, 2025Updated last year
- Ghidra plugin to identify obfuscated code and other interesting code constructs☆20Jul 1, 2026Updated 4 months ago
- patterns hiding in plain byte☆26Aug 18, 2026Updated 2 months ago
- https://hackmd.io/s/r1SgsdF3X☆10Dec 21, 2018Updated 7 years ago
- This novel black-box web vulnerability scanner attempts to infer the state machine of the web application.☆19Mar 12, 2020Updated 6 years ago
- ☆12Oct 5, 2023Updated 3 years ago
- A binary to LLVM translator☆161Jun 5, 2018Updated 8 years ago
- A data dependence analyzer for C program☆20Jan 23, 2022Updated 4 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Mar 15, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- some kernel exploit challenges and cve analysis☆26Nov 30, 2018Updated 7 years ago
- 机场签到python脚本☆12Sep 12, 2020Updated 6 years ago
- ☆12Aug 5, 2021Updated 5 years ago
- Most influential papers in programming languages☆62Jan 20, 2025Updated last year
- Functional Programming in C, because we can!☆14Nov 24, 2022Updated 3 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆37Dec 16, 2021Updated 4 years ago
- RL Gym for Security Agent Training☆12Jun 1, 2026Updated 5 months ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Jul 20, 2023Updated 3 years ago
- This is a simple library for Delphi that provides a CancellationTokenSource and CancellationToken much like those in .NET☆21Oct 30, 2026Updated last week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆27Feb 9, 2023Updated 3 years ago
- Interactive Source-to-source Transformations for Flow-based Applications☆10Jul 5, 2013Updated 13 years ago
- A ToB solution for flexibly detecting prompt injection risks across diverse open/closed AI infrastructure and packaged APIs.☆19Jun 26, 2025Updated last year
- Intel pintool to trace a Windows binary's execution path and create a dot file representation☆16Apr 24, 2020Updated 6 years ago
- Minimal example of a standalone program that depends on Joern☆12Feb 14, 2025Updated last year
- SpyStudio is the most advanced API monitor, that allows you to break the Operating System’s code execution, intercept and analyze any Win…☆20Apr 23, 2024Updated 2 years ago
- ☆16Jun 16, 2026Updated 4 months ago