本站已超过 12 小时没有更新（正常每 3 小时更新一次），下面的内容可能不是最新的。
本页没有符合条件的条目（筛选只在本页内进行）。
说明保留漏洞、破坏告警：用自然改写测试 CodeQL 污点追踪的鲁棒性
简介论文测试 CodeQL 对 JavaScript 污点追踪的鲁棒性：大语言模型在不了解实现的情况下，把告警路径上的一个函数改写成看似合理的维护性修改，且漏洞依然存在。在 172 条真实 npm 漏洞路径中，26.2% 的路径因改写而不再被报告。研究发现有七类缺口集中在库建模边界，因此告警消失不能直接说明漏洞已修复。
看点新意在于用自然保持漏洞的改写测试CodeQL污点追踪的鲁棒性，在172条真实npm漏洞流上发现26.2%被消除，并定位出七类建模缺口，跨分析器验证。
说明CapLite：小型语言模型智能体的提示注入防御，无需模型自行编写安全工件
简介论文研究针对提示注入的执行式防御，这类方法要求智能体自身模型编写安全工件再由代码强制执行。作者测试了15个开源模型，发现小型模型编写的策略、依赖图或约束存在被攻击的情况，CaMeL生成的程序也常常无法运行。作者提出CapLite，从工具模式推导策略，并只允许那些参数已在用户请求中明确写明的写操作，从而保证写入完整性，在13,935个受攻击的AgentDojo回合中未出现攻击成功。
说明论密码学上非线性的全有或全无变换
简介该论文研究无条件安全的密码学非线性全有或全无变换（AONT）。文中先用计算方法枚举（t,3,3）型AONT，证明非加性AONT存在，再提出一种利用逐坐标符号置换由线性AONT构造非加性AONT的通用方法。作者还用差分Δ_F一致性和Walsh幅值衡量所生成实例的非线性程度，并给出降低Δ_F一致性的理论条件与统计结果。
说明GRID-MRI：协同网络物理攻击下电力系统韧性评估
简介本文提出一种电力系统多维韧性指数（GRID-MRI），综合内生扰动严重程度、协同效应以及气候与经济监管条件，量化物理、网络和运行层面的性能退化。作者在改进的IEEE 39节点系统上，参照2025年12月波兰网络攻击事件设计了三种逐步升级的网络物理攻击场景进行验证。结果显示，协同攻击会导致系统崩溃，其韧性损失分别为加性估计值的3.72和4.09倍，说明简单加和评估存在局限。
说明语言隐写中单一历史分词歧义的最优消解方法
简介针对可证明安全的语言隐写术，本文指出接收方只能从文本中恢复词元，而分词歧义会导致提取失败。作者证明，在完全支持的语言模型下，单一历史的接收方在每一步都受限于无前缀的候选集，并必须放弃停止熵。随后提出「硬币投影」方案，可达到该理论界限，并在英、中、日三种语言上得到验证，其保留的字符串熵比 SyncPool 方法高出 2.16 至 6.85 倍。
看点证明单历史接收者必须放弃停止熵，并给出闭式的币投影方案达到该界，在英日中文本上验证并与SyncPool对比。
说明NonSense：FPGA防篡改传感器的（不）安全性研究
简介本文研究用于抵御故障注入（如毛刺攻击）的FPGA片上防篡改传感器。作者认为这些传感器本身是脆弱且研究不足的攻击面，并指出其检测与响应机制可在无需侵入式篡改的情况下被绕过。文中还讨论了供电网络的空间与频率特性、温度和长期老化对传感器可靠性的影响，并提出了加固检测与响应机制的对策。
说明可验证人工智能的基础设施：证明成本的去向与硬件如何帮助
简介本文研究如何让用户验证人工智能服务（包括大语言模型等基于Transformer的模型）是否按声明的计算执行，同时不暴露私有模型或数据。作者提出四层框架，连接可验证AI工作负载、证明系统、密码学内核与硬件平台，并对六种证明器和七种内核进行实测。结果显示，主要成本随证明系统和输入长度而变化，并指出硬件选型应围绕目标工作负载的成本特征进行。
说明编辑后水印文本的占比界限：功率包络与校准敏感性
简介本文研究水印检测器无法直接回答的问题：一个语料库中有多大比例的文本来自带水印的语言模型。作者针对Gumbel-max和KGW绿名单水印，在文本可能被未知程度编辑的情况下，利用最不利的下一词分布与序贯耦合，推导出由保留下限、熵预算和原位替换预算决定的功率包络，并给出占比的集合界与有限样本置信界。实验显示，在OPT-1.3B和Qwen3-1.7B生成的文本上，这些界限在多数重采样试验中覆盖真实值，但对零假设校准误差较为敏感。
说明《名存实亡的匿名化》：对欧盟委员会就《数字市场法》第6条第11款下谷歌搜索数据匿名化措施的批判性审视与再识别实验
简介本文审视欧盟委员会2026年7月提出的谷歌搜索数据匿名化措施，这些措施要求Alphabet依据《数字市场法》第6条第11款与竞争搜索引擎共享数据。作者指出其残余风险刻画、抑制阈值及对合同保障的依赖存在概念缺陷，并以真实谷歌搜索数据展示了低成本再识别、记录关联和敏感属性推断。作者认为这些措施未满足欧洲数据保护委员会确立的三项匿名化标准，不宜作为可靠的匿名化做法。
说明Maturity²：评估加密敏捷成熟度模型本身的成熟度
简介本文评估了三种面向行业的加密敏捷成熟度模型，这些模型用于帮助组织为加密体系迁移（如迁移到后量子密码学）做准备。作者依据既定的设计原则对其进行系统分析，发现的主要问题是缺乏可度量、可复现的评估标准，且对提升加密敏捷性的指导性建议有限。文章同时指出了各模型的个别优点，并提出了加强未来模型的具体建议。
说明STEALTH：不受底层张量硬件影响的隐写文本编码方法
简介这篇论文提出一种语言模型隐写方案，把秘密信息藏在由模型生成的文本中，没有密钥的人难以分辨。作者发现，现有可证明安全的方案在接收方的浮点精度、量化方式或GPU架构与发送方不同时，几乎无法正确解码。STEALTH通过基于密钥伪随机噪声的指数竞争采样，并结合无速率的spinal码与束搜索解码来应对这一问题。论文报告，该方案在多种精度、模型和不同GPU上都能正确解码所有测试消息，且隐写文本难以被检测器区分。
说明批处理、打包与证明：CKKS 同态加密更高效的可验证计算
简介该论文针对 CKKS 同态加密方案中的计算完整性验证问题，提出了多项改进技术，包括更高效的算术化方法、可支持批量求值的多项式承诺 BatchFold、消除范围证明中 O(N) 开销的打包技术，以及用于稀疏多项式求值证明的 SparsePack 协议。作者称，在通用神经网络架构上的评估中，其证明的规模和生成速度比已有方法小和快多个数量级。