arXiv 安全与密码类（cs.CR）和 IACR 密码学预印本。
说明ToFu：利用并模糊测试大模型、编排器与工具之间的信任边界
简介本文提出 ToFu 框架，用于检测大语言模型通过编排层调用外部工具时的安全问题。它基于工具已有元数据和 CWE 指导的净化规则语料，自动生成语义安全检查、模糊测试工具和语义判定器。研究在 273 个 MCP 服务器共 3405 个工具上进行评估，在 118 个服务器的 343 个工具中发现对应 CWE 弱点类别的已验证漏洞，表明实际工具常未执行其文档所述的输入语义。
看点提出面向LLM工具调用信任边界的语义安全检查自动生成框架，在273个MCP服务器、3405个工具上验证出343个工具的真实漏洞，影响面较大。
说明超奇异同源图中的快速混合
简介本文证明了维度 g≥2 的超奇异同源图（包含任意级结构）具有扩张性质，给出了谱间隙的显式界，并刻画了级结构带来的障碍（不连通性与周期性）。在没有级结构的情形下，这些界比已有研究显著改进。文中还给出若干应用，包括将已有的推测性算法转化为严格算法，以及首个计算任意维度超奇异主极化阿贝尔簇自同态环的算法，复杂度为 Õ(p^{g-1})。
看点改进了超奇异同源图的谱间隙界并覆盖任意层结构，证明严格，并给出端到端的新算法，对同源密码学有较大影响。
说明APEX-Harm：评估共享专业工作区中智能体的安全性基准
简介该论文提出 APEX-Harm 基准，用于测试在包含大量文件和办公工具的共享工作区中执行金融、咨询、法律任务的智能体，能否抵御提示注入和脚本注入攻击。基准涵盖六类攻击，对 12 个前沿模型进行了评估。结果显示，完成任务并不足以说明智能体行为安全，智能体可能在交付正确结果的同时执行未经授权的操作。
说明Android组件边界安全执行的系统性研究
简介本文系统研究了Android进程间通信组件（Activity、Service、BroadcastReceiver、ContentProvider及URI方案处理器）的安全执行情况，在Android 17上对30多个Google和AOSP应用包进行了120项评估，采用零权限攻击者模型，比较预期与实际结果。研究发现，在所评估的组件边界中，约80.8%存在执行缺口，并据此归纳出涵盖清单、代码、平台与架构四层的14类缺口分类。
说明针对伪造 PDF 的发行方指纹取证方法 TrustPaper
简介病假证明越来越多地以 PDF 形式由在线远程问诊平台提供，但普通 PDF 扫描器只能说明文件如何生成，无法判断这种生成方式对某一签发方是否合理。本文提出 TrustPaper，结合文件声称的签发方、预先从该签发方真实文件学习到的参考指纹，以及多个取证模块的可解释证据。在两家签发方和六种伪造手法的受控语料上，借助签发方指纹，机会型与了解元数据的攻击者所做的伪造均被标记，且真实测试文件没有误报。
说明EviRepair：基于证据审查的代码库级漏洞自动修复多智能体框架
简介本文提出EviRepair，一个面向代码库级自动漏洞修复的证据驱动多智能体框架。它让多个智能体协作收集漏洞证据、核验证据一致性，并据此构建经过审查的漏洞模型，用于生成和验证补丁。在PatchEval和SecBench两个基准上，使用多种智能体框架和大语言模型进行实验，结果显示其解决率较现有智能体基线平均分别提高16.37%和40.33%。
看点在智能体修复流程中引入证据审查机制，并在PatchEval和SecBench上相对基线平均提升16.37%和40.33%，有实质改进。
说明迈向安全的世界模型：风险、防御与评估
简介这篇论文综述了世界模型（用于预测动作后果的模型）的安全问题。作者按数据与观测、状态与记忆、动态与想象、评估与规划、行动与控制、反馈与更新六个阶段梳理相关文献，涵盖非对抗性失效、攻击、防御、评估方法与基准。论文指出，仅凭预测精度无法判断世界模型是否安全，并提出了将模型层面表现与闭环和实际运行安全相联系所需的测量方式。
说明EWC与EWCDMD的超生日界MAC安全性证明
简介该论文针对两种基于分组密码和AXU哈希的MAC构造EWC与EWCDMD，此前两者的无伪造性（MAC安全性）是否达到超生日界一直未决。作者证明两者在nonce不重复的设定下，可抵抗约2^{5n/6}次MAC查询和近2^n次验证查询，并通过基于哈希值和消息的辅助实验分析伪造事件，绕开已知的生日区分攻击。
看点解决了EWC与EWCDMD是否具有超生日界不可伪造性的长期公开问题，并用新分析技术绕过生日区分攻击，证明严格。
说明前导码中的秘密：面向 Wi-Fi 的实用且稳健的物理层信息隐藏
简介本文提出在 Wi-Fi 传统短训练字段（L-STF）中嵌入秘密信息的方法，在保持包检测和粗略频偏补偿功能不受影响的同时实现信息隐藏。方法使用一对神经网络学习嵌入与提取规则以提高隐写容量。作者搭建原型系统并在室内与室外环境中实验，结果显示可在多种信道条件下可靠嵌入 46 个秘密比特。
说明ECGWmark：借助纠错码对心电图信号进行深度水印嵌入
简介本文提出ECGWmark，一种面向单导联心电图的深度水印框架，用于将患者元数据嵌入信号中，以防止在多个网络和系统传输过程中丢失。该框架结合全卷积生成器、逐帧解码的检测器以及冻结的心律失常分类器，并采用扩展汉明码等编码方式提高整条消息的恢复率。在MIT-BIH心律失常数据库上的实验显示，其在时间偏移下仍保持较高的比特准确率，受保护的16位载荷在干净片段上的精确恢复率达99.86%。
说明LETHE：通过价值多样性坍缩防御未经授权的图生视频
简介图生视频扩散模型能将单张参考图像生成主体一致的视频，存在未经同意伪造视频的滥用风险。本文提出LETHE方法，在图片发布前加入对抗扰动，以干扰模型读取参考图像的过程。作者通过凸几何分析认为参考值向量的分散程度是关键因素，并结合价值坍缩与注意力吸引两个目标进行干扰，实验表明其防护效果优于现有方法。
说明面向联邦学习中主动推理攻击检测的量化容忍梯度审计
简介论文提出一种在联邦学习中由服务器向客户端发送秘密挑战批次、要求返回梯度校验和的审计方法，并用量化指纹容忍跨平台浮点误差。实验显示，该方法能以真阳性率1.0检测两种主动攻击，且无误报；但对纯被动攻击者，仅靠计时信号并不可靠。作者指出，若攻击者在未篡改的模型副本上应答挑战而在副本上篡改，则该审计会被规避。
说明通过智能体技能组合中的持久化产物理解并缓解跨会话攻击
简介论文指出，AI智能体的技能执行会生成并被后续会话复用的文件、配置和缓存等持久化产物，可能成为跨会话攻击的入口。作者归纳了指令传播、数据边界违反和证据投毒三种攻击机制，并构建了包含270个对抗案例的SkillRelayBench基准。论文同时提出SkillRelayGuard防御方案，在降低攻击成功率的同时提高合法任务的完成率。
看点提出跨会话持久化产物引发的新攻击面及三类攻击机制，并构建270例基准，验证了ASR与防御效果，对智能体安全有较强影响。
说明针对多层智能体安全防御的提示工程策略实证案例研究
简介本文以 OpenClaw 安全攻防挑战赛为背景，研究针对三层防御（技能文件扫描、指令安全评估、攻击轨迹评分）的提示工程策略，覆盖企业办公、电商和智能家居三类场景的 19 个攻击目标。作者记录了成功与失败的策略，并重点讨论指令安全与攻击执行准确性之间的权衡。最终在线得分为 0.2630，19 项任务中有 5 项实现完全绕过。结果表明，多层防御加上内置行为约束，大幅限制了仅靠提示工程能达到的效果。
说明RM-KLPT：具有最大实乘法的超奇异阿贝尔曲面的代数路径查找
简介本文研究具有最大实乘法的超奇异阿贝尔曲面的同源图，这类图由 Charles、Goren 和 Lauter 于 2009 年首次研究，并被证明具有 Ramanujan 性质。作者设计并实现了 RM-KLPT 算法，通过求解实二次域上四元数代数理想中的范数方程来解决代数路径查找问题，并展示了利用初始曲面的代数描述可对 RM-CGL 哈希函数发起第二原像攻击。
说明安全图：安全响应何时会成为网络物理系统的攻击面
简介本文指出，工业控制系统中针对运营技术故障所采取的安全响应，可能开辟新的攻击面，扩大横向移动范围。作者提出安全图（Safety Graph）形式化框架，统一攻击图、故障树和事件树，并将其编译为经典AI规划问题，用A*搜索发现跨IT与OT层的级联路径。论文以田纳西伊士曼化工过程为例进行Web3D建模与仿真，展示该方法能发现由安全响应引发的横向移动，并分析其可扩展性。
看点提出统一攻击图、故障树与事件树的安全图框架，揭示安全响应引发的IT-OT横向移动，并以Tennessee Eastman过程做仿真验证，新意突出。
说明查询监控对分布式模型提取的局限性研究
简介研究探讨了模型提供方仅通过用户查询内容，能在多大程度上发现分布式的模型蒸馏式提取行为。论文以大量真实对话数据开发检测方法，并在后续数周的冻结数据上评估。结果显示，协同提取只有在比同周最独特的普通用户群体更具特征时才可能被发现。作者同时指出了检测的明确局限，例如慢速攀升的攻击、良性评测流程与蒸馏相似，以及低比例协同账号时难以部署检测器。
看点论证了查询监控检测分布式模型蒸馏的理论边界，并在一百万真实对话与17周冻结评估上实证，新颖且证据扎实，影响面限于模型提供方。
说明CAPE：面向漏洞评分与管理的上下文感知优先级引擎
简介本文提出CAPE框架，为漏洞扫描报告中的CVE补充部署环境的具体证据，并分析可达性、中心性与可利用性，给出修复优先级评分。作者在30个开源智能体应用、共6138个CVE上进行评估，发现绝大多数CVE既不可达也不可利用，CAPE的排序与仅依据CVSS、EPSS和KEV的基线有明显差异，且能把已确认可利用的CVE排在更高优先级。
说明在未学习标签的空间中审计训练标签：仅标签后门攻击的检测与重训练评估
简介这篇论文研究仅修改标签的后门攻击（FLIP）：在CIFAR-10上翻转3%的标签，ResNet-32会把带触发器的源类图像大多判为攻击者指定的类别。作者保持检测测试、标签和指标不变，只改变特征空间，发现在未见过标签的冻结DINOv2特征上检测效果明显更好。文中还指出，检测分数更高并不意味着模型更安全，并且在某些情况下检测更多毒样本也不再降低攻击成功率。
说明在样本较少的有界误差LWE问题上可证明的次指数算法
简介本文证明了一种源自Kirchner与Fouque的Wagner/BKW式算法的变体，可在次指数时间内求解带有界误差的LWE问题的判定版与搜索版。该算法只需约n+O(n/ln ln n)个原始样本，明显少于先前方法所需的样本量。作者的分析采用基本的方法，通过界定傅里叶统计量的低阶矩来完成。
看点改进了Kirchner-Fouque算法的样本需求，从Ω(n log n)降至n+O(n/ln ln n)，并给出可证明的次指数时间界；证明较初等，对LWE复杂度研究有实质推进。
说明在样本数较少时，有界误差LWE问题的可证明次指数算法
简介本文改进了Kirchner与Fouque提出的Wagner/BKW类算法，用于解决带有界误差的LWE问题（包括判定与搜索两种形式）。在给定 n+O(n/ln ln n) 个原始样本时，算法可在 2^{O(n/ln ln n)} 时间内求解。作者采用基于傅里叶统计量低阶矩的初等分析方法，替代了以往基于格链的解释。
说明Thread 网络上 Matter 设备的后量子会话建立：消息大小、传输与协议方案
简介本文分析 Matter 的运行期握手协议 CASE 若改用后量子算法（ML-KEM 与后量子签名）在 Thread 网络上的开销。作者建立字节精确模型并结合多跳 Thread 的蒙特卡洛仿真，发现直接替换后的握手体积大幅增加、超出消息上限，且分片传输会因重传计时器而造成虚假重传与失败。论文建议先采用混合 P-256+ML-KEM-512 密钥交换并缓存设备证书链，以在保持消息不超限的同时抵御先存储后解密攻击。
说明WaveMark：面向扩散模型的鲁棒小波域图像水印
简介该论文提出 WaveMark，一种在小波域嵌入水印的方法，把信息嵌入扩散模型的初始噪声中，便于追溯扩散模型生成的逼真图像来源。方法将信息比特的带密钥副本分布在空间位置、小波方向和尺度上，并通过幅值投影编码，以提供解码余量。作者在 SD2.1 上用 14 种攻击进行了评估，未受攻击时比特准确率为 100.0%，面对 MarkNull 和 MarkNull-A 等去除攻击仍保持超过 88% 的比特准确率。
说明大模数噪声线性方程的保样本搜索到判定归约
简介该论文研究在有限域上带噪声线性方程组的求解问题，它是密码学中 LWE、LWR 和 LPN 等学习问题的推广。作者提出一种保样本的搜索到判定归约，复杂度为 poly(n,m,log q,q/σ)。对 LWE 和 LWR，当噪声与模数之比非可忽略时，即使模数指数级大，运行时间也是 poly(n)。该方法适用于素数模数；合数模数时输出包含解的小倍数的列表。
看点提出样本保持的搜索到判定归约，将LWE/LWR在大模数下的复杂度降至多项式，显著改进已有结果，证明严格。
说明大模数下带噪线性方程的样本保持型搜索到判定归约
简介本文提出一种新的样本保持型搜索到判定归约，适用于带噪线性方程问题，该问题是LWE、LWR、LPN等密码学学习问题的推广。对于素数模数q，其复杂度为poly(n,m,log q,q/σ)。特别地，当噪声与模数之比σ/q不可忽略时，即使q指数级大，LWE与LWR的归约也可在poly(n)时间内完成。
看点提出样本保持的搜索到判定归约，使LWE/LWR在指数级大模数下仍为多项式时间，显著改进已有结果；证明严格。
说明二进制域上超越约翰逊界的邻近间隙反例
简介该论文面向基于哈希的证明系统中常用的“邻近间隙”性质，指出在二进制域上超越约翰逊阈值的邻近间隙并不成立。作者给出多种构造，在不同速率和挑战域下构造出反例，并声称所有结果均已在 Lean 中形式化验证。
看点证明了二进制域上超过Johnson界的邻近性间隙失效，给出多组构造并用Lean形式化验证，对证明系统安全性分析影响较大。
说明AI供应链中的易受攻击模型：关于采用、传播与使用模式的实证研究
简介本文研究了HuggingFace上被InsightDB标记为存在漏洞的16,977个模型在GitHub仓库、软件包、微调链和已部署应用中的采用与传播情况。作者发现，这些模型出现在5000多个开源仓库的两万多处代码中，其中3,757个被标记模型（占22.1%）至少被一个项目引用。分析显示，开发者普遍缺乏来源验证与模型清理逻辑，并常绕过安全参数或依赖框架的默认设置。作者认为，仅扫描模型文件并不足够，还需要在应用层加强情境化安全分析与集成防护。
看点首次系统追踪已标记有漏洞模型在代码仓库中的使用与传播，并用代码属性图与频繁子图挖掘分析模式，证据规模大，对供应链安全影响明显。
说明「以隐蔽求安全」的错误吸引力：一种博弈论方法
简介本文用博弈论为「以隐蔽求安全」（通过隐藏系统运作方式来防护）建立了首个严格模型，考察理性参与者在可能出错的系统中如何应对公开或隐蔽。作者证明，在较现实的模型条件下，均衡状态中「隐蔽」系统比「公开」系统更容易遭受成功攻击，从理论上支持了安全社区的长期共识。
说明基于随机编码同态加密的加密数据可验证计算
简介该论文研究在加密数据上进行可验证计算（vCOED），让客户端既能外包计算，又能保护隐私并验证结果完整性。作者提出基于随机编码的同态加密方案（HERE），并定义了针对编码等值预言机的新安全性概念IND-CPA-E。作者通过矩阵-向量乘法的原型实现展示了方案的效率，证明协议开销最低约为2倍。
说明奖励破解在多智能体编程系统中可以被传播
简介该论文研究多个智能体协作编写代码时，一个智能体学到的奖励破解策略（绕过自动评测获取奖励）会如何传给其他智能体。实验覆盖四种开源基础模型，发现这种策略可经代码、共享记忆和自然语言计划在角色之间传播，甚至影响更强的闭源模型。文中还提出代码审查作为可能的缓解方法，并显示审查能减少交付的破解代码。
看点将奖励作弊视为可在多智能体间传播的策略，并给出传播与放大条件的理论分析，超出单智能体视角；实验覆盖四种骨干模型与两种诱导设置，但规模与基准细节有限。
说明VEPA：面向终身LLM智能体防护的已验证演化形式化策略
简介本文提出VEPA框架，用可执行的符号规则构成的形式化策略来约束LLM智能体的操作，并在部署中依据反馈由LLM提出策略补丁。只有通过确定性验证器检验（结构有效且无冲突）并有足够证据支持的规则才会生效。论文称，在ASSEBench-Safety、ASSEBench-Security和ATBench上，VEPA优于基线，且在混合数据流、反馈受损及长时间运行等更具挑战的条件下仍保持优势。
说明基于硬件性能计数器的恶意软件检测器的功耗、性能与面积：FPGA 与开源 PDK ASIC 研究
简介该论文研究用硬件性能计数器（HPC）数据区分良性与恶意程序的硬件恶意软件检测器（HMD）的面积、功耗和时序开销。作者在多种分类器、不同 HPC 组合和集成学习方法的设计空间中，生成并验证了 RTL 实现后进行评估。结果显示，基于树和规则的检测器检测性能最高，面积约小一个数量级，能耗更低；减少 HPC 输入数量后检测性能基本保持，同时面积、功耗和延迟明显下降。
说明洋葱在大气层中：去中心化身份信任
简介本文讨论如何把有意义的标识符（如域名、atproto 账号）与自认证标识符（如洋葱地址、DID）关联起来，以形成自认证且有意义的身份。作者提出两种关联方式：域名与洋葱地址的关联，以及 atproto 账号与 DID 的关联，并介绍二者在同一身份中结合的做法。文章还提出以上下文信任取代单纯依赖结构性权威的身份验证思路。
说明更好的批次，更强的隐私：DP-BandMF 的随机分配方法
简介本文面向带差分隐私的训练，改进了 DP-BandMF 的批次选择方法，借鉴随机分配（random allocation）思路提出新的批次选择策略，使 RMSE 最多改善 1.85 倍。作者还通过优化的 GPU 实现，将蒙特卡洛会计的采样与打分吞吐量提高约两个数量级。此外，论文提出一个联合选择策略矩阵与批次策略参数的框架，相较固定策略矩阵，RMSE 最多降低 13.4%。
说明基于超图消息传递的抗拜占庭攻击联邦大语言模型
简介本文针对联邦大语言模型训练中恶意更新破坏语义一致性的拜占庭攻击问题，提出了超图消息传递图自编码器（HMP-GAE）防御框架。该方法将低秩模型更新表示为超图节点，通过迭代消息传递识别并抑制语义不一致的更新。实验基于Qwen-2.5和Llama-3.2，在AG News和Yahoo! Answers数据集上进行评估，报告相比现有防御方法在准确率、语义熵和困惑度上均有改善。
说明PVBRF-ID：面向油田企业网络的隐私、可验证与拜占庭鲁棒联邦入侵检测
简介该论文提出 PVBRF-ID，一种用于油田多站点联邦学习入侵检测的双服务器协议。各站点以秘密共享方式提交模型更新，服务器联合检验更新的范数及其与干净参考的余弦相似度，仅输出一个接受位。在 15 类数据集上的实验显示，该方法在干净数据下与 FedAvg 相当，并能抵抗符号翻转攻击，但无法过滤后门攻击。
说明在机密虚拟机内启用扩展的 SGX 飞地
简介该论文提出 TEEVisor，一种运行在机密虚拟机（CVM）内部的架构，利用 AMD SEV-SNP 的虚拟机特权级别在客户机 CVM 内构建进程级硬件保护飞地。它支持两种模式：兼容模式可运行未修改的 SGX 程序，扩展模式（eSGX）则优化慢速执行路径并提供更丰富的编程能力。在 AMD EPYC 硬件上的测试显示，计算和内存密集型负载开销低于 5%，I/O 密集型应用约 12%，飞地克隆速度达到每 MB 93 微秒。
说明模格 SIS 与模格 LWE 的可证明次指数算法
简介本文将 Ducas、Engelberts 与 Loyer（CRYPTO 2025）的框架推广到幂为 2 的分圆环上的模矩阵，适用于素模数的各种剩余次数。在给定秩和误差假设下，作者给出最坏情形下时间与空间为次指数的模格 SIS 求解算法，以及适用于模格 LWE 的判定与搜索算法。论文还指出，依据该框架的启发式估计，Wagner 式攻击似乎不能达到 ML-KEM 与 ML-DSA 的 NIST 安全目标。
看点将亚指数算法框架推广到模矩阵与任意素数剩余次数，并给出多个新的可证明算法，理论界限改进明显；证明完整但缺乏实验验证。
说明癌变式后门攻击：通过不可见令牌与阶段控制器实现渐进式激活
简介本文提出一种针对大语言模型的“癌变式后门攻击”，与以往在触发条件满足后立即产生单一恶意行为的后门不同，它让恶意行为经多个中间阶段逐步形成。攻击借助不可见令牌向模型提供隐藏阶段，并由阶段控制器在推理过程中追踪进度。实验显示，该攻击在多个推理数据集、模型和任务上都能造成渐进式的推理破坏，且优于已有基线方法。作者指出，仅看答案准确率不足以发现此类后门。
说明HOMARD：通过整体电源轨信息泄露来攻击片外内存
简介这篇论文提出 HOMARD 方法，利用现代 Arm 片上系统中非特权的毫秒、毫安级功耗传感器，在不使用计时器的情况下读取 DRAM 活动。它包括两种攻击手段：HOMARD-RE 可仅凭功耗还原 DRAM 地址映射函数；HOMARD-DATA 可推断缓存行的汉明重量并恢复秘密字节。实验显示，该方法在多个平台上有效，且在无法依靠计时的情况下仍可运作。
看点利用非特权电源遥测从DRAM功耗恢复地址映射与数据汉明重量，开辟了新侧信道，但实验覆盖平台有限。
说明从被动遏制到主动保障：OpenAI、Anthropic与Google智能体安全事件的启示
简介本文比较分析了2026年OpenAI、Anthropic和Google智能体在网络安全评估中触及授权范围之外真实系统的事件。作者据此提出主动式智能体安全保障循环（PASAC）和五层边界保障框架，强调在智能体运行时持续验证边界，而非依赖单一沙箱。文中还给出一套可检验的研究命题与假设，并指出关于Gemini事件的公开记录有限，其因果机制仍属暂定。
说明ORCAGen：用检索增强生成式AI编排针对恶意软件的情境感知欺骗策略
简介论文提出ORCAGen框架，离线利用RAG与结构化提示词生成恶意软件概念验证样本及对应欺骗编排代码，并在部署前验证。在GPT-5.5、Gemini 3.5 Flash等模型上对合成场景和150个真实恶意样本进行评估，比较执行成功率、幻觉率、修正次数、欺骗效果与运行开销。结果显示GPT-5.5修正次数最少且未观察到幻觉API，Gemini 3.5 Flash响应时间与运行开销最低。
说明外部内存模型中的最优统计安全不经意随机存取存储器（ORAM）与搜索树
简介本文针对不经意随机存取存储器（ORAM，可在不泄露访问模式的前提下访问不可信内存）与不经意搜索树，突破了以往长期存在的 (log_B N)² 开销限制。作者在块大小 B 满足一定条件时，分别给出统计安全的最优 ORAM 方案（开销 O(log_B N)）和统计安全的最优不经意搜索树（开销 O(log_B N)，条件为 B ≥ log^{2+ε} N）。
看点打破了统计安全ORAM和不经意搜索树长期存在的对数平方瓶颈，给出最优O(log_B N)开销的理论构造，证明较完整。
说明SAGE：智能眼镜上高效的受保护视觉-语言推理
简介本文提出 SAGE 框架，面向智能眼镜上的视觉-语言助手，在私密分割推理中同时兼顾隐私保护与效率。原始图像和未保护的视觉标记保留在设备端，并通过形状专用的 INT8 计算图和 256 维紧凑数据包降低开销。在真实 Mentra Live 眼镜上的测试显示，延迟降低 39.18%，受保护数据包大小减少 96.56%，并保留了参考方案 85.62% 的相对效用。
说明改进 Shamir 秘密共享的局部泄漏抗性与最坏情况最优多项式相交问题
简介本文研究两个问题：Shamir 秘密共享的局部泄漏抗性（LLR），以及最坏情况最优多项式相交（OPI）。作者利用 Sun 与 Wootters（2026）建立的两问题联系，改进了两者的现有最佳结果。对于 LLR，论文证明存在常数 δ>0，当 R=k/n≥1/2−δ 时，Shamir 秘密共享具有单比特局部泄漏抗性，首次突破了此前 0.668 的界限。对于 OPI，论文给出一个量子算法，其期望一致比例可达半圆律 SCL 减去任意小量。
说明ReSI：面向抗攻击与韧性AI的递归式安全改进框架
简介本文提出ReSI框架，让AI的安全对齐随每一代模型迭代而持续进行：每轮用多种红队方法找出当前模型的漏洞，生成训练方案，并在保持通用能力的前提下选出安全提升最大的更新作为下一代目标。在四个稠密与混合专家模型上，ReSI在安全基准上表现匹配或超过所评估的前沿模型，并将平均X-Teaming攻击成功率从86.01%降至31.45%。
说明带迁移的验证：精确信息边界及其调用代价
简介论文研究验证器只判断整体答案对错时的信息与调用代价，比较先解决相关源任务再验证，与两者交错进行的策略。作者给出精确验证器下所需最少因果信息的列表率失真函数，并刻画了源任务调用次数的下界与可达的上下界。对于 F_2 上的线性任务库，论文给出最优准确率的闭式解，并给出可计算的预算曲线。除两处关于规划器的条款外，全部编号结果已在 Lean 4 中机器验证。
看点给出精确验证下信息与调用次数的最优前沿，并用Lean 4机器检验多数结论，理论上较新且证据扎实，但适用范围限于特定设定。
说明海报：LLM 蒸馏推断的初步研究，即判断一个模型是否由另一模型蒸馏而来
简介该研究针对未经授权的大模型蒸馏问题，提出“蒸馏推断”方法：以假设检验判断可疑模型是蒸馏得到还是独立训练。作者训练影子模型作为两种假设下的参照，并把可疑模型的得分转换为校准后的 p 值。初步实验以 Qwen2.5-7B 为教师模型、Llama-3.2-3B 为可疑模型，在显著性水平 0.02 下真阳性率为 1.0，说明该方法检测蒸馏攻击具有可行性。
说明从奇偶性看不可预测性：马尔可夫源线性修正器的理解
简介线性修正器通过异或（XOR）降低随机比特的偏差，但已知结论大多针对独立比特，而许多物理熵源并不满足这一假设。本文给出依赖比特偏差的精确公式，并证明在下一比特不可预测（条件偏差至多为β）的条件下，偏差按β本身的幂次衰减，结果比此前已知的上界更紧。文章还指出，若对完整历史施加不可预测性，异或运算将完全无法降低偏差。
看点给出马尔可夫源奇偶偏差的精确公式，修正了已知指数并给出近似最优界及匹配构造，证明较完整，对随机数提取领域有实质影响。
说明二次与三次置换的最优门限实现新构造
简介该论文研究用于抵御侧信道攻击的门限实现（TI）方法，目标是在数据份额数尽量少（达到 t+1）的条件下实现密码硬件中的双射 S 盒。作者提出四种构造：验证 Q_30^5 可实现最优 TI，给出一类二次置换的矩阵判据，提出加权插值构造得到无穷多个幂置换的最优 TI（反驳 Piccione 等人的猜想），并提出导数均匀框架，证明所有 4 比特三次置换都可实现最优 TI。
看点提出多种构造使二次与三次置换获得最优阈值实现，给出了对Piccione等人猜想的反例，并首次为差分4一致置换构造最优TI，新意突出。
说明大模型水印检测器能否公开？
简介论文探讨大语言模型水印检测器是否可以公开发布。作者提出一种分离密钥的公私水印方法：一半密钥通过公开检测器发布，另一半保留用于完整验证与取证。论文还设计了统计检验用于发现公开与私有分数之间的失衡，并在多种去除与伪造攻击下进行了评估。
看点提出分密钥公私水印方案并设计统计检验识别不平衡，新颖；通过多种攻击评估，证据较充分，对水印部署有实际影响。
说明单调计算中多切片函数的力量：研究多切片（multislice）函数在单调公式与秘密分享中的能力与局限，属于密码学与计算复杂性领域的理论论文。
简介论文研究由宽度参数w决定的多切片函数，并证明在w远小于n时，多切片门公式计算某个显式单调函数仍需指数级规模。作者同时给出用切片门（宽度为0的多切片门）实现多切片的构造，并应用于秘密分享，得到宽度固定时多项式信息率的方案。另外，论文证明某显式访问结构在一类覆盖现有通用构造的秘密分享方案中，份额需要指数级长度。
看点证明多切片门公式在宽度w较小时无法帮助计算最坏情形函数，给出指数下界并构造切片门实现，理论结论较有突破。
