FRESCO: Complete and Scalable Temporal Safety for CHERI Application Processors
CHERI 架构通过硬件增强提供了空间内存安全，但时间内存安全问题（如 use-after-return）仍未解决。现有的编译器分析只能可靠捕获作为函数返回值逃逸的引用，而动态消毒工具的开销过高，难以在生产环境部署。本文提出 FRESCO，
2026-08-28 归档
今日共收录 1697 条安全情报，包含 762 个 CVE，507 篇安全通告，以及 120 篇研究论文。
← 返回归档列表Beyond F1: Evaluating Coverage and Failure Recovery in AI Model Security Scanners
本文针对机器学习工件安全扫描器的评估方法展开研究。传统的安全扫描器评估指标（如 F1）只刻画扫描器能给出可用安全判断的情况，而忽略了扫描器无法给出判断或分析失败的场景。作者提出了一个受控的、基于真实工件的基准测试框架，在包含 170 个 P
Low-ASR Backdoors: Exploiting Attack Success Rate Reduction and Attacker-Defender Asymmetry
本文针对深度学习中的后门攻击与防御展开研究，指出当前主流防御范式建立在一个隐含假设之上：成功的后门攻击必然具有较高的攻击成功率（ASR）。作者认为这一假设存在根本性缺陷，因为ASR并非后门的固有属性，而是攻击者可以主动控制的变量。通过刻意削
X-WAD: eXplainable Web Anomaly Detection
本文研究基于 Transformer 的语言模型（TLMs）在 HTTP 请求异常检测中的应用，并重点关注异常的可解释性。现实场景中良性流量占绝大多数，因此现代防御系统常采用半监督方法仅用正常数据训练模型来刻画正常行为。然而，完全保证训练数
Physical-Layer Fingerprint-Space Capacity Analysis for 100BASE-TX Devices in IIoT
本文针对工业物联网（IIoT）中广泛使用的100BASE-TX以太网物理层指纹（PLF）容量问题展开研究。随着工业网络规模扩大，设备认证对于防止设备冒充与未授权访问至关重要，物理层指纹利用发射信号中与设备相关的硬件差异，提供基于硬件的终端认
SLIDE: Shuffle Shamir Secret Shares Uniformly with Linear Online Communication and Guaranteed Output Delivery
该论文重新审视了Shamir秘密共享中的洗牌（shuffle）协议。洗牌是一种对共享矩阵的行进行随机置换的原语，广泛应用于安全多方计算（MPC）中的排序、不透明数据结构和隐私保护数据操作。现有洗牌构造要么产生非均匀的排列（即不是从所有排列中
SecureDrive-FL: Joint Differential Privacy and Gradient-Aware Selective Homomorphic Encryption for Federated Driver Monitoring
联邦学习（FL）通过分布式训练在一定程度上保护原始数据，但梯度更新仍面临严重隐私威胁：中间人（MitM）攻击可窃听传输中的梯度，而模型投毒攻击会破坏全局模型的收敛性。针对这些问题，本文提出了一种全新的选择性加密策略 GASHE（Gradie
Cyber-Electromagnetic Anomaly Detection Through Time-Series Analysis
本论文聚焦于军事行动中网络域与电磁战域的协同问题，提出利用时间序列分析实现网络-电磁异常检测，以增强网络态势感知（CSA）能力。研究背景指出，现代军事行动需要协调动能与非动能域，特别是网络操作与电磁战的配合，对于获取作战优势至关重要。在OO
Neighborhood Watch: Privacy Risks in Seeded Local Combination Synthetic Data
本文针对合成数据生成中的隐私风险展开研究，重点关注基于局部组合（local combination）的合成数据方法。这类方法通过组合真实邻近样本来构建合成档案，常见于医疗等敏感领域的数据共享场景。作者选取了 SMOTE、Simulant 和
A Catalog of User Authentication Patterns
本文针对安全模式目录在实际软件工程中应用不足的问题，以用户认证为切入点，提出了一套全新的认证模式目录。作者指出，尽管已有多种安全模式目录，但具体到常见安全控制（如用户认证）的详细模式仍然缺失，导致软件工程师和架构师难以将安全知识直接应用于系
FIDA: Feature Instability-Driven Attack on Self-Supervised Facial Representation
本文提出了一种针对自监督学习（SSL）人脸表示模型的后门攻击框架 FIDA（Feature Instability-Driven Attack）。研究背景在于，尽管自监督学习模型已被证实容易受到后门攻击，但在人脸表示领域，这类攻击的系统性风
Information Flow Control in Off-Chain Components
该论文针对具有链下组件的区块链智能合约架构，提出了一种形式化建模方法。链下组件是智能合约的一部分，它们在区块链节点网络之外指定的位置执行，但保持与链上合约状态同步。它们既能响应链上状态变化，也可以向链上环节报告外部世界事件（如股价、天气数据
Daydreaming: Stealing Hidden Agent Skills through Black-Box Task Interaction
本文提出一种名为 Daydreaming 的黑盒任务交互攻击方法，旨在从托管代理服务中窃取隐藏的“技能”（agent skills）。技能通常包含指令、参考数据和可执行的辅助文件，使通用代理能够执行专业任务。托管提供商可以对这些文件保密，仅
The Latent Diagnostic Taxonomy: A Framework for Constructing Classifiers and Diagnosing Their Decisions, Applied to Prompt Injection Detection
本论文提出一种名为Latent Diagnostic Taxonomy的框架，用于构建作为防护层的分类器，并开发配套的诊断机制，以识别哪些高置信度的分类决策可以被信任。该框架包含三个核心步骤：首先，构建维度优化的分类器，嵌入维度通过交叉验证
IoMT-SecAlarmBench: A Counterfactual Benchmark for Integrity Attacks in IoMT
本文提出了IoMT-SecAlarmBench，一个用于医疗物联网（IoMT）环境中完整性攻击检测的半合成基准。IoMT系统融合了临床生理数据与网络信息，导致异常读数的来源难以判别：是真实生理事件、设备故障还是攻击。现有数据集缺乏反事实gr
PRISM: Lightweight Enclave Isolation with Prismatic Capabilities
本文提出了一种基于 CHERI 能力（capability）的轻量级可信执行环境（TEE）架构 PRISM。现有 TEE 如 Intel SGX 缺乏内存安全，而 CHERI 虽然能在对象粒度提供空间内存安全，但基于 CHERI 构建 TE
From Fleet to Lab: Revisiting the Security and Complexity of Industrial Rowhammer Mitigation
本文研究内存控制器（MC）层面 Rowhammer 缓解的高效与安全性问题。Rowhammer 缓解面临跟踪存储与缓解率之间的根本权衡：精确跟踪器（如 Misra-Gries）能避免不必要的缓解，但需要大容量 CAM 结构；而采样方案（如
A Hybrid Security Framework for Mini-Programs: Visual UI Compliance and Network Risk Assessment
本文针对微信小程序生态中界面交互设计不合规与运行行为安全问题提出了一种混合安全检测框架。随着微信小程序因免安装、占用内存小、即用即走等优点而用户规模激增，其合规性与安全性问题日益凸显。许多小程序存在按钮和图标尺寸不合标准、广告弹窗和支付入口
Toward Interpretable Privacy Guarantees in Face-Swapping Anonymization
该论文研究面部替换（face-swapping）匿名化技术中的隐私泄露问题。面部替换通过将目标人物的外观替换为捐赠者的外观，同时保留非面部上下文，生成视觉上接近捐赠者的图像，并通常导致人脸识别系统对目标人物的匹配分数降低，表面上满足隐私保护
MeMark: Membrane-Space Watermarking for Spiking Neural Networks
该论文提出了一种针对脉冲神经网络（SNN）的模型水印方法 MeMark，用于解决预训练 checkpoint 被复用时的版权归属问题。现有的 SNN 水印通常把验证信号放在模型输出层，攻击者只要替换输出头（output head）就能在保留