Software Security

Latest papers 61

All topics
CardsList
  1. AuraForge: Scaling Security Supervision for Training Coding Agents

    Oct 1, 2026Danqing Wang, Songwen Zhao, Harsh Sharma +4AI Coding AgentsSoftware Security

  2. Evaluating Coding Agents on Kernel Exploit Generation

    Sep 22, 2026Junyoung Jang, Gwanhyun Lee, Hwiwon Lee +4AI Coding AgentsSoftware Security

  3. Seeing is Not Believing: Breaking the Physical-to-Digital Trust Boundary in Robotics

    Sep 8, 2026Leming Shen, Shikai Geng, Yuanqing Zheng +1CybersecuritySoftware Security

  4. VEX-Bench: Benchmarking LLM Agents for Assessing Exploitability of Software Supply Chain Vulnerabilities

    Sep 7, 2026Jiahao Shi, Edward Tsien, Yifeng Di +10LLM Agent EvaluationSoftware Security

  5. CodePoisonRAG: Knowledge Poisoning Attacks on Retrieval-Augmented Code Generation

    Sep 2, 2026Varun Gadey, Ziad Marey, Alexandra DmitrienkoData Poisoning AttacksSoftware Security

  6. Automated Vulnerability Injection in Smart Contracts Using Large Language Models

    Sep 2, 2026Luca Migliaccio, Roberto Natella, Naghmeh Ivaki +2Software SecuritySoftware Vulnerability Detection

  7. Athena: Vulnerability-Affected Library Identification via Knowledge Graph Completion

    Sep 1, 2026Phong Trinh Duy, Trang Dang Yen, Hung Nguyen-Huu +5Software SecurityKG Completion

  8. MACGen: Toward Functionally Correct and Secure Code Generation via Multi-Agent Collaboration

    Aug 26, 2026Miseon Yu, Jaehoon Choi, Younghan Lee +1Code GenerationSecure Code Generation

  9. CyberFactory: Scaling Cyber Security Capabilities with Instances from the Wild

    Aug 24, 2026Jian Yang, Haau-Sing Li, Shawn Guo +10CybersecuritySoftware Security

  10. Vulnerabilities, Secrets and Misconfiguration in the Highest-Exposure Docker Hub Images

    Aug 2, 2026Cristhian Kapelinski, Beatriz Machado, Diego KreutzSoftware Vulnerability DetectionCybersecurity

  11. An AI Approach to Verified Production Cryptographic Libraries

    Aug 2, 2026Chuyue Sun, Su Fong, Zhiyi Kuang +5Software SecurityProgram Synthesis

  12. EduPluginBench: Executable Assurance for AI-Generated Educational Plugins

    Aug 1, 2026Nizam KadirSoftware SecurityRuntime Assurance

  13. The Illusion of Secure LLM Code: Closing the Security Gap via Iterative Reprompting

    Jul 26, 2026Ishpuneet Singh, Shreyas Mahajan, Gurjot Singh +1LLM PromptingCybersecurity

  14. Understanding the Impact of AI Code Assistants on Security API Usage: An Empirical Study

    Jul 13, 2026Zahra Mousavi, Chadni Islam, M. Ali Babar +2AI Coding AgentsSoftware Security

  15. Do These Violent Delights Have Violent Ends? Measuring the Post-Merge Fate of Agentic Code

    Jul 10, 2026Chunqiu Steven Xia, Courtney MillerSoftware EngineeringSoftware Engineering Agents

  16. Advanced Topic Modeling Techniques for Categorizing Software Vulnerabilities

    Jul 4, 2026Utkarsh Tiwari, Spoorthi M, Anirudh S +1Software Vulnerability DetectionTopic Modeling

  17. Mastermind: Strategy-grounded Learning for Repository-Scale Vulnerability Reproduction

    Jul 2, 2026Mingzhe Du, Luu Anh Tuan, Tianyi Wu +4Software Engineering AgentsCybersecurity

  18. CyberChainBench: Can AI Agents Secure Smart Contracts Against Real-World On-Chain Vulnerabilities?

    Jun 24, 2026Jintao Huang, Fengqing Jiang, Radha Poovendran +1Automated Program RepairSoftware Vulnerability Detection