Researchers Use Claude to Port Pre-Auth RCE Exploit From One PLC Model to Another

CVE-2021-31886

Forescout Research - Vedere Labs said it used Anthropic's Claude to port a working pre-authentication remote code execut

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

Attackers Exploit Critical Switchvox Flaw to Deploy Reverse Shells Without Credentials

CVE-2026-9586

Threat actors are exploiting a severe security vulnerability in Sangoma Switchvox, an enterprise VoIP platform, that cou

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

Hearing the Whispers: Black-Box Membership Inference Attacks on Finetuned TTS Models

本文研究文本到语音（TTS）基础模型在私有数据微调过程中引发的严重隐私泄露问题，并首次提出专门针对TTS模型的黑盒成员推理攻击（Membership Inference Attack, MIA）框架。TTS模型可被用于合成高度个性化的语音，

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

What's in Your Agent's Context? Context Privilege Escalation Attacks against AI Agent Harness

该论文针对真实世界中高性能 AI agent harness（智能体框架）的上下文组装设计进行了首次系统性安全分析。实际部署中的高知名度 agent harness 往往依赖厂商专有或不透明的上下文组装机制，导致上下文数据来源和内部逻辑难以

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

A Version Space Approach for Digital Circuit Analysis

本文提出一种以版本空间为核心的数字电路分析框架。所谓版本空间，是指与所有观测一致的候选对象集合；其大小（对数）可以度量观测对隐藏对象的收敛程度。作者将该框架统一应用于两个传统上相互独立的问题：概率组合等价性检查和逻辑锁定网表的密钥计数。在等

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

Griotte: Verified Compartmentalisation via Capabilities

本文针对 CHERIoT 硬件-软件协同设计中的安全保证形式化问题展开研究。CHERIoT 通过硬件能力（capabilities）定义隔离的 compartment（隔离舱），并依托一个最小化能力操作系统 CHERIoT RTOS 实现默

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

CRSF: Collusion-Resilient Privacy-Preserving Sensor Fusion with Byzantine-Robust Participation

本文针对隐私保护传感器融合系统中的安全弱点提出了一种新的协议 CRSF。在典型的传感器-服务器-客户端架构中，不受信任的服务器需要在不学习单个输入或最终输出的情况下，对分布式传感器的测量值进行聚合计算。已有基于混淆电路（garbled ci

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

Does Reasoning Mitigate Backdoor Attacks? A Neuro-Symbolic Perspective

该论文从神经符号（Neuro-Symbolic, NeSy）视角出发，首次系统评估了后门攻击对NeSy模型的影响。NeSy AI旨在将亚符号神经感知与基于符号的推理相结合，以提高AI系统的透明性、可解释性和效率，通常被认为是“设计上安全”的

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

Type-Directed, Secure-by-Construction Enclave Partitioning for LLVM

可信执行环境（TEE）通过硬件隔离，将代码和数据封装在 enclave 中，从底层保护其安全性，然而 TEE 本身并不能强制信息流安全。对于 LLVM 这类低级语言，因其允许不受限制的指针操作和非结构化控制流，更难以在 TEE 中使用时保证

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

Hidden Services Protocol for Mixnets

Mixnet（混合网络）通过多个中间节点对数据包进行随机延迟和加密变换，能够提供网络层面的隐私保护，有效隐藏发送者与接收者的关联。然而现有 mixnet 协议通常只注重保护发送者匿名性，接收者（服务端）的隐私保护尚缺少安全且实用的解决方案。

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

Stored Is Not Supported: Typed Provenance and Assertion Guardrails for Persistent AI Agents

本文研究持久化 AI 代理（Persistent AI Agents）中的信息安全与可信性问题。这类代理通过反思、检索和整合机制构建自传式状态（autobiographical state），以便在长期运行中记住用户偏好、历史决策和任务上下

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

Overcoming the Randomness-Utility Trade-off in Answering Differentially Private Linear Queries

该论文研究差分隐私（Differential Privacy, DP）下回答线性查询时随机性与效用之间的权衡，具体关注在保证隐私的前提下如何最小化所需随机比特数。传统Hardt-Talwar的K范数机制虽能提供良好的效用（误差界），但需要大

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

SPADE: SPaT Attack Detection from the Connected Vehicle's Perspective

本文介绍 SPADE（SPaT Attack Detection and Evaluation）数据集，旨在解决联网车辆（CV）安全中信号相位与配时（SPaT）消息完整性检测缺失的问题。SPaT 消息是 CV 安全的关键组成部分，通过车对基

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

Learning-Based Reconstruction Attacks on Coordinate-Obfuscated Point Clouds

该论文研究基于点云的体积视频在传输中的内容保护问题。点云表示能为沉浸式虚拟/增强现实提供几何数据，但高效且安全地传输这些数据面临挑战。此前研究提出一种选择性坐标加密框架，仅加密部分坐标以降低计算开销，同时使未授权内容在视觉上失真。然而，剩余

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

Poisoning Attacks on the PGM-index

该论文研究了学习索引 PGM-index 对投毒攻击（poisoning attacks）的敏感性。PGM-index 是 Ferragina 和 Vinciguerra 在 VLDB'20 提出的最实用的学习索引之一，其核心依赖于最优分段

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

Retrosynthesis of Synthetic Media for Explainable AI Provenance Forensics

随着生成模型在机器学习即服务（MLaaS）平台上快速普及，在不修改生成器架构或参数的情况下可靠追踪合成媒体来源仍是一个重大挑战。现有方法往往依赖水印嵌入或对生成过程进行改动，但在固定生成器（即无法修改模型本身）的约束下，这些方法难以适用。为

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

Agentic Settlement Protocol: An Application Profile for Refundable, Delayed-Fulfilment Agent Commerce on Stablecoin Rails

本文针对自主代理在商业场景中进行大额、可取消交易时的支付结算问题，提出了一种基于稳定币和链上托管的应用协议——Agentic Settlement Protocol (ASP)。目前HTTP原生协议（如x402）只能支持原子性的按请求支付，

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

C$^2$T-OpenMax: A Novel Open-Set WiFi RF Fingerprinting Method via Center Constrained Learning and Confidence-Guided Tail Modeling

该论文提出了一种面向开放集WiFi射频指纹识别（RFF）的增强框架C$^2$T-OpenMax。射频指纹识别利用设备发射机固有的硬件缺陷实现设备身份认证，但在实际部署中往往需要跨环境与开放集识别能力。传统方法常使用数据增强来提升环境泛化性，

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

ClaimReceipt: Verifying Evidence Sufficiency and Coverage in Agent Evaluations

本文聚焦智能体（Agent）评估中的证据充分性与覆盖性验证问题。作者指出，智能体评估面临两类不同的证据问题：其一，所报告的结论（claim）能否由保留的证据重新计算得出（充分性）；其二，保留的记录是否覆盖了承诺的实验集合（覆盖性）。通用的日

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

Privacy Amplification Without Independence: How Far Negative Dependence Carries the Guarantees of Poisson Subsampling

该论文研究差分隐私（DP）优化中常用采样器——泊松子采样——的隐私放大保证，在结构化参与（如随机分配、每轮分配、随机签到）下是否仍然成立。泊松子采样因独立性使得隐私放大易于分析，但实际系统逐渐采用结构化参与方式，这些方式在匹配的采样率下通常

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