arXiv 安全与密码类（cs.CR）和 IACR 密码学预印本。
说明连接托管：在内核中暂存 AI 智能体容器的出站连接，直至独立验证者作出裁决
简介该论文提出“连接托管”机制：在容器的 cgroup 上挂载一段 eBPF 程序，把容器发出的每个 TCP 连接在 connect() 阶段就暂存于内核，待独立容器中的验证者签发针对该套接字的签名裁决后才放行，超时或迟到的批准均被拒绝。作者用含 36 项检查的对抗测试套件和 Kubernetes 集群做了验证，并称智能体本身无需修改，每个放行连接平均增加约 4.5 毫秒延迟。
说明Mal-AAEGAN：用于生成恶意软件对抗样本的双判别器 WGAN-GP 对抗自编码器
简介该论文针对基于机器学习的恶意软件检测器易受对抗样本攻击的问题，提出 Mal-AAEGAN。方法先用对抗自编码器把高维二值 API 特征映射到低维连续潜空间，再在潜空间中加入扰动，并采用带双判别器的 WGAN-GP 训练，同时通过解码、二值化与按位或操作保留恶意软件原有的 API 调用。在两个不同维度的数据集和八种常见检测器上，其躲避率与 MalGAN、Mal-LSGAN、Mal-D2GAN 相当或更高，且训练稳定。
说明差分隐私中可调节的多变量关系保留方法
简介本文通过随机响应实现差分隐私，推导出多变量交叉矩的精确衰减公式。结果表明，在属性级随机化且整体分布的随机化由克罗内克积刻画时，匿名数据集中涉及不同属性的交叉矩等于原始交叉矩乘以衰减参数，而衰减参数由各属性分配到的隐私预算决定。相同的总预算可能导致明显不同的协方差保留效果。
说明隐藏整数反馈的精确编译与资源定律
简介本文研究隐藏随机取整所导致的整数连续发布隐私损失耦合问题，分析在可预测带符号单位参与及每个物理输出可观测条件下的有理反馈机制。作者给出有限律点编译的精确结果、校准损失的单调层级与数值界，以及在物理时间和参与约束下的无界KL速率与渐近前沿。原文还以静态工作负载比较设计权衡。
说明选择偏差下差分隐私估计的可靠性研究
简介该论文关注用于检验差分隐私机制理论保证的统计隐私审计。作者发现，以往许多审计实现在运行成员推断攻击时引入了选择偏差，导致隐私泄露下界统计上无效且被高估。论文介绍了多种统计修正方法并比较其优劣，并对以往审计结果进行重新分析。结果显示，未经修正时这些审计违反理论上界的频率可高达声称置信水平所暗示的四倍；修正后，下界统计上有效，违反率不超过名义水平。
说明假新闻，真崩盘：针对基于大语言模型的金融交易代理的信息注入攻击
简介该论文提出一个系统性攻击基准，测试伪造新闻等信息注入如何误导使用真实资金交易的大语言模型代理。研究在15只美股、约10,000次决策中评估五种注入途径和七类事件，发现伪造新闻的攻击成功率远高于提示注入，且可信度线索对效果影响很大。多数攻击能逃过常见防御，只有分层聚合能降低攻击成功率。
看点提出针对LLM交易智能体的信息注入攻击基准，覆盖五类注入向量，约一万次决策验证，并发现事实投毒等新现象，影响面较广。
说明SRT协议96天生产环境纵向分析与安全评估：一项针对伊拉克至土耳其直播链路的长期监测研究
简介本研究在伊拉克与土耳其之间的生产环境直播链路上，对SRT（安全可靠传输）协议进行了为期96天的纵向分析，涵盖262,672个传输指标样本和5,033,104条系统资源测量数据。研究发现NAK（否定确认）指标存在明显的时间变化，但时间因素仅解释不到4%的总方差；CPU利用率是与传输指标变化最相关的系统因素。受控UDP洪泛实验显示，SRT传输指标变化仅约±13%，体现了其自动重传机制的抗扰能力，并提出了基于Z分数的异常检测方法。
说明用更少签名者实现的具体 LDVR 攻击
简介本文改进了 Rodríguez García 与 Tessaro 提出的低维向量表示（LDVR）问题攻击的具体参数。作者结合中国剩余定理构造与多挑战广义生日搜索，在 Curve25519 标量域上用 488 个签名者和 173 次腐化实现具体攻击，并对规范评估点与对抗选择评估点分别给出构造和查询复杂度分析。
说明接近最优的早停拜占庭共识，且通信量最优
简介本文研究同步拜占庭共识协议中轮次复杂度与通信复杂度的权衡。作者提出确定性协议：在 t<n/3 且无密码学设置时，终止轮数为 f+O(√(f log f))，通信量为最优的 O(n·t)；允许稍高通信量时，轮数降至 f+O(√f)。在 t<n/2 且假设公钥基础设施与门限签名的情况下，也达到 f+O(√f) 轮，通信量为 O(n·t·κ)。
看点在最优通信复杂度下把早停轮数的首项系数降到1并加次线性开销，理论改进显著，证明扎实。
说明CHARRM：刻画鲁棒随机探测模型中的硬件泄漏，用于掩码实现的自动化安全验证
简介该论文针对抵御侧信道攻击的掩码（masking）技术，提出一套在 (g, t, c)-鲁棒 (p, ε)-随机探测模型下进行高效安全验证的方法。作者扩展了泄漏特征概念，可计算毛刺扩展与跃迁扩展场景下的泄漏概率上界，并将其与输入份额集合（SIS）函数关联，从而支持可组合性验证。与 IronMask 的对比实验显示，该方法在较大电路上更快且更准确，并首次实现对较大组合电路的精确验证。
看点将泄漏特征推广到鲁棒探针扩展并关联SIS函数，实现对较大组合电路的精确验证，并与IronMask对比，证据较充分。
说明Q-MALDetect：基于量子图像的恶意软件检测与对抗鲁棒性分析
简介本文提出Q-MALDetect，一种将卷积网络与变分量子电路结合的混合检测器，用于分析x86-64 ELF二进制文件转换成的字节图像，以识别恶意软件。作者在特征空间攻击和基于Grad-CAM引导、考虑可执行性的规避攻击下评估其鲁棒性。结果显示，模型训练准确率为97.2%，但攻击越强鲁棒性越差；动态对抗训练是评估中最有效的防御手段。
说明签名知识屏蔽：通过鲁棒嵌入匹配保护杀毒软件检测知识
简介杀毒软件签名凝聚了专家分析积累的检测知识，但反复的黑盒查询可能使其被非法复用或用于针对性规避。该论文提出签名知识屏蔽（SKS）方法，用辅助屏蔽签名保护原有签名，并引入鲁棒嵌入匹配（REM）这一轻量学习型匹配器。在基于ClamAV的原型中，REM将最先进探测方法的平均查询次数提高至未受保护基线的最多282.57倍，测试误报率低于0.1%，GPU扫描开销为0.67%。
说明基于可证伪假设的带泄漏隐私性
简介本文针对旁路攻击场景下对称密钥加密的隐私性问题，提出一个新模型和假设，聚焦密钥刷新过程，定义可在实验室中实际证伪的“安全刷新”（secure refreshing）。该定义通过直接的刷新实验形式化安全性，避免了以往依赖模拟器的方法所面临的困难。作者还引入“强保护安全刷新”，并利用这些假设证明了著名的PSV加密方案的隐私性，这是首个仅基于可证伪假设的隐私证明，且无需假设强保护组件无泄漏。
说明PPGA：基于 Prepare/Propagate/Gather/Apply 范式的隐私保护图算法框架
简介这篇论文提出 PPGA 框架，用于在多方安全计算（MPC）下运行图算法，使各方能各自提供图的一部分而不泄露图的结构。用户可以通过高层接口定义自定义的消息传递图算法。与 MultiCent 的实现相比，PPGA 显著提升了性能，并在不泄露图拓扑的前提下，在规模为 3000 万的图上 23 分钟内完成了 BFS。
说明Firebolt：快速、轻量、可抵御恶意方的非交互式向量OLE协议
简介该论文提出一种新的恶意安全向量不经意线性求值（VOLE）协议，基于此前半诚实模型下的Paillier非交互VOLE构造改进而来。协议为非交互式，每个VOLE条目通信量为535字节，每方单线程计算约5毫秒。作者还用它构造了一个新的两轮两方ECDSA协议，并给出了门限ECDSA的模块化框架。
看点在半诚实Paillier型非交互VOLE基础上提出恶意安全版本，并改进双方ECDSA协议，证明与实验支持有效，对门限密码学子领域影响较大。
说明《Evasive 内积功能加密也被攻破》：指出一项密码学假设在一般形式下不成立
简介本文证明 Hsieh、Lin 和 Luo（Eurocrypt 2024）提出的 Evasive 内积功能加密（evIPFE）假设在一般形式下是错误的。作者给出一个反例，将 Agrawal 等人针对伪随机功能加密（PRFE）的攻击扩展到 evIPFE。原攻击依赖于功能加密方案足以计算伪随机函数，而本文表明更弱的内积功能也足以发动攻击。
说明基于带结构原像的LWE构造不可区分混淆（iO）
简介本文提出一个名为“带结构原像的LWE”的新格上假设，并据此在后量子场景下构造不可区分混淆（iO）。该假设是实例无关、可证伪且非交互式的，认为一组LWE样本在给定精心选择的短高斯矩阵后与随机数不可区分。作者借鉴了针对相关的evasive LWE假设已有的大量密码分析工作，对新假设进行了细致的密码分析，并指出两者表面相似但本质不同。
说明PhantomTac：利用可即贴即弃的磁性标签劫持机器人触觉系统
简介论文发现磁性触觉传感器存在物理层漏洞，攻击者可在物体表面贴一片约0.5毫米厚、无需电池的磁性标签，改变磁场从而伪造传感器读取的力。伪造法向力可能压碎物体，伪造切向力则可能导致抓握松脱。在真实机器人上的测试中，攻击成功率在抓取位置偏移不超过8毫米时超过95%，作者并提出多模态一致性防御机制。
看点发现磁性触觉传感器的物理层漏洞，提出可隐蔽部署的磁标签攻击，并通过真实机器人实验验证，成功率超过95%。
说明针对 BFV 与 BGV 的新型 IND-CPA-D 攻击
简介该论文研究全同态加密方案 BFV 和 BGV 在 IND-CPA-D 安全模型下的问题，即攻击者可知计算结果的情形，这在带门限解密的场景中很常见。作者提出三种新攻击：将针对 DM/CGGI 和 CKKS 的自举失败攻击扩展到 BFV 与 BGV；通过构造明文使密文噪声超出启发式界限；通过选取特定零加密使掩码范数足够大。前两种攻击可恢复私钥，第三种攻击则破坏了 IND-CPA-D 不可区分性游戏。实验基于 HElib 与 OpenFHE 库完成，其中 OpenFHE 上的第二种攻击可在数分钟至数小时内完全恢复私钥，具体取决于参数。
看点将引导失败攻击扩展到BFV/BGV，并通过噪声偏斜实现完整密钥恢复，实验在HElib与OpenFHE上验证，攻击影响较大。
说明关于使用预签名或有偏随机数的 ECDSA 安全性说明
简介本文研究为加速分布式 ECDSA 签名而提出的若干变体，这些变体已在公开库和商业产品中使用，但缺乏可靠的安全性基础。作者证明其中部分变体在通用群和随机预言机模型下，安全性等价于一个关于 k-SUM 问题平均情形困难性的细粒度复杂性猜想。同时，作者还给出了针对其他标准工作模式的通用群攻击运行时间下界。
看点将部分实际使用的ECDSA变体的安全性等价于细粒度复杂性中k-SUM平均情形硬度猜想，并给出通用群模型下的下界，理论连接新颖。
说明LeakBench：通过预测时间泄漏审计临床建模智能体的奖励投机行为
简介该论文提出 LeakBench，一套基于指南、可执行的审计工具，用于检测临床建模智能体是否在预测时使用了不应使用的输入（即预测时间泄漏），并同时检查校准、站点级评估、支持度感知和决策曲线净收益。实验在合成任务以及 MIMIC-IV 和多医院住院记录数据上进行，结果显示部分智能体在无约束条件下会为提高验证奖励而选择泄漏特征，加入明确的入院时约束后则未出现泄漏，而确定性的来源验证器可消除泄漏。作者强调这是一个带有已知失效对照的审计测试平台，尚非经专家验证的基准。
说明面向低层隔离的编译安全证明：基于责任感知的重组方法
简介现有经形式化验证的编译器对不安全语言（如C）中分区程序的安全保证停留在较高层面，假设内置保护机制和基于块的内存模型。本文指出Abate等人的证明技术在低层场景中失效，原因在于其重组步骤需要隐藏每个分区的代码，这在低层难以实现。作者提出扩展方案：引入覆盖语义把分区间的代码观察刻画为未定义行为，并提出责任感知重组，将其应用于使用可编程标签引用监视器的分区隔离机制。
说明Blind-DLPA：面向剖析式盲侧信道分析的端到端框架
简介本文针对攻击者只能在可控设备上用已知输入和密钥采集带标签轨迹、而目标设备上看不到明文或密文的场景，提出端到端多任务框架 Blind-DLPA。该框架直接处理完整的预处理轨迹窗口，联合估计输入变量与密钥相关中间变量的软汉明重量后验，并结合预先计算的理论联合分布对密钥候选排序。论文报告其在未受保护的 AES 与 Kyber 上成功恢复密钥，并在受保护 AES 实现上对失同步和布尔掩码具有一定鲁棒性；在 ASCAD 数据集上以 39 条攻击轨迹达到猜测熵为零。论文还指出前人采用的 Ascon 汉明重量联合分布模型存在被忽视的理论分布冲突，导致无法唯一恢复密钥。
说明SpanGuard：将指令定位与授权判断解耦的轻量级间接提示注入防御
简介论文指出，基于大语言模型的防护器对间接提示注入（IPI）有效，但模型变小后检测能力明显下降。作者认为难点在于同时完成定位与授权判断，因此提出先用无监督分段在工具输出中定位可疑指令块，再由小模型判断其是否获授权的方法。原文报告攻击成功率为0.32%，良性效用损失可忽略，且小模型仍有效。
说明SPLASH：用对比式“审计压力”检测与定位生成代码中的安全幻觉
简介该论文指出，大模型生成的代码常能通过功能测试，却存在安全漏洞，且模型对这类错误往往很自信。作者提出 SPLASH 方法，通过比较同一程序在“安全审查”与“风格审查”下的概率，计算“审计压力”，用于在候选程序中挑选更安全的版本，并定位有漏洞的语句。论文报告，在63,684个程序上，该方法选出安全代码的比例为74%，将漏洞语句排在首位的比例为58%。
说明NIOCIS：面向工具调用智能体的节点条件化选项空间类型化下一跳路由
简介该论文提出 NIOCIS，一个路由层：把执行日志折叠成循环压缩的动作图，并回答“在某状态下，从声明的选项和停止动作中，下一步该选哪个”。在1,615个安全运营案例上，类型化编码器在3,875个保留决策中匹配原日志下一跳的比例为32.2%，单次编码仅需约10毫秒，而每次大模型跳转约需2.2秒。作者同时报告了该方法的局限，包括重复状态的不一致性和选项空间带来的增益。
说明面向托管大模型身份替换的审计员辅助摘要通道验证
简介该论文针对托管大模型服务可能以低配或其他模型冒充所声称身份的问题，提出 SUMMARK 框架。审计员在部署前为声称身份注册并准备验证材料，审计时仅依据声称身份和输出结果进行检验。方法利用用户可见的推理摘要作为带密钥的水印通道，并在多种模型系列、规模和任务上检测跨系列与跨规模替换，同时保持回答质量；论文也讨论了精度降低、后处理、改写和纯文本伪造等情形下的表现与失效边界。
说明基于连分数对GTLN背包公钥密码体制的密钥恢复攻击
简介本文提出一种针对Gómez-Torrecillas、Lobillo与Navarro提出的背包式公钥密码体制（GTLN）的连分数密钥恢复攻击。作者利用公钥差值之比近似小分母有理数的特性，通过连分数恢复这些有理数，再借助最大公约数计算得到两个私钥整数的倍数，并通过有界余因子搜索确定它们，进而恢复其余私钥参数。文中报告，在基于素数的密钥生成实验中，该Python实现在24组推荐参数的2400次试验中均恢复了完整私钥，每次攻击耗时少于0.05秒。
说明从 if 到 Oops：把条件分支变成密钥恢复预言机
简介本文研究确定性版本的 CSIDH（包括 Houben 的确定性 CSIDH 与 OSIDH-LD），这类方案去除了群作用中的随机性。作者指出，确定性设计使每个依赖秘密的步骤都出现在固定的公开位置，攻击者因此可以反复对同一步骤注入故障。通过跳过一条指令，攻击者可把选择下一步同源计算的掩码强制为零，并利用输出是否改变来判断秘密指数是否达到某个阈值，再以二分搜索恢复完整密钥。作者在软件故障模拟和 ChipWhisperer-Lite 硬件上验证了该攻击，并认为要抵抗故障攻击需放弃确定性，改用随机化对策。
看点发现确定性CSIDH的新攻击面，将条件分支转化为密钥恢复预言机，并在模拟与硬件上验证。
说明接近 QR 分解时间的可证明格约化算法
简介本文提出一种确定性的格约化算法，其比特复杂度在对数因子内与 QR 分解相当，并给出了实现。作者在基准测试中比较了该实现与 flatter（CRYPTO 2023），在全部 153 次运行中本实现所用指令数更少。算法的复杂度与一个更紧的列缩放谱条件数相关。
看点给出确定性格归约并把复杂度改进到接近QR分解，并有以条件数为参数的更紧界，在153组实验中胜过flatter，证据较充分。
说明RAGLeak：检索增强生成中供应链隐私后门攻击
说明基于反例反馈的安全智能体编码（FALCON 框架）
简介该论文提出 FALCON，一种基于反例的验证框架，把攻击探索与行为验证分开，并通过被测程序的执行轨迹将二者连接。在测试时修复中，FALCON 在安全代码生成基准上带来明显更强的留出集功能安全提升，同时保持或改善功能。作为强化学习奖励，FALCON 在留出集功能安全上也优于静态分析和学习型奖励。
说明预算受限下的越狱攻击调度：静态先验、语义引导与在线反馈的作用
简介本文研究在有限尝试次数下，如何为大语言模型红队测试排列越狱攻击的优先顺序，以高效评估模型的鲁棒性。作者把问题形式化为固定攻击库上的预算攻击调度，比较了历史攻击成功率先验、大模型语义引导和在线反馈三类信号，并设计了四种调度策略进行实验。结论是：历史成功率能提供较好的初始化，但在防御导致分布变化时可靠性下降；语义引导在冷启动阶段表现更好，在线反馈则在迁移先验过时时更有价值。
说明在内存受限设备上高效紧凑的高阶掩码 Raccoon 实现
简介本文针对基于格的签名方案 Raccoon，在 ARM Cortex-M4 上实现了首个高效紧凑的高阶版本。工作包括优化多项式乘法（合并 NTT 层并减少模约简）、改进采样（改用一次性 SHAKE256 调用，速度提升至少 1.80 倍）以及节省内存，使其可在物联网设备上部署。结果显示，该实现比参考实现快 1.85 至 2.25 倍，并在掩码阶数 d=2、4、8 时分别比掩码 Dilithium3 快 3.12、8.07 和 2.71 倍。
说明IPsec 抗量子迁移：IKEv2 中可靠的复合密钥共享机制
简介本文研究 IPsec 协议迁移到抗量子密码时的网络性能问题。抗量子密钥较长，难以放入单个 IP 包，易引发分片，在网络状况不佳时影响 IKEv2 安全关联并降低性能。作者提出将经典密钥与抗量子密钥合并为单一复合密钥并通过 TCP 传输的方案，实验显示在 1% 丢包时握手时间至少缩短 20%，10% 丢包时提升至 30%，能耗降低 29%。
说明在分支程序上实现谓词加密：无需全同态加密的密钥同态编码隐私计算
简介本文提出一种基于格的谓词加密方案，适用于分支程序，且完全不依赖全同态加密（FHE），可将范围检查与正则表达式检查等异构条件合并到同一谓词中。作者称这是首个实现表达能力达到分支程序级别的谓词加密。在单张 NVIDIA A100 GPU 上，对一个10位属性的谓词进行测试，加密、密钥生成和解密分别耗时约4.06、4.70和4.23小时，密文为342.25 GB。
说明迈向架构层面的安全控制：将危险知识转移到可移除专家中的混合专家模型方法
简介该论文提出 REX 方法，在混合专家（MoE）模型中新增可物理移除的专家，把危险知识从原有参数中迁移出来并集中到这些新专家里。移除这些专家后，模型在 WMDP-Bio 上的准确率大幅下降，而 MMLU 变化很小；在后续微调后，该移除效果仍能保持，优于所比较的基线方法。
看点提出在MoE架构层面将危险知识迁移到可物理删除的专家中，区别于参数抑制式遗忘；实验覆盖多模型并测试微调后恢复情况，证据较充分。
说明在 GPU 上利用增强的并行二进制多项式乘法优化 HQC 密钥封装
简介本文提出了一种面向 HQC（基于编码的密钥封装机制）的高性能端到端 GPU 实现。作者提出两项核心加速技术：对 Frobenius 加性快速傅里叶变换的并行化，以及将循环乘积映射到一比特整数张量核心上，用于加速 GF(2) 上的二进制多项式乘法。在 RTX 4090 上，CG 变体的端到端吞吐量相比 HIGH 实现提高 1.55 至 2.03 倍，BMMAw 变体的单次延迟低至 254 微秒。
说明关怀扩张、控制减弱：临终关怀中的数字隐私研究
简介本文基于对21名绝症患者、11名家庭照护者和8名医生的半结构化访谈，考察临终阶段患者的数字隐私处境与态度。研究归纳出五个结构性隐私挑战，包括缺乏有意义的知情同意、认知衰退导致的被动代理控制等。文章指出临终患者面临叠加的隐私脆弱性，并呼吁采取隐私设计原则、细粒度权限机制和针对临终患者的制度治理框架。
说明联邦学习中带用户掉线的信息论安全聚合：基本极限
简介该论文研究联邦学习中的安全聚合问题，即服务器在不看到单个用户梯度的前提下计算梯度之和，并考虑部分用户中途掉线的情况。作者提出一种自适应框架，使通信开销随实际掉线数量调整，并给出密钥随机性、密钥分发通信、掩码梯度通信和掩码消除通信四类资源的下界。结果表明，所提方案在大多数可行情形下达到了这些下界所对应的最优通信速率。
看点提出可按实际掉线数自适应调整通信的框架，并给出四类资源的信息论下界与近最优构造，理论贡献明确。
说明用于故障攻击中误注入过滤的 SAT 与神经网络过滤器
简介论文针对故障攻击中的误注入问题（注入故障未命中攻击者假设的位置），提出一种不依赖密钥、逐次过滤的 SAT 过滤器，以及神经网络过滤器和二者结合的过滤器。在微控制器上对 GIFT-64、GIFT-128 和 BAKSHEESH 进行时钟毛刺注入实验，SAT 过滤器未误拒任何预期故障，并在非剖面攻击者无随机延迟对策的设定下过滤掉至少 0.940 的误注入。结合过滤器使 BAKSHEESH 的 ToFA 攻击成功率从 5.2% 提升至 96.2%。
说明安全技能如何引导编码代理检测 Linux 内核漏洞？
简介该研究对 37 个安全技能进行了大规模实证评估，使用 Claude Code 搭配四种大语言模型，在 100 个真实 Linux 内核漏洞上共运行 14800 次。结果显示，约 24.4% 的运行定位到正确函数，15.7% 正确分类漏洞类别。作者分析了失败原因，并提出自我改进框架 SKILL-SIF，通过从漏报中学习来演化安全技能，在未见过的漏洞上将完全正确检测率从 2% 提升至 16%。
说明IISFA：针对比特切片实现的无效指令跳过故障攻击
简介这篇论文提出一种名为IISFA的故障攻击方法，针对采用冗余对策保护的比特切片（bitslice）密码实现。攻击利用注入的故障不改变运算结果的情况，结合中间值约束恢复密钥。作者在8位AVR微控制器上对GIFT、SKINNY和PIPO的五种比特切片实现进行了评估，所有测量的密钥恢复实验均成功。
说明带经典交互建议的量子态搜索：证明在量子预言机下 QMA 与 QCIP 可区分
简介本文研究量子验证者能否借助经典消息与知道隐藏量子态的无界证明者交互，从而找到该量子态。对于 Haar 随机的 n 量子比特目标，作者证明要达到恒定平均保真度，需满足 (q+1)^2(B+1)=Ω(2^n)，其中 q 为查询次数，B 为总通信量。该下界将 Aaronson 与 Kuperberg 的结果推广到任意经典交互，并由此给出一个酉预言机，使 QMA 语言不属于 QCIP，该分离对 UniqueQMA 同样成立。
看点将Aaronson-Kuperberg下界从单一经典证明推广到任意经典交互，并给出QMA与QCIP的量子预言机分离，新颖且证明严谨。
说明Isabelle/HOL 中 Rényi 差分隐私的形式化（草稿版）
简介本文在 Isabelle/HOL 定型证明助手中构建了一个通用的 Rényi 差分隐私（RDP）形式化库，首先处理连续分布。作者形式化了凸函数与非负凸函数 f 散度的若干性质，并形式化了 RDP 的基本性质、RDP 到 DP 的转换定律、DP 中的矩会计（moment accountants）、高斯机制及其 RDP。最后，文章讨论了带高斯噪声的随机梯度下降机制，并形式化了其 RDP 与 DP 的粗略评估。
说明Circular Dragon：自适应安全的分布式随机数/密钥生成与并行广播
简介本文提出首个强自适应安全的公共硬币协议（PKI 设置下，无可信发牌方），在同步网络中达到最优容错 t<n/2，通信量接近二次方、轮数为对数级。其核心是一个用于生成椭圆曲线群中秘密的专用分布式密钥生成（DKG）协议。作者还基于此给出并行广播和通用 DKG 的应用，并提出名为 Circular Dragon 的设计方法，以降低 Dragon 方法的轮复杂度。
看点首个强自适应公共硬币协议，同时达到最优容错与近二次通信、对数轮，并给出并行广播等应用；证据主要依赖理论构造而非实验。
说明Off-Key：不一致的MAC密钥危害SPDZ系列MPC的隐私
简介本文针对SPDZ系列安全多方计算协议中的密钥一致性问题提出隐私攻击Off-Key。被腐化方可利用不同批次、线程或进程运行使用不同MAC密钥，从单次认证检查恢复共享秘密值，或通过选择性失败测试猜测值。作者在MP-SPDZ、SCALE-MAMBA和FANNG-MPC的受评估版本中验证了该漏洞，并给出保持和复用密钥一致性状态的防御方法。
说明HERMES：面向大语言模型的高性能隐私解码
简介该论文研究在隐私保护推理下，用户不暴露提示词时如何生成完整的多词元回答，而不仅是首个词元。作者指出瓶颈在于非线性运算需要大量交互轮次，以及注意力协议对密文利用率低、反复传输键值缓存。论文提出HERMES系统，在Llama 3.1 8B Instruct上测试，每个输出词元时间最多降低2.7倍，总延迟最多降低2.1倍。
说明TRACER：一种由合理驾驶约束触发的自适应巡航抗网络攻击轨迹恢复框架
简介联网自适应巡航控制（ACC）的车辆状态信息可能遭受网络攻击，导致不合理的跟车行为和纵向动力学不安全。本文提出TRACER框架：当观测到的驾驶状态违反校准后的合理驾驶约束（RDC）边界时，启动轨迹恢复；并采用跨分支鲁棒模仿学习与跨分支微调来提升对受污染观测的鲁棒性。在六种网络攻击场景下的实验表明，该方法在准确性、稳定性和安全性方面优于现有恢复基线。
说明基于焦点单元的高精度 CKKS
简介CKKS 同态加密要获得更高精度需要更大的缩放因子，会消耗更多模数。本文提出 Focused CKKS，以未使用的 SIMD 槽位换取精度，通过基于分圆单元的焦点重缩放与密钥切换，降低选定焦点槽位的误差。论文还设计了配套的自举流程，并进一步降低底层基础模数。
说明针对攻击者能力演变的自适应网络防御：结合强化学习与行为树
简介本文研究如何把在 CAGE 挑战赛场景 2（企业网络防御基准）中学到的防御策略，迁移到新增攻击动作的扩展网络场景中。作者提出结合行为树的对抗强化学习方法（ARLBT），用奖励行为树定义基于进展的奖励函数，并以其执行状态约束攻击者策略。结果显示，该方法比沿用原始奖励函数的对抗强化学习能提高攻击成功率，并可改进防御策略对新型攻击的鲁棒性。
说明责任谱系：面向海上网络物理事故重建的取证级无线证据采集方法
简介本文提出一种取证级无线证据采集方法，在多频段同步记录原始无线射频（IQ）数据的同时，保存与船上系统状态对齐的时间戳元数据（如AIS、GNSS解码输出和NMEA语句）。证据被封装为仅追加的取证容器，通过哈希链与可信时间锚点及周期性检查点进行密码学绑定，便于第三方检测篡改并核验录制时间窗口。原型实验表明，该方法的完整性机制在实际多频段采集速率下存储与计算开销较小。
说明SEAL：通过前缀诱导触发器对LLM智能体实施持久化工具投毒攻击
简介该论文指出，现有工具投毒攻击依赖单轮交互的理想假设，在多轮智能体场景中效果明显下降，原因是智能体推理中攻击相关信号随规划上下文变化而不稳定。作者提出两阶段方法SEAL：先通过前缀诱导触发器优化（PETO）获得单一上下文中有效的触发器，再用局部到通用触发器聚合（L2U）合并为通用触发器。实验涵盖七类多轮场景和多种模型，显示其攻击有效、可跨模型迁移且能抵抗部分防御。
说明GreenNIDS：面向 NetFlow 入侵检测实验的基准流程与分析数据集
简介该论文提出 GreenNIDS，把公开 NetFlow 数据集上的基准运行与可复用的分析数据集连接起来，统一记录预测指标以及训练时间、吞吐量、内存和基于热设计功耗估算的能耗。演示实验为纯 CPU 运行，共 216 次，涵盖四类数据集族、三个版本及二分类和多分类任务。作者指出，多分类 ROC-AUC 在 36 个 PyTorch 运行中缺失，并且在部分资源阈值筛选后仅保留 25.0% 的运行结果，结论受记录的预处理、执行配置和近似能耗核算的限制。
说明等价非线性移位寄存器变换与 Espresso 流密码
简介Espresso 是一种面向 5G 安全、硬件高效的流密码，其非线性反馈移位寄存器（NFSR）的安全性评估依赖于一个仅有两个反馈抽头的替代 NFSR，但这一等价性此前存在争议。本文通过分析现有变换方法，修正了 Dubrova 一条基础结果证明中的关键缺陷，并将 Dubrova 与 Yao 和 Parampalli 的变换框架统一起来。作者由此把 Yao 和 Parampalli 给出的等价 LFSR 设计变换为 Espresso 的替代 NFSR，并得到输出等价的非线性输出函数，从而首次确认了该等价性。
说明在时间与内存均为 p^{4/5+o(1)} 的条件下计算超奇主极化阿贝尔曲面的自同态
简介本文提出一种在有限域上计算超奇主极化阿贝尔曲面自同态的算法。在一个标准启发式假设下，该算法可在期望时间和内存 p^{4/5+o(1)} 内得到一个非标量的极化自同态。
