most citedToward Secure Code Generation: Bridging Correctness and Security via Task-Adaptive Vulnerability Modeling and Execution-Based Benchmarking

4 citations · 4 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2024★ 4 cited

Toward Secure Code Generation: Bridging Correctness and Security via Task-Adaptive Vulnerability Modeling and Execution-Based Benchmarking

Jiexin Wang, Xitong Luo, Liuwen Cao +9

Large language models (LLMs) are increasingly used for program synthesis, yet they often generate code that is functionally plausible but insecure. Progress in secure code generati…