Trajectory-Level Security Debt in LLM Coding Agents
该论文关注LLM编码智能体（coding agent）在解决任务过程中产生的安全债务问题。作者指出，编码智能体在提交最终方案前会经过数百个中间代码状态，而现有评测通常只看最终产物，导致安全发现（security findings）随轨迹演化
#software-engineering
共收录 6 条相关情报。
← 返回所有主题Specification Before Generation: A Pre-Registered, Five-Model Paired Evaluation of a Specification Frame for LLM-Generated Code in Money, Time, Idempotency, and Access Tasks
该论文研究一个在受监管后端开发中反复出现却长期未被有效解决的问题：大语言模型生成的代码在安全与正确性检查上的通过率四年来几乎没有提升，而在金融、医疗、保险等受监管场景里，真正致命的缺陷类别集中在四类——金额运算（精度、舍入、货币单位）、时间
A Catalog of User Authentication Patterns
本文针对安全模式（Security Patterns）在实际软件工程中应用有限的问题，指出尽管已有多个安全模式目录，但针对用户认证（Authentication）这一常见安全控制的模式仍然缺失。为此，作者提出一个新颖的用户认证模式目录，包含
SoK: From Generation to Consumption of Privacy Documents in Software Systems
本SoK论文从软件工程视角系统性地综述了隐私文档（如隐私政策）从生成到消费的全生命周期。作者分析了2010至2025年间发表的290篇相关论文，围绕五个核心研究问题展开：隐私文档如何定义与界定、如何生成、如何分析与提取、如何检查不一致性和不
"That's my perspective from 30 years of doing this": An Interview Study on Practices, Experiences, and Challenges of Updating Cryptographic Code.
该论文基于对30名具有加密代码更新经验的开发者和安全专家的半结构化访谈，系统研究了在实践中更新加密代码（如替换旧加密算法、升级库版本、迁移到新标准）时的实际做法、经验教训和面临的挑战。研究发现，开发者普遍依赖经验法则和社区最佳实践，缺乏系统
The EVerest Dataset for Secure Software Engineering
该论文提出 EVerest 数据集，用于支持安全软件工程中的端到端安全验证。EVerest 基于开源电动汽车充电桩软件栈，包含 84 个手动提取的安全需求（注释安全目标）、1445 个细粒度安全元素（组件、实体、数据、数据流、状态等）、验收