Alternatives and similar repositories for ProSec

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

• SolidShen / RIPPLE_official
  ☆20Updated last year
• eth-sri / SafeCoder
  ☆48Updated last year
• purpcode-uiuc / purpcode
  🔮Reasoning for Safer Code Generation; 🥇Winner Solution of Amazon Nova AI Challenge 2025
  ☆18Updated last week
• reddy-lab-code-research / CodeAttack
  Code for the AAAI 2023 paper "CodeAttack: Code-based Adversarial Attacks for Pre-Trained Programming Language Models
  ☆31Updated 2 years ago
• wssun / BADCODE
  Backdooring Neural Code Search
  ☆13Updated last year
• AI-secure / RedCode
  [NeurIPS'24] RedCode: Risky Code Execution and Generation Benchmark for Code Agents
  ☆48Updated last month
• YBRua / SrcMarker
  Code for paper "SrcMarker: Dual-Channel Source Code Watermarking via Scalable Code Transformations" (IEEE S&P 2024)
  ☆29Updated last year
• ziansu / codeart
  Official repo for FSE'24 paper "CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking"
  ☆16Updated 5 months ago
• PurduePAML / Machine-Learning-Security-Seminar
  Machine Learning & Security Seminar @Purdue University
  ☆25Updated 2 years ago
• eth-sri / sven
  ☆121Updated last year
• ShiJiawenwen / JudgeDeceiver
  [CCS 2024] Optimization-based Prompt Injection Attack to LLM-as-a-Judge
  ☆30Updated 9 months ago
• Sizhe-Chen / StruQ
  official implementation of [USENIX Sec'25] StruQ: Defending Against Prompt Injection with Structured Queries
  ☆46Updated last month
• facebookresearch / SecAlign
  Repo for the research paper "SecAlign: Defending Against Prompt Injection with Preference Optimization"
  ☆66Updated last month
• OSU-NLP-Group / EIA_against_webagent
  ☆31Updated 10 months ago
• PurCL / ASTRA
  🥇 Amazon Nova AI Challenge Winner - ASTRA emerged victorious as the top attacking team in Amazon's global AI safety competition, defeati…
  ☆50Updated 2 weeks ago
• s2e-lab / SecurityEval
  Repository for "SecurityEval Dataset: Mining Vulnerability Examples to Evaluate Machine Learning-Based Code Generation Techniques" publis…
  ☆75Updated last year
• Co1lin / CWEval
  Simultaneous evaluation on both functionality and security of LLM-generated code.
  ☆22Updated 2 weeks ago
• xyq7 / GradSafe
  Official Code for ACL 2024 paper "GradSafe: Detecting Unsafe Prompts for LLMs via Safety-Critical Gradient Analysis"
  ☆59Updated 10 months ago
• ltroin / llm_attack_defense_arena
  ☆82Updated last year
• agiresearch / ASB
  Agent Security Bench (ASB)
  ☆107Updated 2 months ago
• AI45Lab / ActorAttack
  ☆100Updated 6 months ago
• SolidShen / BAIT
  🔥🔥🔥 Detecting hidden backdoors in Large Language Models with only black-box access
  ☆39Updated 2 months ago
• Megum1 / BEAGLE
  [NDSS'23] BEAGLE: Forensics of Deep Learning Backdoor Attack for Better Defense
  ☆17Updated last year
• RoPGen / RoPGen
  ☆15Updated 2 years ago
• MarkGHX / BiScope
  Official Implementation of NeurIPS 2024 paper - BiScope: AI-generated Text Detection by Checking Memorization of Preceding Tokens
  ☆23Updated 5 months ago
• AI-secure / AgentPoison
  [NeurIPS 2024] Official implementation for "AgentPoison: Red-teaming LLM Agents via Memory or Knowledge Base Backdoor Poisoning"
  ☆141Updated 4 months ago
• Lyz1213 / BadEdit
  ☆33Updated 10 months ago
• HKUST-KnowComp / LLM-Multistep-Jailbreak
  Code for Findings-EMNLP 2023 paper: Multi-step Jailbreaking Privacy Attacks on ChatGPT
  ☆34Updated last year
• SafeAILab / RAIN
  [ICLR'24] RAIN: Your Language Models Can Align Themselves without Finetuning
  ☆97Updated last year
• ARiSE-Lab / SemCoder
  [NeurIPS'24] SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning
  ☆24Updated 9 months ago