paper-with-me

Papers

ProSec: Fortifying Code LLMs with Proactive Security Alignment

2024-11-19 · Xiangzhe Xu, Zian Su, Jinyao Guo, Kaiyuan Zhang, Zhenting Wang, Xiangyu Zhang

While recent code-specific large language models (LLMs) have greatly enhanced their code generation capabilities, the safety of these models remains under-explored, posing potential risks as insecure code generated by these models may introduce vulnerabilities into real-world systems. Existing methods collect security-focused datasets from real-world vulnerabilities for instruction tuning in order to mitigate such issues. However, they are largely constrained by the data sparsity of vulnerable code, and have limited applicability in the multi-stage post-training workflows of modern LLMs. In this paper, we propose ProSec, a novel proactive security alignment approach designed to align code LLMs with secure coding practices. ProSec systematically exposes the vulnerabilities in a code LLM by synthesizing vulnerability-inducing coding scenarios from Common Weakness Enumerations (CWEs) and generates fixes to vulnerable code snippets, allowing the model to learn secure practices through preference learning objectives. The scenarios synthesized by ProSec trigger 25x more vulnerable code than a normal instruction-tuning dataset, resulting in a security-focused alignment dataset 7x larger than the previous work. Experiments show that models trained with ProSec are 25.2% to 35.4% more secure compared to previous work without degrading models' utility.

📄 PDF Abstract BibTeX arXiv:2411.12882

Code (1)

PurCL/ProSec 공식 구현

Tasks

Code Generation

Methods 이 논문이 사용한 방법론

ALIGN In the ALIGN method, visual and language representations are jointly trained from noisy image alt-text data. The image and text encoders are learned via contrastive loss…

Similar Papers 제목 키워드 기반

Siren -- Advancing Cybersecurity through Deception and Adaptive Analysis

2024-06-10 · Samhruth Ananthanarayanan, Girish Kulathumani, Ganesh Narayanan

Siren represents a pioneering research effort aimed at fortifying cybersecurity through strategic integration of deception, machine learning, and proactive threat analysis. Drawing inspiration from mythical sirens, this …

Fortifying LLM-Based Code Generation with Graph-Based Reasoning on Secure Coding Practices

2025-10-08 · Rupam Patir, Keyan Guo, Haipeng Cai, Hongxin Hu arxiv

The code generation capabilities of Large Language Models (LLMs) have transformed the field of software development. However, this advancement also presents significant security challenges, as LLM-generated code often co…

Code Generation

Ensuring Transport Security; Features of Legal Regulation

2021-08-26 · Vitaly Khrustalev, Mattia Masolletti

The article analyzes the legal framework regulating the legal provision of transport security in Russia. Special attention is paid to the role of prosecutor's supervision in the field of prevention of crimes in transport…

A Survey on Proactive Defense Strategies Against Misinformation in Large Language Models

2025-07-05 · Shuliang Liu, Hongyi Liu, Aiwei Liu, Bingchen Duan 외

The widespread deployment of large language models (LLMs) across critical domains has amplified the societal risks posed by algorithmically generated misinformation. Unlike traditional false content, LLM-generated misinf…

Misinformation

The Cases LJP Never Sees: Prosecution Decision Prediction for More Complete Criminal Liability Assessment

2026-05-27 · Junyu Lu, Qi Wei, Peishuo Zheng, Jie Zhang 외 arxiv

Legal Judgment Prediction (LJP) has become a core benchmark for evaluating AI in the criminal legal domain, but it only sees criminal cases that have already passed prosecutorial review and been formally indicted. As a r…