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
  ☆28Updated 2 months ago
• eth-sri / SafeCoder
  ☆48Updated last year
• SolidShen / RIPPLE_official
  ☆20Updated 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
• eth-sri / sven
  ☆123Updated last year
• PurduePAML / Machine-Learning-Security-Seminar
  Machine Learning & Security Seminar @Purdue University
  ☆25Updated 2 years ago
• ziansu / codeart
  Official repo for FSE'24 paper "CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking"
  ☆16Updated 7 months ago
• s2e-lab / SecurityEval
  Repository for "SecurityEval Dataset: Mining Vulnerability Examples to Evaluate Machine Learning-Based Code Generation Techniques" publis…
  ☆80Updated last year
• Co1lin / CWEval
  Simultaneous evaluation on both functionality and security of LLM-generated code.
  ☆27Updated last month
• ZZR0 / CodeAttack
  Adversarial Attack for Pre-trained Code Models
  ☆10Updated 3 years ago
• AI-secure / RedCode
  [NeurIPS'24] RedCode: Risky Code Execution and Generation Benchmark for Code Agents
  ☆52Updated 3 months ago
• YBRua / SrcMarker
  Code for paper "SrcMarker: Dual-Channel Source Code Watermarking via Scalable Code Transformations" (IEEE S&P 2024)
  ☆30Updated last year
• Sizhe-Chen / StruQ
  official implementation of [USENIX Sec'25] StruQ: Defending Against Prompt Injection with Structured Queries
  ☆48Updated 3 months ago
• wssun / BADCODE
  Backdooring Neural Code Search
  ☆14Updated 2 years ago
• OSU-NLP-Group / EIA_against_webagent
  ☆35Updated last year
• facebookresearch / SecAlign
  Repo for the research paper "SecAlign: Defending Against Prompt Injection with Preference Optimization"
  ☆72Updated 3 months ago
• SolidShen / BAIT
  🔥🔥🔥 Detecting hidden backdoors in Large Language Models with only black-box access
  ☆45Updated 4 months ago
• purdue-hcss / SecureChain
  ☆46Updated last month
• MarkGHX / BiScope
  Official Implementation of NeurIPS 2024 paper - BiScope: AI-generated Text Detection by Checking Memorization of Preceding Tokens
  ☆25Updated 7 months ago
• ShiJiawenwen / JudgeDeceiver
  [CCS 2024] Optimization-based Prompt Injection Attack to LLM-as-a-Judge
  ☆31Updated last month
• ltroin / llm_attack_defense_arena
  ☆82Updated last month
• xyq7 / GradSafe
  Official Code for ACL 2024 paper "GradSafe: Detecting Unsafe Prompts for LLMs via Safety-Critical Gradient Analysis"
  ☆60Updated last year
• eth-sri / robust-code
  Adversarial Robustness for Code
  ☆16Updated 4 years ago
• ARiSE-Lab / SemCoder
  [NeurIPS'24] SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning
  ☆26Updated 11 months ago
• soarsmu / attack-pretrain-models-of-code
  Replication Package for "Natural Attack for Pre-trained Models of Code", ICSE 2022
  ☆47Updated last year
• agiresearch / ASB
  Agent Security Bench (ASB)
  ☆137Updated 3 weeks ago
• Megum1 / BEAGLE
  [NDSS'23] BEAGLE: Forensics of Deep Learning Backdoor Attack for Better Defense
  ☆17Updated last year
• RoPGen / RoPGen
  ☆16Updated 2 years ago
• datasec-lab / CodeBreaker
  [USENIX Security '24] An LLM-Assisted Easy-to-Trigger Backdoor Attack on Code Completion Models: Injecting Disguised Vulnerabilities agai…
  ☆52Updated 7 months ago
• selfdefend / Code
  ☆26Updated 9 months ago