Alternatives and similar repositories for ProSec

Users that are interested in ProSec are comparing it to the libraries listed below

• purpcode-uiuc / purpcode
  🔮Reasoning for Safer Code Generation; 🥇Winner Solution of Amazon Nova AI Challenge 2025
  ☆31Updated 3 months ago
• SolidShen / RIPPLE_official
  ☆20Updated last year
• eth-sri / SafeCoder
  ☆49Updated last year
• reddy-lab-code-research / CodeAttack
  Code for the AAAI 2023 paper "CodeAttack: Code-based Adversarial Attacks for Pre-Trained Programming Language Models
  ☆33Updated 2 years ago
• wssun / BADCODE
  Backdooring Neural Code Search
  ☆14Updated 2 years ago
• AI-secure / RedCode
  [NeurIPS'24] RedCode: Risky Code Execution and Generation Benchmark for Code Agents
  ☆60Updated 3 weeks ago
• facebookresearch / SecAlign
  Repo for the research paper "SecAlign: Defending Against Prompt Injection with Preference Optimization"
  ☆75Updated 4 months ago
• PurduePAML / Machine-Learning-Security-Seminar
  Machine Learning & Security Seminar @Purdue University
  ☆25Updated 2 years ago
• eth-sri / sven
  ☆124Updated last year
• Co1lin / CWEval
  Simultaneous evaluation on both functionality and security of LLM-generated code.
  ☆28Updated 2 weeks ago
• OSU-NLP-Group / EIA_against_webagent
  ☆36Updated last year
• ZZR0 / CodeAttack
  Adversarial Attack for Pre-trained Code Models
  ☆10Updated 3 years ago
• ShiJiawenwen / JudgeDeceiver
  [CCS 2024] Optimization-based Prompt Injection Attack to LLM-as-a-Judge
  ☆36Updated 2 months ago
• YBRua / SrcMarker
  Code for paper "SrcMarker: Dual-Channel Source Code Watermarking via Scalable Code Transformations" (IEEE S&P 2024)
  ☆33Updated last year
• MarkGHX / BiScope
  Official Implementation of NeurIPS 2024 paper - BiScope: AI-generated Text Detection by Checking Memorization of Preceding Tokens
  ☆27Updated 8 months ago
• Lyz1213 / BadEdit
  ☆36Updated last year
• s2e-lab / SecurityEval
  Repository for "SecurityEval Dataset: Mining Vulnerability Examples to Evaluate Machine Learning-Based Code Generation Techniques" publis…
  ☆82Updated 2 years ago
• AI-secure / AgentPoison
  [NeurIPS 2024] Official implementation for "AgentPoison: Red-teaming LLM Agents via Memory or Knowledge Base Backdoor Poisoning"
  ☆175Updated 7 months ago
• YihongDong / CDD-TED4LLMs
  ☆15Updated last year
• SEC-bench / SEC-bench
  Automated Benchmarking of LLM Agents on Real-World Software Security Tasks [NeurIPS 2025]
  ☆42Updated 2 weeks ago
• datasec-lab / CodeBreaker
  [USENIX Security '24] An LLM-Assisted Easy-to-Trigger Backdoor Attack on Code Completion Models: Injecting Disguised Vulnerabilities agai…
  ☆53Updated 8 months ago
• PurduePAML / DBS
  ☆18Updated 3 years ago
• CodeGuardPlus / CodeGuardPlus
  CodeGuard+: Constrained Decoding for Secure Code Generation
  ☆17Updated last year
• purdue-hcss / SecureChain
  ☆46Updated 3 months ago
• lancopku / codable-watermarking-for-llm
  Repository for Towards Codable Watermarking for Large Language Models
  ☆38Updated 2 years ago
• AI-secure / PolyGuard
  ☆15Updated 5 months ago
• lancopku / agent-backdoor-attacks
  Code&Data for the paper "Watch Out for Your Agents! Investigating Backdoor Threats to LLM-Based Agents" [NeurIPS 2024]
  ☆102Updated last year
• ziansu / codeart
  Official repo for FSE'24 paper "CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking"
  ☆16Updated 9 months ago
• Sizhe-Chen / StruQ
  official implementation of [USENIX Sec'25] StruQ: Defending Against Prompt Injection with Structured Queries
  ☆52Updated 3 weeks ago
• ARiSE-Lab / SemCoder
  [NeurIPS'24] SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning
  ☆26Updated last year