Rsyslog: a configuration-dependent issue in rsyslog's optional imptcp input module can allow an unauthenticated remote peer to crash rsyslogd

CVE-2026-19654

Rsyslog: a configuration-dependent issue in rsyslog's optional imptcp input module can allow an unauthenticated remote p

历史摘要 · 未重新核验 · Microsoft MSRC

Kubevirt: virt-handler-rhel9: kubevirt: virt-handler migration proxy follows symlinks allowing container escape to host

CVE-2026-13622

Kubevirt: virt-handler-rhel9: kubevirt: virt-handler migration proxy follows symlinks allowing container escape to host

历史摘要 · 未重新核验 · Microsoft MSRC

CISA Flags Exploited Cisco, Citrix, Fortinet Flaws, Sets Sept. 12 Federal Patch Deadline

CVE-2026-20079

The U.S. Cybersecurity and Infrastructure Security Agency (CISA) on Wednesday added three flaws, each impacting Cisco, C

历史摘要 · 未重新核验 · The Hacker News

mistral.rs Media Loader: Unauthenticated SSRF and arbitrary local file read via image_url

### Summary mistral.rs fetches any request-supplied image/audio URL with no host or IP validation, and opens arbitrary l

历史摘要 · 未重新核验 · GitHub Advisory

BenchShield: Formal Model-Backed Instrumentation for Reward Integrity in LLM-Agent Evaluation Infrastructure

该论文关注 LLM 智能体（LLM-Agent）基准测试正在从静态题库演变为交互式评测基础设施这一趋势：智能体可以观察环境状态、调用工具、修改工作区、提交产物，并由结果判定程序给出奖励。这种交互性带来了「奖励劫持」（reward hacki

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

SoK: Privacy Attacks on Machine Learning via Explainable AI

该论文是一篇系统性知识综述（SoK），聚焦一个常被忽视但日益重要的攻击面：机器学习可解释性（Explainable AI, XAI）机制本身如何成为隐私与模型机密性攻击的放大器。作者指出，解释（如特征归因、反事实、样本级影响函数等）不仅描述

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

Heterogeneous Cross-Chain Transaction Tracing for Solana Bridges via Candidate-Set Selective Decision

该论文聚焦于 Solana 生态中的跨链资金追踪难题。Solana 作为高吞吐公链，近年吸引了大量流动性与用户活动，但同时也被非法行为者利用：他们常借助跨链桥将以太坊等链上的非法资金转移至 Solana，以切断或混淆资金链路。与 EVM 兼

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

Sound Debloating of Redundant Checks in Zero-Knowledge Machine-Learning Circuits

本文关注零知识机器学习（ZKML）推理证明系统的电路安全性与性能问题。在这类系统中，神经网络被编译成一组算术约束（arithmetic constraints），但其中大量约束属于冗余检查，例如范围证明（range proof）、符号查找（

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

Atlas: Efficient Verifiable Semantic Search

该论文关注向量语义检索（semantic search）中的信任与可验证性问题。语义检索是现代应用的底层能力，支撑推荐系统、网页搜索以及大语言模型的检索增强生成（RAG）。在这类系统中，服务提供方同时掌握索引和查询执行逻辑，客户端只能默认相

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

terms.txt: A Consent and Compensation Protocol for Agentic Web Access

该论文针对生成式 AI 抓取与智能体（agent）自动访问对开放 Web 既有「隐性契约」的破坏，提出了一套可机器读取的「同意与补偿」协议体系。背景是：开放 Web 长期依赖一条不成文的交换约定——网站允许爬虫抓取，搜索引擎则以把访客导回站

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

From Cycle Space to Cycle Manifold: Limits and Achievability of Blind False Data Injection Attacks

该论文研究电力系统假数据注入攻击（FDIA）中盲攻击的信息论极限与可达成条件。传统残差型不良数据检测器（BDD）通过量测残差判断异常，而 FDIA 可在改变状态估计结果的同时规避 BDD。已有盲攻击方法多从代数角度学习低秩量测子空间，但未说

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

Session Attestation for Unmodified TLS Services in Confidential Virtual Machines

该论文针对机密虚拟机（Confidential VM, CVM）中现有服务迁移后的网络会话证明问题提出了新方案。背景是：可信执行环境（TEE，如 Intel TDX、AMD SEV、Hygon CSV）让已有服务可以较低成本地迁入受保护环境

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

Robust Industrial Cyber Physical Classification Using Neuromorphic Temporal Embeddings and Hybrid SNN XGBoost Under Machine Unlearning Attacks

该论文关注电力配电网数字化带来的安全暴露面扩大问题：随着智能量测、同步相量（Synchrophasor）等设备接入，电网信息物理系统（CPS）面临更多网络攻击机会，而现有入侵检测系统（IDS）为保证精度往往采用计算开销大的深度学习模型，难以

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

Lower Bounds for Private Graph Optimization Problems using Reconstruction Attacks

本文研究差分隐私（DP）约束下的基础图优化问题，并给出基于「重构攻击」思路的新型下界证明。设定为：图 G=(V,E,向量w) 的顶点集 V 与边集 E 是公开的，只有边权 w:E→R 需要保持差分隐私，隐私邻接关系采用 ℓ1 距离（即增删或

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

Subgroup Membership Inference Audits of Differentially Private Synthetic Text

合成数据发布被广泛提议作为敏感私有数据集的替代方案：在不直接共享原始隐私数据的前提下，提供具有统计相似性的“真实感”副本。即便采用差分隐私（DP）对最坏情况下的隐私泄露给出形式化上界，实践中仍会残留一定泄露风险，因此研究者常用成员推断攻击（

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

Proximity Gaps for Gabidulin Codes and Applications

邻近性间隙（proximity gap）是交互式预言证明邻近性（IOPP）与多项式承诺方案（PCS）可靠性分析的核心概念：对线性码 C，若仿射线上的点要么全部接近码字、要么至多 ε 比例接近，则称其具有 (δ, ε)-邻近性间隙。Hammi

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

TrajMark: Ownership Attribution and Segment-Level Tamper Localization for Coding-Agent Trajectories

该论文关注编码智能体（coding agent）的溯源与完整性验证问题。现有做法多是对智能体最终产出的补丁（patch）做水印，从而为提交的制品提供来源证据；但这种方式无法对产生该补丁的可见过程（即智能体的行为轨迹 trajectory）进

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

FST Pay: Deterministic Safety-Gated Architecture for Youth Digital Payments

数字支付基础设施正越来越多地向青少年用户开放实时金融服务。提早接触有助于培养金融素养与数字普惠，但也让未成年用户暴露在冲动消费、社会工程诈骗、未授权交易以及商户不当获利等风险之下。传统对策主要依赖概率性机器学习模型或刚性静态控制规则，前者存

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

Decentralized network congestion control for DAG-based distributed ledger system

本文针对基于有向无环图（DAG）的分布式账本技术（DLT）网络，提出了一种「可变且基于行为的节点专属工作量证明（PoW）」模型，用于缓解去中心化网络中的拥塞控制问题。研究背景是：中心化通信系统的拥塞控制已是成熟研究领域，但去中心化网络（尤其

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

Accountability in Certificate Transparency and Variants

本文由 Timo Treitz 与 Robert Künnemann 撰写，聚焦于公钥基础设施（PKI）中的信任问题，特别是证书透明（Certificate Transparency, CT）机制的目标属性能否被精确刻画。CT 已被所有主流

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