arXiv 安全与密码类（cs.CR）和 IACR 密码学预印本。
说明提取与蒸馏结合：用密码分析技术从深度神经网络恢复参数
简介本文研究全连接神经网络的重建方法，将密码分析中的权重方向提取与基于预测标签的学习相结合，并将ReLU提取方法改为适用于Leaky ReLU。实验显示，在最大的合成架构上，Leaky ReLU能在最深隐藏层恢复51到57个神经元，而ReLU一个也未恢复，但该优势并不在所有架构和层上一致。作者同时指出，预测结果一致并不能说明网络参数已被识别。
说明提取与蒸馏结合：用密码分析技术从深度神经网络恢复参数
简介该论文研究全连接神经网络的重建问题，把密码分析式的权重方向提取与基于预测标签的学习相结合，并把方法从 ReLU 扩展到 Leaky ReLU。作者给出了方向恢复、符号选择等环节的条件性理论界，并在合成网络与 CIFAR-10 模型上做实验。结果显示预测一致性并不能说明网络参数已被识别。
说明强适应性异步拜占庭一致性：线性通信与几乎处处终止
简介本文研究异步网络中的二元拜占庭一致性问题。在可强适应性地腐化节点、并压制被腐化方未送达消息的攻击者下，此前已知需要 Ω(t²) 条消息；作者通过放宽终止性绕开该下界：至少 (1−ν) 比例的诚实节点终止，且每个诚实决定都满足一致性和有效性。构造结合递归共享的 BLS 签名密钥与稀疏图上的证书传播，在随机预言机模型及代数 one-more CDH 假设下安全，期望通信量为 O(nκ²) 比特。
看点通过放宽终止性绕过强自适应拜占庭协议的Ω(t²)消息下界，线性通信构造新颖；证明与分析完整，但缺少实验验证。
说明ProbeID：在注册表漂移下验证 LLM 智能体的 MCP 工具身份
简介该论文提出 ProbeID，用符合模式的探测请求比较工具返回内容与可信准入参考之间的规范化响应，并在不确定时选择弃权，以防止仿冒工具。作者在 MCP-IdentityDrift 缓存案例、智能体题库及 38 个工具的前瞻性留出研究中评估该方法，并在 MCP-Bench 智能体中检验其对被污染任务的拦截效果。结论指出，验证效果依赖参考完整性、探测覆盖度和响应噪声。
说明基于哈希的签名的精确比特安全性
简介本文在 Lean4 中分析基于哈希的签名的安全性，比较了计量攻击者工作量的不同方式会得出不同的比特安全性概念。以两个 128 位摘要的 XMSS 实例为例，多数计量方式下强不可伪造性约为 127 位安全；只计入攻击者直接随机预言机查询的最保守方式下仅为 122 位。论文在随机预言机模型中证明这些界限，且无需计算性困难假设，并给出匹配的攻击。
说明谁来验证验证者？面向AI网络信息核验的可追责语义共识机制
简介该论文指出，若多个大语言模型各自独立判断网页证据是否支持某一说法并投票，即使假定它们错误独立，也无法同时可靠地拒绝不实说法并接受真实说法。作者提出Astral协议，把所有判断者锁定在同一份经承诺的网页证据快照上，并要求超过阈值的多数判断者认可、且无有效签名质疑，才输出结论。在五个公开基准的实验中，该方法降低了攻击成功率，但代价是相当一部分说法无法给出二元结论而需转交审核。
说明基于批量模合成的有限域上多项式更快分解算法
简介本文针对有限域 F_q 上次数为 n 的多项式分解问题，提出一种新的模合成算法。新方法利用同一层巨步共享的自变量，只计算一次关系矩阵和余项表，其余工作为矩形矩阵乘法，并通过随机基变换保证评估的良好位置。在代数模型下，分解的运算指数由 1.80535 降至 1.5532，若 ω=2 则为 3/2。
看点通过批量模组合并随机基变换，将代数模型下多项式分解指数从1.80535降到1.5532，并给出适用于所有输入的改进，证明较完整。
说明在理想密码模型下重新审视基于 SHA-256 的 LMS 可证明安全性
简介基于哈希的 LMS（Leighton-Micali 签名）已被 IETF、NIST 和 ISO 标准化。本文指出，既有证明未考虑 SHA-256 的真实结构（截断的 Merkle-Damgård 构造），并给出了针对 LMS_SHA256_M32 和 LMS_SHA256_M24 的伪造攻击，表明既有安全界不适用于具体构造。作者在理想密码模型下，对这两种方案的加性 Davies-Meyer 抽象给出安全证明，结论是两者提供中等但并非“完全”的安全性。
看点在理想密码模型下重新证明基于SHA-256的LMS安全性，并给出伪造攻击揭示原随机预言机界不适用，证据充分，对标准化方案影响较大。
说明通过定向攻击评估面向6G与O-RAN网络的安全性
简介本文针对面向6G的虚拟化O-RAN测试平台，评估了一条定向攻击链。该平台的F1中传接口可被攻击者访问，且未启用传输层保护。研究显示攻击者可扰乱合法O-DU的连接、利用观察到的配置参数引入恶意O-DU，并截获用户面流量。实验在基于Open5GS、srsRAN Project、FlexRIC及OCPP 1.6电动汽车充电基础设施的完全虚拟化测试平台中进行。
说明Pacifo：一种面向可信机器学习即服务的高效全同态加密轻量级ResNet框架
简介本文提出Pacifo框架，用于在全同态加密（FHE）下高效运行ResNet20模型，以保护客户端数据隐私。框架采用公私层划分方案和高效的ReLU近似方法，减少了推理时的私有层数量和开销较大的FHE操作，并提供可配置的安全等级。与现有FHE实现的ResNet20相比，运行时间加速3.7至21.7倍，同时在下游任务中保留原始明文模型约95%至99%的准确率。
说明智能体代码审查能否在合并前发现漏洞？
简介本文提出 SecPRBench，这是首个基于真实世界引入漏洞的代码变更来评估智能体式安全审查的综合基准。作者构建自动化流程收集并验证了九个关键软件系统（包括 Firefox、V8、OpenSSL）的 265 个任务。在八个前沿模型中，召回率介于 32.5% 至 78.1% 之间；多数漏判并非简单疏忽，而是智能体指向了含有缺陷的文件却给出了不同的成因解释。
说明从指令到漏洞利用：用程序分析检测跨自然语言与代码的恶意智能体技能
简介论文针对大模型智能体的第三方技能（同时包含自然语言指令和可执行代码）提出静态分析框架SCS，将指令编译为中间表示并构建跨域依赖图，再用信任-敏感度-能力模型传播安全属性以检测风险。在117个恶意与117个良性技能的基准上，SCS在评测方法中取得最高的平均准确率（85.6%）、召回率（95.2%）和F1值（86.9%）。对66,157个ClawHub真实技能的分析中，共得到2,473个候选，其中627个经辅助动态验证和人工复核被确认为恶意。
看点提出统一自然语言指令与代码的跨域程序依赖图分析，新颖性较强；在117/117基准和真实大规模数据上验证，证据较充分但基准规模有限。
说明离散对数函数多项式逼近的上界
简介本文重新审视 Coppersmith 与 Shparlinski 的经典结果，即次数不超过 D 的单变量多项式能在多大程度上逼近有限域 F_p 上的离散对数函数。作者将已知的上界改进为约 √(Dp) 的渐近形式，即 Johnson 界，并证明即使 D 大于 p/2 也能得到非平凡上界。当 D=1 时，他们进一步给出更优的 O(p^{2/5}) 上界，所用方法来自加性组合学中的和积现象。
看点将Coppersmith和Shparlinski的经典界改进为Johnson界，并用加性组合的和积现象把线性情形改进到p^{2/5}，证明严格完整。
说明基于自我评估的安全且功能正确的代码生成
简介该论文提出SecGent，一种推理阶段框架，从CWE数据库检索弱点上下文，用于生成更安全的代码，且不依赖有漏洞或已修补的代码示例。系统借助功能与安全测试的执行反馈对代码进行修复，以同时满足功能和安全要求。在CWEval基准上，作者用四个开源大模型和Claude Sonnet 5.5进行评估，结果显示其功能与安全的联合成功率高于四种推理阶段基线方法。
说明组合锁：通过哈希辅助谱过滤防御多触发器后门攻击的硬件友好方法
简介本文针对同一模型中存在多种触发器（如补丁、混合、扭曲及潜空间水印）的后门攻击，提出无需训练、与触发器类型无关的防御框架Combinatorial Lock。方法将多触发器识别转化为二进制激活签名上的组合问题，并结合异常门控谱清洗与哈希压缩签名验证。在六个模型上的实验显示，攻击成功率可降至低至0.1%，干净样本准确率保持在97.8%，并已在ASIC和FPGA上验证其实用性。
说明RM(2,8) 覆盖半径介于 88 与 91 之间
简介本文研究长度为 2^8 的二阶 Reed–Muller 码（RM(2,8)）的覆盖半径。已知 ρ(2,6)=18、ρ(2,7)=40，但 ρ(2,8) 的精确值尚未确定。作者借助计算机辅助证明，把现有上界 96 降至 91，并给出验证计算部分的代码仓库。
说明更快的矩阵乘法带来更快的格筛法
简介该论文研究矩阵乘法指数ω与格筛法（lattice sieving）效率之间的关系。作者指出，若ω不超过9/4减去任意固定常数η，则在BDGL分析所用的球面启发式假设下，启发式格筛法的运行时间可以改进为(3/2−δ)^(n/2+o(n))，其中δ依赖于η。按照已知的矩阵乘法算法，该方法已能在BDGL桶内实现次二次方搜索。
看点将矩阵乘法指数的新上界转化为格筛法的指数级改进，属于跨领域的实质新结论；证明依赖启发式假设，但推导清楚。
说明网络中智能体之间的合成社会工程攻击研究
简介该论文研究在网络服务中，一个AI智能体如何通过可信度、权威或义务等说辞误导另一个AI接收方，使其偏离用户授权的目标。作者提出了合成社会工程的分析框架，并在名为ASE-EC的可复现测试平台上完成了1,260组实验。结果显示，引用有限的事先约定会使接收方的未授权请求比例从43.3%升至96.7%，但接收方仍保留了有依据的决策，权限也未改变，表明行动选择本身是一个独立的安全问题。
说明从 CAV 到 COBA：针对高渗透分布式能源电网中并网智能逆变器的协同优化攻击研究
简介该论文研究聚合平台或智能逆变器控制通道被攻破后，攻击者可能借助分布式能源（DER）发动的协同攻击。作者提出协同优化攻击（COBA），利用网络信息和各位置的有功、无功设定，使所选输电走廊的热负载最大化，并与仅能统一下发指令的低信息攻击基线进行比较。结果显示，拓扑结构、目标选择和指令能力决定了DER引起的热负载风险，而不仅取决于整体渗透率。
说明离散对数函数多项式逼近的上界
简介本文重新审视了 Coppersmith 与 Shparlinski（CS00）关于多项式逼近离散对数函数能力的经典结果。作者将单变量多项式的上界从 √(2Dp) 改进为 (1+o(1))·√(Dp)，并借用纠错码列表译码中的 Johnson 界证明。对于次数为 1 的情形，给出了 O(p^{2/5}) 的渐近改进上界，所用方法来自加法组合学的和积现象。
看点将经典界改进为Johnson界形式并借助列表解码思想，对D=1给出基于和积现象的O(p^{2/5})改进，理论贡献显著。
说明椭圆曲线半素数证明可能泄露因子：对公开证书的密码分析
简介论文研究用于密码学模数生成的公开半素数证明，即证明整数恰有两个素因子而不泄露因子。作者基于Goldwasser-Kilian素性判据形式化此类证书，并在复乘（CM）构造下给出多项式时间的因子分解方法。作者据此分解了Reble的1084位和Broadhurst的5061位模数，并指出若干修补方案在所述假设下同样失效。
看点将Goldwasser-Kilian素性判据改造为半素性证书，并给出CM情形下的多项式时间分解攻击，实际分解了两个公开模数，攻击效果显著。
说明从炒作到投资回报：信息系统与安全运营中大语言模型采用的经济模型
简介本文提出一个通用经济模型，用于判断大语言模型在运营信息系统中的投资是否创造价值。模型把参数视为以权威基准为中心的随机变量，并用蒙特卡洛模拟评估从悲观到乐观的不同效率假设下的投资回报分布。以安全运营中心为首个应用场景，结果显示采用经济性取决于具体情境，准确率是关键，多数配置无法盈利，只有高准确率、低不确定性的部署才有利可图。
说明面向LLM智能体在MPI与批处理调度HPC系统上的确定性安全运行时：基于共识治理与硬件根信任的逐进程监管
简介本文提出Enclawed，一种面向AI智能体的确定性安全运行时，将其扩展至并行高性能计算系统与智能体群。系统通过基于策略的启动网关、签名心跳租约及对每个进程的监管机制控制作业，即使控制主机被攻破也能保持失效即封闭。原文报告：在16进程LAMMPS作业上未改变计算循环，启动增加约3秒，12次针对性攻击均失效即封闭。
看点将单用户安全运行时扩展到HPC并行作业，提出签名心跳与硬件信任根的分布式监管，实验覆盖12种攻击和24次投毒启动，但规模有限。
说明演化秘密共享中更小的份额尺寸：一般门限与门限为三的情形
简介本文研究可无限加入参与者且不修改已分发份额的完美安全演化门限秘密共享方案的份额大小。对一般门限，作者提出用同一多项式共享两个相邻重构门限秘密的方法，并与Cheng等人的方案结合，将其一般构造的主导系数从k-1降至⌊k/2⌋。对门限为三，作者给出单独构造，降低了该方案的低阶项。两种构造均满足正确性与完美信息论安全。
说明通过自适应策略塑形实现自主网络防御智能体的对齐
简介论文研究如何让基于强化学习的自主网络防御智能体与人类设定的运营目标保持一致，而无需昂贵的重新训练。作者把对齐问题形式化为策略塑形：在测试时利用对动作属性的预测调整已训练好的策略，并提出可随攻防优先级变化动态调节对齐与性能权衡的自适应方法。实验在模拟环境CybORG中进行，依据机密性、完整性和可用性（CIA）三元组评估多个对齐目标。
说明Holo-NN：基于压缩感知的全息最近邻搜索，用于隐私保护的近似检索
简介该论文提出 Holo-NN，一种面向高维嵌入向量的隐私保护近似最近邻搜索框架。它用单次线性投影替代依赖数据分支的树或图索引，离线将数据库压缩为全息感知矩阵。查询时，加密搜索只需一次非交互的矩阵向量乘法，无需全同态加密自举或多轮交互，并可在 CPU 与 GPU 上运行。
说明A-GE：基于细粒度运动的隐私保护年龄验证
简介本文提出A-GE（Age-Grounded Evidence）系统，利用普通设备惯性测量单元（IMU）捕捉的细微运动信号推导年龄相关证据，无需身份信息或政府证件。系统可在网页端约60Hz的采样率下运行，最低年龄阈值可配置为14至21岁。在600余名参与者上评估，16岁阈值下准确率达到较高水平，并验证了Android、iOS和网页端的部署可行性。
说明删除、替换、修复与移植：BARBICAN 分层提示注入防护网关中的组件归因分析
简介本文以 BARBICAN 为例，研究分层防御系统中单个分类器失效为何不一定反映在端到端指标上。作者发现，仲裁阶段的分类器在整个评测期间接收到被错误分词器损坏的文本；修复后其 AUC 从 0.392 升至 0.855，但系统召回率反而略降。文章指出，评估路由阶段的消融结果需要结合其输入的类别分布，并应同时进行删除与替换实验。
说明基于任意单向置换的后量子完美零知识论证，适用于NP问题
简介本文首次证明，后量子单向置换足以支撑面向整个NP类的经典完美零知识论证，并能抵御量子攻击者。作者证明了Naor、Ostrovsky、Venkatesen与Yung提出的NOVY比特承诺方案在后量子单向置换下，对量子多项式时间承诺者具有求和绑定性和坍缩绑定性。该坍缩绑定性使Blum针对哈密顿回路问题（HAMCYCLE）的完美零知识论证无需修改即可抵御量子对手。
看点首次证明后量子单向置换足以支撑全NP的完美零知识论证，并证明NOVY承诺方案的量子绑定性，理论新意明显。
说明欺骗工具箱：优化工具描述以误导大语言模型智能体
简介本文研究攻击者如何通过伪造工具描述，诱使大语言模型智能体调用恶意工具。作者提出名为TSA的隐蔽工具欺骗攻击方法，利用基于大模型的迭代优化，使恶意工具描述难以与正常工具区分。实验显示该方法在单工具与多工具基准上攻击成功率较高，超过四种现有方法，且用户研究中人类参与者无法分辨其生成的描述与正常描述，对五种工具恶意软件检测器也仍然有效。
说明STROKE：用简单稀疏结构遮挡实现黑盒对抗攻击
简介本文提出 STROKE，一种基于分数、查询效率较高的黑盒对抗攻击方法，通过有方向的矩形遮挡构造扰动，并用轻量的贪心添加与细化过程进行优化。作者报告在多种图像分类器上，该方法能以较少查询次数取得较高攻击成功率，并且相比已有的基于补丁的攻击在部分设置下表现更优。研究认为，简单的结构遮挡可作为黑盒对抗攻击中有效且计算高效的搜索空间。
说明EVSEFuzz：用于协议实现自动化测试的工具
简介本文介绍了EVSEFuzz，一种自动构建模糊测试器的工具，用于检测电动汽车充电协议实现的安全性。它利用Python数据类型验证工具理解消息结构，生成合规与不合规的消息。该工具已在多个开源和闭源实现上测试，并发现若干漏洞，促成了两个CVE的公开。
说明共轭不变环上 CKKS 的高效（函数式）自举
简介CKKS 是一种支持加密复数数据计算的全同态加密方案，但处理实数数据时编码能力被浪费。本文面向共轭不变环上的 CI-CKKS，提出实数 FFT 算法，使其可直接自举，并研究基于实数值的函数式自举方法。在 Lattigo 中的实现显示，单密文自举速度提升 1.14 至 12.86 倍，函数式自举吞吐量相较标准 CKKS 方法提升 1.16 至 1.68 倍。
说明信任工具：LLM 漏洞审计器对静态分析证据的非对称依赖
简介本文研究把大语言模型与静态分析结合的漏洞审计流程，模型是否会区分真假证据。作者构建了 C/C++ 过程内分析器，在六种仅备注不同的证据条件下审计 PrimeVul 数据集中的函数，共 16,572 次审计。结果显示，虚假的安全保证比真实证据更能显著降低对真实漏洞的检出，而虚假警报则很少显著降低准确率，但更常被模型质疑。
说明互相关一致（MCA）与列表解码：改进与区分
简介本文研究线性纠错码中的互相关一致（MCA）性质与列表可解码性之间的关系。作者改进了多项式生成器的 MCA 误差界，并细化了从列表可解码推出 MCA 的结论，同时指出这两个概念一般并不等同。文中还构造了两族码，说明在 1-√(1-p) 这一界上做进一步改进，或证明强逆命题，都会受到限制。
