PairWatch:基于卫星对感知的 AnomalyTransformer,用于检测公开卫星星表中的对抗性交会
PairWatch 提出一种卫星对感知的 AnomalyTransformer,通过在注意力先验中加入对相对运动特征的符号对称几何相似度,检测公开 TLE 星表中的对抗性交会与接近操作(RPO),并发布含 359 个窗口的开源 benchmark(覆盖 11 起有记录的 RPO 事件、100 个 Clohessy-Wiltshire 合成对抗窗口及五类困难负样本)。
AI 安全方向的论文、会议、比赛、教程与资料,按内容形态筛选,支持搜索。
PairWatch 提出一种卫星对感知的 AnomalyTransformer,通过在注意力先验中加入对相对运动特征的符号对称几何相似度,检测公开 TLE 星表中的对抗性交会与接近操作(RPO),并发布含 359 个窗口的开源 benchmark(覆盖 11 起有记录的 RPO 事件、100 个 Clohessy-Wiltshire 合成对抗窗口及五类困难负样本)。
GI-RTL-Fuzz 是一个利用大语言模型(LLM)生成高质量 RTL 测试用例的语法引导模糊测试框架,通过 Backus-Naur Form(BNF)语法覆盖信息引导 LLM 生成过程,探索复杂且少被测试的语言特性。该框架对不同 RTL 模拟器进行差分测试,在主流 Verilog 模拟器的 linting 过程和仿真结果中发现了大量此前未知的不一致问题。
论文在仿真化工流程与钠热工水力实验装置上评测了11个异常检测器(覆盖经典、神经、依赖与因果四类),扰动依据威胁模型构造而非原生故障,并在声明的误报预算下读取检测结果。
提出一个数据驱动的三阶段框架,让仅能截获输入输出数据的中间人(MITM)攻击者在满足无穷范数入侵检测系统(IDS)隐蔽性约束下,迭代辨识闭环网络化控制系统的被控对象行为子空间。
论文提出评测集 ImpasseBench,研究编码智能体在环境阻塞时何时应停止并升级求助。该评测向可解修复任务注入 12 种环境阻塞,并标注轨迹中证据已充分的步骤,以区分合理努力、过度坚持与过早移交。