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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Industrial Cybersecurity Conference Index☆13Mar 11, 2024Updated 2 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 5 years ago
- ☆22Jun 7, 2025Updated last year
- Research paper collection for Linux kernel security from top security conferences.☆83Jan 5, 2018Updated 8 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 5 years ago
- Cases for high concurrency go programs☆11Jan 18, 2021Updated 5 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆37Apr 17, 2026Updated 3 months ago
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 4 years ago
- 2019 and 2020 Top Conference Paper☆12Apr 19, 2021Updated 5 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆24Aug 23, 2022Updated 3 years ago
- angr源码分析☆34Jan 6, 2020Updated 6 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
- 学习angr用，里面可能啥都有☆10May 8, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- My notebook about the study of IoT Home Security.☆18Feb 27, 2020Updated 6 years ago
- A data dependence analyzer for C program☆20Jan 23, 2022Updated 4 years ago
- https://hackmd.io/s/r1SgsdF3X☆10Dec 21, 2018Updated 7 years ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Oct 27, 2025Updated 9 months ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆37Dec 16, 2021Updated 4 years ago
- Code and experiments for the paper "A Partitioning Algorithm for Maximum Common Subgraph Problems"☆15Jun 17, 2020Updated 6 years ago
- Library to serialize and deserialize Syn syntax trees.☆28Jul 3, 2026Updated 3 weeks ago
- some kernel exploit challenges and cve analysis☆26Nov 30, 2018Updated 7 years ago
- ☆12Aug 5, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 4 Bit ALU with logisim for Digital Electronics Projects☆12May 15, 2019Updated 7 years ago
- compare software similarity using MOSS☆11Jun 23, 2019Updated 7 years ago
- Vibecoded DriverView except not only view.☆16Oct 5, 2025Updated 9 months ago
- Awesome LLM for Cybersecurity☆12Nov 16, 2024Updated last year
- A list of resources for the talk Rowhammer Revisited: From Exploration to Exploitation and Mitigation☆15Dec 13, 2023Updated 2 years ago
- some notes for how to build projects into a single LLVM bitcode file.☆18Jan 16, 2019Updated 7 years ago
- ☆27Feb 9, 2023Updated 3 years ago
- ☆35Nov 11, 2021Updated 4 years ago
- This is an implementation of the Language Server Protocol for Jimple. It enables your IDE to provide code exploring features while workin…☆12Dec 15, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Automated PWN exploit tool for CTF challenges☆15Mar 11, 2026Updated 4 months ago
- Advanced DSE bypass tool for Windows 11 Build 26200+. Features symbol-less kernel resolution via dynamic pattern scanning, KDP bypass via…☆22Jun 29, 2026Updated 3 weeks ago
- ☆19Feb 14, 2025Updated last year
- A list of AI autonomous agents in Web3☆11Jan 9, 2025Updated last year
- ☆13Apr 21, 2026Updated 3 months ago
- CMU 15-745 Spring 2014☆10Mar 7, 2014Updated 12 years ago
- Binary Ninja plugin for automating VMProtect analysis☆63Dec 2, 2022Updated 3 years ago