3 papers
cs.CR2026
The Language of Security: How Prompt Syntax Shapes Secure Code Generation in Open LLMs
Matteo Cicalese, Antonio Della Porta, Stefano Lambiase +4
Large Language Models (LLMs) are increasingly used for source code generation despite their outputs often exhibiting security vulnerabilities. Prior work shows that prompt engineer…
cs.SE2026
A Match Made in Heaven? AI-driven Matching of Vulnerabilities and Security Unit Tests
Emanuele Iannone, Quang-Cuong Bui, Riccardo Scandariato
Software vulnerabilities are often detected via taint analysis, penetration testing, or fuzzing. They are also found via unit tests that exercise security-sensitive behavior with s…
cs.CR2025
A Systematic Literature Review on Automated Exploit and Security Test Generation
Quang-Cuong Bui, Emanuele Iannone, Maria Camporese +7
The exploit or the Proof of Concept of the vulnerability plays an important role in developing superior vulnerability repair techniques, as it can be used as an oracle to verify th…