Echo: Learning-based Matching Decompilation using Trusted Back Translation

本文提出 Echo，一个基于“可信反向翻译（trusted back-translation）”的匹配式反编译系统。研究背景是：神经反编译器虽能从二进制中恢复可读、可重新编译的源代码，但其输出缺乏可信度保证——模型可能生成语义上与原始程序不

历史摘要 · 未重新核验 · arXiv cs.CR

A Security Risk Assessment Framework for AI-Powered Development Tools

该论文关注 AI 编程助手大规模进入软件开发生命周期后带来的安全风险,但指出当前研究存在明显偏向: 大量工作聚焦于「AI 生成代码中是否存在漏洞」这一检测问题,而缺乏对漏洞严重性、任务语境与整体风险水平的系统化评估方法。为填补这一空白,作者

历史摘要 · 未重新核验 · arXiv cs.CR

Fluid Notarization: Verifiable Evolution of Concurrently Edited Structured Documents

本论文针对协作编辑场景下文档公证的失效问题提出了新的范式。传统基于区块链的文档公证是“快照导向”的：每一次文档修订都被视为一个独立状态，通过密码学引用（如哈希）单独锚定到链上。这种模型对不可变工件有效，但在多人协作编辑的文档上力不从心：并发

历史摘要 · 未重新核验 · arXiv cs.CR

A Global Readiness and Sovereignty Capability Model for Post-Quantum Cryptography Migration

该论文针对后量子密码（PQC）迁移这一战略窗口，指出现有成熟度模型仅评估“准备度”，而主权文献虽讨论“密码主权”却缺乏可操作测量。作者提出“准备度-主权能力模型”（RSCM），将PQC准备度与密码主权整合为国家层面的测量框架。RSCM把主权

历史摘要 · 未重新核验 · arXiv cs.CR

A GAN-Based Framework for Robust DDoS Attack Detection

该论文关注分布式拒绝服务（DDoS）攻击检测中的鲁棒性问题。作者指出，在线服务可用性持续受到 DDoS 威胁，攻击者不断采用更复杂策略规避传统网络安全系统；同时，机器学习检测模型虽有效，但面对针对性对抗攻击时分类准确率会下降。为此，论文提出

历史摘要 · 未重新核验 · arXiv cs.CR

Hopper: Bounded-Memory Collaborative Debiasing for Byzantine-Tolerant Peer Sampling

拜占庭容错的对等节点采样（Byzantine-tolerant peer sampling, BTPS）是分布式系统中维持随机成员视图、抵御恶意节点污染的基础机制。视图需要被持续刷新，而刷新过程依赖从网络中收集的标识符流；攻击者可以通过操纵

历史摘要 · 未重新核验 · arXiv cs.CR

Empirical Analysis of Randomness Quality in Differential Privacy Mechanisms

差分隐私（DP）依赖经过精确校准的随机噪声来保护统计分析中的个体隐私。以往研究多从理论层面分析随机性假设被削弱时的 DP 性质，但对熵退化在实际部署中造成的后果缺乏经验性认识。本文作者使用 IBM 的 DiffPrivLib 库，对随机性质

历史摘要 · 未重新核验 · arXiv cs.CR

A Policy Profile for Croissant: Refusal as a Property of the Dataset

Croissant 是机器学习数据集领域事实上的机器可读描述符标准，其形式为基于 schema.org 的 JSON-LD。自 1.1 版本起，Croissant 开始承载数据使用条件（data use conditions），并推荐使用

历史摘要 · 未重新核验 · arXiv cs.CR

Differential Trust: Dynamic Multi-Authority Anonymous Credentials with Epoch-Weighted Updates

匿名凭证(Anonymous Credentials, AC)是隐私保护认证的基础密码学构件,它允许用户在不暴露真实身份的前提下,向验证方证明自己持有某些属性或资格。当前最前沿的方案将凭证签发职责分散到多个权威机构,常见做法是基于 Sham

历史摘要 · 未重新核验 · arXiv cs.CR

EvoSherlock: Towards Agentic Lifelong Evolution for Unseen Long-Tailed Security-Critical Events in Videos

该论文针对安全导向视频理解（SVU）系统在真实世界安全关键事件中面临的挑战，指出现有系统假设封闭世界（静态类别、充足标签、已知事件类型），而现实中的安全事件呈长尾分布、新类型持续涌现、关键事件样本稀少。为此，作者形式化定义了“视频中长尾安全

历史摘要 · 未重新核验 · arXiv cs.CR

Delphi Scanner: efficient and interpretable static malware detection via API sequence modeling

本文面向 Windows PE (Portable Executable) 文件的静态恶意软件检测，指出该领域长期存在三重矛盾：检测有效性、计算效率与可解释性难以兼顾——高精度模型往往体积庞大、推理依赖云端算力，且以黑箱方式给出分数，安全分

历史摘要 · 未重新核验 · arXiv cs.CR

Low-Rank Masking for Single-Server Matrix Multiplication

本文研究在有限域 F_q 上把矩阵乘法外包给单一（不可信）服务器时，采用秩不超过 r 的加性掩码能提供多强的统计隐私。针对独立均匀的 n×n 输入矩阵，作者证明两类自然采样方式——均匀 rank-ball 掩码，以及独立均匀因子的乘积——对

历史摘要 · 未重新核验 · arXiv cs.CR

Epsilon-Nash Equilibria in History-Dependent SA-MDPs

该论文研究状态对抗马尔可夫决策过程（SA-MDP），并将其建模为一场针对观测空间攻击的博弈：智能体每一步根据接收到的观测选择动作，而对手知道智能体所处的真实状态，并在一个依赖状态的邻近集合内选择一个被扰动的观测。已有工作主要聚焦马尔可夫策略

历史摘要 · 未重新核验 · arXiv cs.CR

Witness Encryption via Prime-Order Generic Groups

该论文研究如何在不依赖不可区分混淆(iO)、多线性映射等强假设的前提下构造 NP 的见证加密(Witness Encryption, WE)。WE 允许发送方针对某个 NP 陈述 x 加密消息：持有 x 的有效见证者可解密，而当 x 不属于

历史摘要 · 未重新核验 · arXiv cs.CR

ISIA-AF: Orchestrating Reproducible Attacks and Multi-Source Data Collection for OT Systems

该论文针对运营技术（OT）/工业控制系统安全研究中长期存在的一个基础性痛点展开：入侵检测与异常检测模型的训练和评测高度依赖真实、可复现的安全数据集，但现有 OT 数据集普遍存在采集过程自动化程度低、数据源单一、文档与元数据不足导致难以复用等

历史摘要 · 未重新核验 · arXiv cs.CR

Hamming Ideals and Grobner Bases for ISD-like Syndrome Decoding

本文研究综合征解码问题(Syndrome Decoding Problem, SDP)的一种代数化求解路线,并把代数建模与信息集解码(Information Set Decoding, ISD)范式结合起来。SDP 是码基密码学的核心困难问

历史摘要 · 未重新核验 · arXiv cs.CR

Compact Vision Models for Iris Presentation Attack Detection under Presentation Attack Instrument Shift and Environmental Degradation

该论文研究虹膜活体检测（Presentation Attack Detection, PAD）在攻击呈现工具（PAI）发生迁移以及采集环境退化时的鲁棒性问题。作者指出，许多在开发阶段表现可靠的虹膜 PAD 子系统，一旦遇到验证集中未出现过的

历史摘要 · 未重新核验 · arXiv cs.CR

On the Leakage of Massey Secret Sharing Schemes under Linear Computations

本文研究 Massey 秘密共享方案在线性计算下的泄漏问题。秘密共享的泄漏攻击利用份额的部分信息恢复原始秘密；在编码理论中，线性精确修复方案（LERS）允许从其余符号的少量信息中恢复一个码字符号，前提是码率足够低，这可解释为从份额的子域符号

历史摘要 · 未重新核验 · arXiv cs.CR

Multi-center Medical Data Mining with FL-Net - A One-stop Shop for Federated Learning

该论文聚焦于联邦学习（FL）在真实临床多中心研究场景中"落地难"的问题。作者指出，尽管联邦学习在理论上允许各参与方在不共享患者级原始数据的前提下协同训练模型，但绝大多数已发表研究仍停留在模拟实验阶段，缺少可直接支撑跨医院、跨国家真实临床协作

历史摘要 · 未重新核验 · arXiv cs.CR

SmartLife app dynamically generates fresh SmartLife application authentication parameters inside its runtime process. Using the acquired SmartLife application authentication par...

CVE-2026-86553

该漏洞披露于 SmartLife 移动应用的认证机制。SmartLife 客户端会在自身运行进程中动态生成一份「新鲜」的应用鉴权参数，用于与其后端服务通信。问题在于，后端接口 /account/verify.serv 在受理请求时未对调用方

历史摘要 · 未重新核验 · NVD