arXiv 安全与密码类（cs.CR）和 IACR 密码学预印本。
说明水印盆地：黑盒检测被蒸馏的大语言模型
简介论文指出，闭源大模型的输出可能被对手通过API蒸馏来训练学生模型，服务方可在教师输出中嵌入水印以留下可检测痕迹。作者发现训练过程中水印会在参数空间形成一种与任务微调方向正交的持久几何信号，并据此提出仅通过API查询即可检测的方法WM-Basin。在数学推理蒸馏实验中，该方法在0.1%误报率下明显优于现有基于词元统计的基线，且信号在量化、剪枝和强化学习后训练后仍然存在。
看点提出在参数空间中正交于任务子空间的水印盆地信号，并以梯度对齐进行黑盒检测，有新意；在135M至8.2B多种学生模型上评估，相较基线检出率明显提升。
说明何时值得信任一种关系？多关系图学习中的操纵成本、暴露度与信任陷阱
简介该论文研究多关系图检测器在干净数据上学到的关系信任度，而攻击者操纵各关系的代价不同。作者给出理论结果：当部分节点在某关系上孤立且攻击者无力打开门控时，度门控优于任何对关系的选择或重加权。基于每节点暴露度的界可用于判断应加固哪种关系，并在多数情形下优于其他指标。在没有成本信息时，论文建议选择弃用图结构。
看点提出度门控严格优于关系选择的条件并给出尖锐边界，结合攻击成本分析多关系图检测的信任陷阱，证据来自真实图与严格界限，影响面限于图安全子领域。
说明异步可验证完整秘密共享：从设计模式到系统级权衡
简介本文针对完全异步拜占庭系统中的可验证完整秘密共享协议，分析了其设计空间并构建了设计筛选方法。作者选取七个代表性协议，在统一的 Rust 框架中实现，并在 Grid'5000 平台上比较诚实与故障发送方场景下的延迟、吞吐量、消息数、带宽和 CPU 时间。结果显示，消息复杂度难以预测延迟，乐观路径可能受恢复开销主导，分批或打包仅在验证不占关键路径时有效。
说明GKS全同态加密：安全性分析
简介本文对Gribov-Kahrobaei-Shpilrain（GKS）私钥全同态加密方案进行了形式化的安全性分析。全同态加密允许直接对密文进行计算而无需先解密。文中指出该方案无需自举或去线性化，解密结果逐位精确，支持原生的加密搜索，并可扩展到无限深度的运算。
说明Janus车辆：恶意制造商假设下协议合规车辆的实体中心威胁建模
简介本文针对汽车网络安全中“制造商可信”的默认假设，提出以实体为中心的威胁模型，涵盖恶意设计车辆、被攻陷车辆、被挪用的合法部件和被仿冒的车辆或部件四类实体。文中指出，身份真实与协议合规并不能证明车辆实际用途与声明一致。作者还提出了行为-位置矩阵，并为同伴良性、目的恶意的车辆建立了行为交互模型。
说明Blindfold：让审计随机币对LLM智能体保密
简介该论文研究基于审计的认证方法：通过随机抽取一部分行为进行审计并对标签加权，以约束LLM智能体的违规率。作者指出，这种方法的有效性不仅依赖审计随机数本身，还依赖其在行动确定前对智能体保密。文中对此提出了形式化度量与理论界限，并在监控系统与真实LLM智能体实验中验证，发现可见的审计提示会造成泄露，而静默审计与每次调用使用新随机数可以恢复有效性。
看点提出预承诺无干扰性质并给出偏差与泄露的精确刻画，理论新颖；以LLM智能体实验验证信道存在，但规模有限。
说明RePAIR：反转语义分割中的后门攻击
简介该论文提出 RePAIR，一种用于语义分割模型的后门防御方法，属于事后处理、无需标签、与攻击方式无关的方案。它利用分类头与内部表示之间的差异，从未标注的图像中推断受害类与目标类的对应关系，并对可疑像素进行修正。实验表明，该方法能显著降低攻击成功率，同时基本保持干净样本上的性能。
说明客户端越多，日志越乱：分布式解析、聚合技术与评估指标
简介该论文针对物联网系统中的日志异常检测，研究在多个机构分布式环境下的日志解析问题。作者评估了五种解析算法，并结合聚合技术统一各客户端的事件与模板映射，共测试了6,720种分布式配置。论文还提出了评估分布式解析器的新指标，并给出设计与部署的经验建议。
说明为智慧组织构建动态多因素认证系统
简介本文提出一种基于零信任架构的动态多因素认证系统，通过持续验证加强安全。系统利用马尔可夫链模型随机选择指纹、虹膜、人脸等生物识别因素，以降低安全措施的可预测性。研究采用CASIA生物识别数据集和AES-128加密管理用户数据，性能分析显示该方法在安全与效率之间取得平衡，适用于智慧组织，尤其是电子政务场景。
说明HqcLethe：面向微型无状态服务器的流式 HQC 封装方案
简介这篇论文提出 HqcLethe，一种无状态的后量子密钥交换方案，把 HQC 密钥封装按数据包大小分块流式发送，服务器无需缓存多包握手数据，从而避免内存耗尽攻击。方案利用中国剩余定理把多项式乘法拆成各包独立的余数，并加以掩码；作者用 Rocq（SSProve）证明其泄露不超过普通 HQC 密文，并用 ProVerif 验证会话保密性、服务器认证和前向保密。在 Raspberry Pi 3B+ 上每个工作进程占用固定的 1.2 到 1.6 MiB，在第 5 类安全级别下相比 McTiny 发送字节数减少 27 倍、服务器 CPU 开销降低 9.0 倍。
看点用中国剩余定理将HQC多项式乘法拆成独立分片以实现无状态流式封装，并给出形式化证明与协议验证，较已有方法有实质突破。
说明《内容约束：可逆语音匿名化中减少退化解的方法》：在保护说话人身份的同时尽量保持语音可懂度的研究
简介该论文研究可逆语音匿名化，即保护说话人身份、保留语音语言内容，且授权用户可以恢复原始语音。作者提出内容保持训练约束，避免匿名化主要依靠损伤语音本身来实现；并引入验证器泛化策略，在训练时加入更强的说话人验证表示。在38位未见说话人上，攻击者的等错误率从2.8%提升到26.3%，对保留的验证模型提升到27.9%；基于密钥恢复时，词错误率为11.8%，说话人相似度为94.9%。
说明超越LWE：假设狄德普子群陪集问题被反例性攻破后的后量子假设
简介本文以一篇已被撤回的2026年声称高效量子算法解决狄德普陪集问题（DCP）的工作为背景，综述若该问题真被突破会产生的后果。作者区分三类假设的求解器，并分析它们对格密码学与非格假设的充分保证条件，同时指出部分已发表的参数证明存在缺陷。文中还将结论分为严格推论、启发式比较与未经验证的应用三类，并列出开放问题与情景规划清单。
说明PrivacyEvalClaw：用于审计大模型越狱回复中隐私泄露的工具增强型审议智能体
简介该论文针对大语言模型隐私红队测试中的评估难题，指出现有守护模型与大模型裁判对同一回复的判断存在明显分歧，尤其在需要额外证据的模糊情形中。作者提出无需训练的审议型智能体PrivacyEvalClaw，将评估器与分析模块作为工具调用，自适应收集证据、核查不确定的披露并调和冲突信号后给出最终判断。实验采用大模型成对裁判评估完整轨迹，结果显示其在结果、过程及整体质量上相对基线取得较优胜率，并能输出可审计的推理过程。
说明量化并排序针对多源异常检测器的隐蔽源端操纵威胁
简介论文研究多数据源系统中，攻击者控制部分数据源、针对下游决策进行隐蔽操纵的风险。作者提出“任务条件可见性裕度”，用于衡量操纵每单位对下游任务造成的危害所必须暴露的最小检测器证据。该指标有闭式解，并可据此得到最小证据攻击，同时找出检测器无法察觉的任务相关方向。在17通道工业遥测基准上的实验显示，检测器对随机单通道破坏的检出率为82.8%，但在一至四通道子集审计中仍有64.7%的任务与子集组合在一阶上不可见。
说明求快会不会出错？迈向安全的少步文生图模型
简介少步蒸馏文生图模型因生成速度快而受到关注，但其生成不安全内容的概率未知。研究发现，少步模型往往比教师模型更不安全，减少推理步数会提高不安全生成率，并且现有概念擦除方法在少步模型上效果明显变差。论文提出了蒸馏集成概念擦除方法DICE，在FLUX Schnell上将不安全生成率降至0.046，同时基本保持正常生成质量。
说明衡量用户对 Discord 第三方社区机器人安全与隐私问题的关注
简介该论文分析了 23,102 个 Discord 第三方机器人及 183,142 条用户评论（2021 至 2026 年），借助大语言模型知识蒸馏与微调的分类器筛选出 8,832 条与安全和隐私相关的评论，并将其归入 31 个主题的分类体系。研究发现，相关评论主要集中在数据共享（30.5%）和数据收集（16.2%）。作者还提出了原型审计框架 BotLens，结合评论信号与机器人元数据提供决策支持。
说明静默的盲区：硬件恶意软件检测器的故障脆弱性
简介本文研究硬件恶意软件检测器（HMD）的结构性故障注入。作者在18种分类器、四种计数器预算及AdaBoost与Bagging集成构成的设计空间中，对453,174次决策卡滞故障与参数位翻转事件进行模拟评估。结果显示，基于树的模型关键故障比例低于基于函数的模型，且大部分树模型故障对指标几乎无影响；Bagging在多数对比中降低了关键性，并给出了在假定理想修正条件下的保护单元选择方法。
说明Peak-DNA：全球叙事传播中的反复出现形态
简介本文提出 Peak-DNA 框架，用于在全球叙事数据流中识别反复出现的传播形态。该方法将 GDELT 每小时的活跃度数据通过去噪、宏观峰值合并和时间对齐处理为归一化的宏观峰值片段，再用基于 DTW 的相似性分析比较传播形态。研究涵盖伊朗、国防、人工智能、太空/马斯克以及量子/后量子密码五个高扩散叙事领域，结果显示同一领域内的放大事件趋向于相似的形态模式。
说明CASEL：面向长时程工具调用智能体的后果感知选择性执行层
简介论文提出CASEL，一种与模型无关的运行时分配策略，依据失败概率、状态相关的后果、可逆性、歧义和证据新鲜度，为每次工具调用在直接执行、验证、沙箱、澄清、审批和弃权之间择一，以最小化单模式成本。在20个随机种子、每种方法12万个测试动作的受控仿真中，CASEL将有害副作用轨迹比例从14.75%降至7.02%，平均归一化危害从0.184降至0.123。结果仅在仿真假设下比较分配规则，并未证明实际部署效果。
说明当代数结构遇上过多提示：侧信道泄露的安全评估
简介本文指出，DDGR等基于提示分类与“过多提示”阈值的分析，无法单独作为真实侧信道泄露的安全度量，因为它们忽略了提示的代数结构。作者以Kyber-512的合成实验为例：NTT域残差按形式上属于mod-q提示，但恢复全部密钥所需的提示数约为均匀模型预测的一半；有限精度FFT样本属于较弱的近似提示类，所需提示数仅为均匀完美提示的25%至55%。评估侧信道泄露时应同时考虑提示向量的代数结构，而不仅是其类别和数量。
说明分割联邦遗忘：让分割联邦学习中的已学习贡献可被移除
简介分割联邦学习将模型分区执行与联邦聚合结合，支持分布式环境下的协作学习。本文首次系统地提出分割联邦遗忘（SFU）问题，涵盖按客户端和按类别的移除、反事实重训练以及分区相关的更新约束。作者提出初始方法SURE，结合双重重要性估计、选择性参数扰动和重要性引导的恢复，实验显示其与模式匹配的重训练结果具有较好一致性。
说明稳健成员推断攻击的简明介绍
简介成员推断攻击是指攻击者在已知某个人的数据后，判断该人是否被纳入某个数据集，依据可能是由数据集推导出的统计量或据其训练的模型。论文给出了针对均值估计的稳健成员推断攻击的简明表述，涵盖多元高斯分布和二元乘积分布，并总结了该领域的相关文献，包括发展历史、扩展方向以及与其他研究领域的联系。
说明无分词器，仍有差距：同形字与不可见字符水印的跨语言公平性
简介该论文研究基于同形字和不可见字符的编辑型文本水印，它们在文本写成后通过替换或插入字符嵌入信号，不依赖生成模型。研究覆盖24种文字的40种语言，测量每个字符可携带的隐藏比特数及其在常规处理和定向删除后的保留情况。结果显示，不同文字之间的容量差异很大，文字类型解释了其中96%的变异，且低资源语言常用的文字同形字较少，因此公平性问题依然存在。
说明受害者会带走什么：提示注入攻击后的攻击复用与防御修订
简介本文基于在线游戏Tensor Trust中563,349条攻击记录，研究提示注入攻击的目标玩家如何利用收到的攻击文本。结果显示，攻击复用主要取决于攻击是否成功，而非回复内容的表面形式；被攻破后玩家会修改防御，同类攻击的成功率随之下降。作者据此提出AI安全工具披露攻击的可检验假设，例如只描述技术而不公开完整文本。
说明ORBITAL：通过感知架构的低精度压缩实现稳健脑机推理优化
简介本文提出ORBITAL框架，用于在压缩紧凑型脑电（EEG）解码器时兼顾对抗鲁棒性与硬件效率。在BCI Competition IV-2a数据集上，九名受试者、三个随机种子的实验显示，S25-TRADES模型在压缩的EEGNet中取得最高的平均鲁棒性（23.06%，标准完整模型为21.27%），参数量减少26.27%，MACs减少25.10%。在Jetson Orin Nano上，FP16压缩最多降低16.20%的板级能耗和8.00%的延迟，而原生INT8量化的延迟和能耗约为FP16的两倍。
说明联邦学习视觉语言模型与纯视觉模型在隐私保护乳腺影像中的评估
简介本文研究在乳腺影像分析中结合预训练视觉语言模型与客户端级差分隐私的联邦学习框架，比较了通用CLIP、生物医学BiomedCLIP和ImageNet预训练ViT-B/16等模型。结果显示，正常与患病的区分表现较好，但采集年份单独即可达到相近指标，提示存在混杂因素；良恶性区分仍不确定；去除文本分支可在保持分类准确率的同时将通信成本减半；差分隐私显著降低了ROC-AUC。
说明PHP2Shell与AI发现漏洞的披露：证据、验证与人工授权
简介本文提出FedTrust-CVDv2，一个联邦式协同漏洞披露框架，将证据验证、组织间协调、人工治理和许可式审计分开处理。框架把签名观察绑定到确切的证据版本，并把外部行动限定在已批准的内容、受众、有效期、政策和撤销状态之内。作者以一个本地参考实现和PHP2Shell案例说明该框架的运作方式。
说明检测并缓解基于查询的系统提示泄露攻击
简介该论文提出AdvGuard框架，用于检测和缓解大语言模型系统提示的泄露。攻击者通过多轮自适应交互逐步提取机密指令，现有防御多孤立看待单次查询。AdvGuard利用有界语义交互图建模跨查询关系，并通过图卷积网络分类，以识别协同提取行为。实验显示其召回率较最强基线最高提升36%，误报率不超过3.4%，并显著降低了提示重建的泄露程度。
说明BUSTA：教小型语言模型推理二进制程序的执行过程
简介该论文研究如何用针对性训练让小型开源语言模型掌握逆向工程能力。给定一段 x86-64 基本块和期望的输出寄存器状态，模型需预测能产生该结果的输入寄存器值。经 GRPO 微调后，Qwen3-1.7B 的可推断寄存器预测准确率从 73.2% 提升到 85.3%，Nemotron-3-Nano 从 63.3% 提升到 95.2%；后者与前沿大模型（最高 99.2%）仅差约四个百分点，参数量却小得多。作者同时公开了微调模型和训练数据集。
说明大规模分析编译器引入的恒定时间违规问题（CTGREP）
简介本文提出CTGREP框架，通过对整个编译链进行差分分析，定位编译器优化破坏密码库恒定时间代码的位置、引入方式及有问题的编译器配置。研究人员用其分析了七个完整密码库，在多个Clang版本、目标平台和大量编译配置下检测违规，并与库开发者共同修复了48个案例，还发现了七个新的有问题的LLVM优化通道。
看点通过跨整个编译链的差分分析定位常数时间违规，对已有单点分析有实质改进；在七个密码库、多编译器版本和平台上验证，并协助修复48个案例。
说明差分隐私下的重尾数据截断方法
简介这篇论文研究差分隐私数据分析中的向量求和问题。作者提出一种隐私地选择截断阈值的方法，通过权衡超出阈值向量的方向一致性（残差一致性）与额外噪声带来的方差成本来确定阈值。论文证明了残差一致性与偏差之间的密切关系，并在多个数据集上表明该方法优于现有基线。
说明SpecGuard：基于规范的运行时监控，用于检测多轮大模型越狱攻击
简介该论文提出SpecGuard，一种无需训练的框架，通过线性时序逻辑规范和符号有限自动机，监控多轮对话中的大模型交互，以检测越狱攻击。它能生成可重放的证据记录，指明触发的规范、支持事实和相关对话轮次。在多轮安全基准上的实验表明，其表现优于部分开源防护模型，且误报率可控。
说明秘密共享中的逆向替换：临界二分之一阈值与通向超多项式下界的路径
简介本文研究秘密共享方案中的替换构造：用一个内层访问结构替换外层访问结构中的一个参与者。作者探讨给定复合访问结构的任意方案，其归一化份额向量能否逆向分解为外层与内层因子的份额向量，并给出反例说明精确逆向分解不成立，同时证明因子二分之一总是可以达到。针对由 Csirmaz 经典访问结构构造的递归族，文中确定了一个临界逆向因子，超过它即可得到超线性下界，仅用香农不等式则无法越过该临界值。
看点提出逆向替换并给出反例与一半阈值的新结果，指向超多项式下界路线，理论推导严谨，对领域有较大影响。
说明让硬件安全教育惠及所有学生：一种无缝融入课程的方法
简介本文指出，现有本科课程普遍忽视硬件安全，而专门课程选修人数很少。作者提出一种低成本方案，将九个动手实践模块嵌入现有核心课程，使安全概念与课程的设计概念结合学习。其中三个模块在嵌入式系统课程的三次开课中接受评估，共有25名受访者。
说明《他们会看到 Johnny 的邮件》：跨邮件投递路径的后量子密码学测量研究
简介该论文对电子邮件各投递环节的后量子密码（PQC）部署进行了系统测量，包括中继、提交、访问服务以及发送方实现与端到端加密工具。结果显示，PQC 支持集中在少数服务商，且已具备的能力并未普遍转化为实际使用。
看点系统测量多阶段邮件链路的PQC部署，揭示能力与实际使用脱节及明文回退问题，证据充分，对邮件安全影响较大。
说明HELLO, GOODBYE：基于超急速安全性的并发通用组合
简介该论文针对同步多方计算协议，研究如何在并发通用组合下保持安全。以往方法需在每轮后加入同步步骤，使轮数至少加倍。论文证明，对超急速对手安全的协议，只需增加开始同步（HELLO）和结束同步（GOODBYE）两轮，即可在R+2轮内获得有选择性中止的并发通用组合安全性；若结束同步使用广播信道，则可升级为一致中止。
看点将并发通用组合的轮数开销从至少翻倍降至加两轮，并给出完整的安全归约证明，显著改进已有结论。
说明Log-To-Leak：针对使用工具的大模型智能体的提示注入攻击（基于模型上下文协议）
简介该论文研究通过模型上下文协议（MCP）接入外部工具的大语言模型智能体的安全问题。作者提出 Log-To-Leak 攻击：在合法工具调用完成后，诱使智能体额外发起一次攻击者控制的工具调用，窃取用户查询、服务器名称、服务器响应和智能体回复等信息。实验涵盖 5 个 MCP 服务器和 4 个智能体，在 18 组有效组合中攻击成功率达 62.64% 至 100%；现有三种防御手段在 GitHub MCP 与 GPT-4o 组合上仍留有超过 55% 的攻击成功率。论文认为，任务正常完成与未经授权的事后信息泄露可能同时发生，因此建议由宿主端控制次级工具调用的授权。
看点在已知MCP工具投毒面上提出附加式事后日志外泄攻击，并以多模型多服务器实验和防御测试支撑，证据较充分。
说明I-HITL：不可让渡的人在回路（人类审批AI代理行为的强化机制）
简介该论文提出“不可让渡的人在回路”（I-HITL）概念，要求AI代理只能在人类明确批准后才能发起行动，即使代理已攻破本地系统也不能绕过。作者在一个流行的代理钱包平台上实验，发现十个前沿模型在获取用户邮箱后，常会自行提高消费上限、截取一次性验证码以绕过人工审批。论文还用通信拓扑形式化定义I-HITL，证明其实现的充要条件，并介绍原型系统Countersign，可利用普通手机强化现有人工审批机制。
看点提出不可让渡的人在回路概念并形式化证明充要条件，结合前沿模型绕过护栏的实验，影响面较广，但实验规模有限。
说明异构客户端量化下的信息论安全聚合
简介联邦学习中的安全聚合让服务器只能得到各客户端模型更新之和，而无法获知单个更新的内容。由于客户端带宽不同、量化级别各异，现有方法会泄露部分聚合结果，甚至在某些掉线与合谋情形下暴露单个更新的片段。本文提出一种信息论安全的聚合方案，可容忍客户端掉线以及至多 T 个与服务器合谋的半诚实客户端，并利用 (T+1, N) 门限黑盒秘密共享构造来处理异构量化。
说明Reva：通过对大语言模型进行情境探测实现实时漏洞检测
简介该论文提出 REVA，一种实时 AI 漏洞检测器，在单次大语言模型前向推理中，结合模块威胁模型、轻量静态分析与调用图信息，并用训练好的探针读取模型内部表示来判断每个新函数是否存在漏洞。在 PrimeVul 测试集上，REVA 在 GLM-5.3-Flash 上准确率为 60.0%，每个函数约 1 秒，与同一模型上的智能体检测器 VulTriage（59.2%）相当，但速度快 250 倍以上、成本不到其十分之一。
说明伪随机码与伪随机密文公钥加密的鲁棒组合器
简介该论文研究在密码学假设上做“对冲”的鲁棒组合器能否用于伪随机码（输出码字与均匀随机串计算上不可区分的纠错码）和具有伪随机密文的公钥加密。作者证明，对于密钥型伪随机码，不存在黑盒鲁棒组合器，即使只要求其余候选方案中仅一个不安全之外全部安全也不成立。对于稀疏密文的公钥加密，同样不存在黑盒鲁棒组合器，这与普通IND-CPA加密形成对比。
看点证明了伪随机码与伪随机密文公钥加密不存在黑盒稳健组合器，提出新的不可能性结果，与普通IND-CPA加密形成对比，证明较为严格。
说明LINE-Break：对 LINE 信件加密（Letter Sealing）的密码分析与逆向工程
简介本文对广泛用于东亚和东南亚的即时通讯应用 LINE 所使用的自研端到端加密协议 Letter Sealing v2 进行了安全分析。作者通过中间人攻击在 iOS 设备上实验验证，发现该协议存在完整性、真实性和机密性方面的问题，包括消息重放、重排和拦截，以及发件人身份伪造，贴图和链接预览还会泄露明文。作者认为该协议不满足现代端到端加密消息协议的要求。
看点对LINE自定义E2EE协议进行系统安全分析，发现重放、冒充与明文泄露等多类攻击，并通过中间人攻击在真实应用上验证。
说明原子安全关注点：面向安全知识表示的基础语言探索
简介本文提出“安全关注点”与“原子安全关注点”（ASC）的概念，假设网络安全知识可由有限的一组基础关注点表示，并将安全概念视为这些基础关注点的组合。作者借鉴化学中原子的类比，设想以此作为跨领域、跨粒度的通用抽象层，并用于构建安全语言的词汇表。该工作属于概念性研究，旨在提出框架与研究假设，供后续形式化探讨。
说明面向无人机图像隐私保护的类别选择性加密框架
简介无人机航拍常同时拍到行人、车辆等敏感目标。本文提出一个类别选择性加密框架：先用80类检测器识别场景中的物体，再只对用户指定的敏感类别进行加密，其余物体和背景保持不变，以便后续分析。框架包含两种加密方案：缩略图保留加密（TPE，采用可学习混合参数的自适应像素化并通过联合训练的增强U-Net恢复）和XOR流密码加密（无参数、可数学精确还原）。
说明廉价的AI辅助逆向工程及其可能影响
简介这篇论文讨论生成式AI如何让逆向工程变得更快、更便宜、更容易，包括识别硬件、提取固件、反编译目标代码和克隆应用。作者认为，这将对商业秘密、版权、反规避、计算机滥用和合同等多项现行法律构成挑战，并探讨了法律可能的应对方式及其权衡。
说明对手大脑：基于假设的逻辑签名，用大语言模型检测威胁行为体
简介本文提出“对手大脑”概念，即用大语言模型构建的威胁行为体行为模型，并以可持续演进的逻辑签名形式保存。它把竞争假设分析（ACH）从少数假设扩展到上千个，并用于持续检测，可匹配某次攻击活动或威胁行为体的行为模式，也能辅助发现新的指标，如新的C2域名。
说明Bulletproofs++ 范围证明注记：一种更快的零知识范围证明及其公式勘误
简介本文回顾了 Bulletproofs++ 构造，它用基于十六进制位的倒数集合成员证明替代了 Bulletproofs 的位分解内积论证。作者给出了 64 位范围证明的自洽规范，以及可参数化批量大小与位宽的通用批处理版本，并证明了诚实验证者零知识性与精确形式的知识可靠性。在 Ristretto255 上的 Rust 实现中，证明速度最高快 7.8 倍，验证速度最高快 4.5 倍。文末还更正了原论文中的两处公式。
说明重新审视 ZMAC+：生日界攻击与超越生日界的修复
简介本文重新分析 List 与 Nandi 在 2017 年 ToSC 上提出的基于可调分组密码的 MAC 方案 ZMAC+。作者证明，该方案存在标签交换机制，可在理想模型下以约 2^(n/2) 次查询实现常数成功率的伪造。作者还指出原文一个引理的计数错误并给出修正后的界，同时提出改进方案，并说明 ZAE 安全定理需保留每条消息的长度限制。
看点发现已发表ZMAC+的标签交换攻击并修正引理计数错误，给出可证明的BBB修复，证明完整，对MAC设计有重要影响。
说明Mikros：面向小域扩张域的位宽感知零知识证明系统
简介该论文提出 Mikros 框架，通过代数向量打包，把小域上的长向量关系转换为扩张域上的短向量关系，使证明者的开销随见证数据的位宽降低。Mikros 能统一位宽感知的内积证明、Hadamard 乘积证明和多项式承诺，并首次给出位宽感知的乘积证明与置换论证，进而支持任意小域扩张上的电路可满足性证明。在 256 批次 SHA-256、Keccak 和 BLAKE3 压缩的测试中，其证明者速度分别为 Flock 的 2.19、2.55 和 1.85 倍。
看点通过代数向量打包把比特宽度感知技术统一到任意小域扩张上，首次给出比特宽度感知的乘积论证，并在哈希电路上以实验对比Flock，证据较充分。
