PIDS-Bench: Evaluating Prompt-Injection Detectors Under Over-Defense, Obfuscation, and Distribution Shift
提示注入(prompt injection)检测器目前普遍以分布内测试集上的聚合 F1 作为主要评价指标,这种做法掩盖了模型在分布偏移下的真实行为,尤其是决策边界的良性一侧:误报会直接产生运维成本(告警疲劳、正常业务被拦截),却往往没有被单
2026-09-16 归档
今日共收录 2620 条安全情报，包含 1789 个 CVE，446 篇安全通告，以及 100 篇研究论文。
← 返回归档列表TasmScan: Continuation-Aware Taint Analysis for TVM Bytecode with Savelist Abstraction
该论文关注的背景是 TON（The Open Network）公链：其市值峰值超过 200 亿美元，链上已激活地址逾 1.75 亿，智能合约由 TVM（TON Virtual Machine）执行。与常见的栈式虚拟机不同，TVM 采用一等续
Empirical Evaluation of Task-Based Permission Scoping Architecture for AI Agents
该论文研究企业环境中 AI agent 的凭据配置问题。当前许多企业把 AI agent 当作员工自有主机来配置，在部署时一次性下发一套静态凭据，包含该员工角色未来可能用到的全部权限。基于角色的访问控制(RBAC)之所以对人类主体做这种妥协
GPUThor: Amplifying Rowhammer Attacks via Non-Uniform Patterns to Exploit ECC-Protected GPUs
该论文研究 GPU 显存（GDDR）上的 Rowhammer（行锤）攻击可行性问题。Rowhammer 指通过高频反复访问某一行内存，使相邻存储单元的电荷发生干扰并最终导致位翻转，进而可用于数据篡改与权限提升。背景与核心问题是：尽管 GPU
Don't Send What You Don't Need: Question-Guided Token Pruning as a Privacy Defense for Vision-Language Models
该论文针对视觉语言模型（VLM）在隐私敏感与带宽受限场景下的视觉问答（VQA）任务，提出名为 QPriv-VL 的「问题引导式、隐私感知」视觉 token 剪枝框架。研究背景是：联邦学习（FL）、拆分学习（SL）与 U 型拆分学习（USL）
When Apps Outlive Vendors: Security Implications of IoT Abandonware
该论文聚焦物联网（IoT）领域一个长期被忽视但规模庞大的问题：厂商停止支持后仍在用户手机上运行、并持续与 IoT 设备交互的“伴侣 App”。作者将这类应用定义为 "IoT abandonware"（物联网弃置软件），并声称这是首个针对已停
HYDRA: Quantifying Botnet Resource Thresholds for Efficient Link-Flooding Attacks on LEO Satellite Networks
该论文针对低轨（LEO）卫星星座（如 Starlink、Kuiper）作为全球低延迟通信骨干所面临的路由/链路洪泛攻击（LFA）风险，提出了 HYDRA 建模与优化框架。研究背景是 LEO 星座具有可预测运动、时变拓扑、依赖星间与星地链路等
GAUGE: A Formal Framework for Measuring Cryptographic Security under Heterogeneous Adversary Cost Models
该论文针对一个长期被忽视的度量问题：标准机构（如 NIST、各密码测评体系）通常用单一“比特数”来表述密码方案的安全强度，但这一数值实际上依赖于所采用的敌手成本模型——即如何为时间、内存、量子资源定价。不同约定（例如内存成本权重、量子算力折
No Bit Left Behind: Using Brute-Force Lifting to Achieve Fully Static Binary Recompilation
二进制重编译（binary recompilation）是一类直接面向可执行代码进行操作的技术，其目标是把两项重要任务自动化：一是为缺乏源码的遗留二进制补装安全缓解措施（如控制流完整性、地址随机化增强等），二是将二进制从一个指令集架构迁移到
Illusion of Depth: Revealing Hidden Stereo Vision Vulnerabilities in Depth Estimation
立体相机凭借成本优势被广泛应用于自动驾驶、无人机与机器人平台，用于替代昂贵的激光雷达完成高精度深度估计。本文揭示了一个源自像素采样与标定流程的立体视觉内在脆弱性：该脆弱性会直接影响立体匹配算法的输出，使攻击者仅借助简单的重复图案即可对真实障
When the World Lies: Backdoor Attacks on Latent World Models for Downstream Control
该论文研究的是「潜在世界模型（Latent World Model）」在复用场景下暴露出的供应链后门风险。世界模型是一类学习式模拟器：把观测编码为潜在状态，并预测在给定动作下状态如何演化。当前社区开始像复用预训练编码器和语言模型那样，把预训
Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean
本文提出了一套面向密码学软件的全新形式化验证方法论，其核心取向是直接验证“生产级代码”，而不是为了便于验证而专门改写代码。作者选择 Rust 作为目标语言，看重的是它在性能与系统集成方面的优势：Rust 的所有权机制使 Aeneas 工具链
Toward an Empirical Probabilistic Risk Manifestation Model of Organizational Cybersecurity in SMEs
该论文针对中小企业（SME）网络安全风险开展了一项跨层实证研究。研究数据来自一所大学公益网络安全诊所在两年间对22家真实中小企业实施的评估，共包含281条经过验证的安全发现。方法上，作者首先通过迭代主题编码识别出反复出现的组织安全功能，然后
SENTINEL: A Multi-Pathway Architecture for Detecting Living-Off-the-Land APT Attacks on Windows Command Lines
该论文聚焦 Windows 环境下“离地攻击”（Living-Off-the-Land, LOTL）的检测难题。LOTL 已成为 APT 组织最主要的规避手法：攻击者不投放自研恶意软件，而是滥用系统自带的合法签名工具（PowerShell、
You Shall Not Pass into Ring-0! A User Privacy-Friendly Anti-Cheat Architecture for Personal Computers
该论文关注竞技类视频游戏中内核级反作弊带来的用户隐私与信任问题。当前反作弊常以 ring-0（x86 特权模式）组件形式安装到玩家个人电脑上，这类组件不可验证、权限极高，虽能有效检测恶意玩家行为，却使玩家难以审查其行为，隐私风险与系统稳定性
Not All Relations Are Equal: Relation-Balanced and Calibrated Graph Learning for Provenance-Based Intrusion Detection
该论文关注基于溯源图（provenance graph）的入侵检测系统（PIDS）在检测高级持续性威胁（APT）时的统计偏差问题。现有 PIDS 方法普遍把系统调用/系统交互形成的各类关系（relation）同等对待，忽略了关系之间巨大的统
Rethinking Software-Defined Networking Link Discovery with Dynamic Randomization
软件定义网络（SDN）将控制平面与数据平面分离，实现可编程的集中式管理，而拓扑发现是其核心服务之一：控制器周期性识别网络链路以维护全局视图。本文首先对五个开源 SDN 控制器和十种发现协议进行分析，发现它们均至少对一种链路伪造（拓扑投毒）攻
SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI (Extended Version)
该论文研究 CHERI 这类基于能力(capability)的处理器架构中的一个关键安全缺口。CHERI 通过在架构层面引入不可伪造的能力指针，为软件组件提供了强隔离与内存安全保证；为了进一步抵御微架构侧信道，软件通常按常量时间(const
The MAL Simulator: Cyber Operations Simulation based on Attack & Defense Graphs
该论文介绍了 MAL Simulator——一个基于 Meta Attack Language(MAL)构建的网络攻防操作仿真器,目标是支撑"决策驱动"的网络攻击与防御仿真,用于系统分析以及自动化代理(agent)的训练与评估。研究背景是:
What Breaks Local Watermarks? A Robustness Benchmark for Local Invisible Image Watermarking
局部图像水印（Local Image Watermarking）与全图铺开的水印方案不同，它只把不可见信号嵌入到选定图像区域，使得可以从特定物体或区域恢复载荷（payload）并定位水印范围，同时对整图视觉质量的影响更小。然而既有研究普遍只