The Acknowledgment Point Is the System: Durable Policy-Decision Receipts for AI Audit Evidence
该论文聚焦于AI审计记录的持久性和信任边界问题,指出审计记录仅在明确其持久性和信任边界时才真正有用。作者提出RuntimeGuard-AI研究原型,其核心设计为:将策略决策与精确策略源绑定,在调用方选择的同步边界提交隐私最小化记录,并返回E
今日共收录 1886 条安全情报,包含 1062 个 CVE,406 篇安全通告,以及 120 篇研究论文。
← 返回归档列表该论文聚焦于AI审计记录的持久性和信任边界问题,指出审计记录仅在明确其持久性和信任边界时才真正有用。作者提出RuntimeGuard-AI研究原型,其核心设计为:将策略决策与精确策略源绑定,在调用方选择的同步边界提交隐私最小化记录,并返回E
该论文对研究软件项目的引文元数据一致性进行了首次大规模审计。研究背景是:一个研究软件项目通常会在多个位置同时描述自身,例如仓库中的引文文件、归档存储、DOI注册记录、包注册表和README文本。论文将这些机器可读的自我描述称为“表面”,并指
本论文针对大型语言模型(LLM)驱动的个人代理系统提出了一种内存隔离机制,以防止跨受众记忆泄漏。在代理系统中,模型会从用户交互中学习事实并存储于记忆库,随后在生成提示时将这些记忆组装进上下文。论文指出,这一“记忆到上下文”转换过程存在安全攻
本文研究图像到图像的人脸生成模型(如 FaceFusion、InstantID)在身份层面的差分隐私(DP)保障问题。尽管这些模型输出的图像与源图像存在视觉差异,但视觉差异不能作为隐私保护的充分证据,因此需要形式化的审计方法来评估它们是否满
该论文提出了一种基于数字孪生(Digital Twin, DT)的入侵检测系统(IDS),用于车辆动力总成控制器局域网(CAN)总线,旨在检测那些保持正常消息时序、频率或序列但操纵有效载荷的隐蔽攻击。现有CAN入侵检测方法主要关注消息时序或
SentryBus 提出了一种面向 I2C 传感器接口操纵的多视角可观测性模型与经过验证的检测仪器。论文针对医疗物联网设备、无人机和信息物理系统中普遍存在的传感器信任假设:一旦测量值到达嵌入式处理器,系统便默认其可信。然而,攻击者若在传感器
本文针对生成式引擎优化(GEO)带来的新型内容操纵风险展开研究。GEO 通过修改网页内容,提高其被生成式搜索引擎(如基于大语言模型的检索增强系统)选中和引用的概率,使得部分页面获得超出其权威性或相关性的可见度,甚至可能让质量较低或虚假的信息
本文针对人脸识别系统中的模型逆向攻击(Model Inversion Attacks, MIAs)提出了一种新的两阶段白盒攻击方法——Steering Flow Model Inversion (SFMI)。模型逆向攻击旨在从训练好的识别模
该论文针对 Simon 近期提出的关于二面体陪集问题(Dihedral Coset Problem)的量子算法中的四个引理进行严格化证明。Simon 的算法声称能在多项式时间内解决该问题,但其分析依赖于四个引理,其中三个仅有证明草图。本文为
多模态检索增强生成(M-RAG)系统正面临一类对抗性攻击:攻击者精心构造恶意数据,使其嵌入向量在向量空间中与良性条目对齐,从而欺骗检索器、诱导模型产生有害输出。现有防御大多在查询阶段运行,依赖辅助检测器、相似度重排序或特征一致性校验,但存在
Vantage 是一篇关于拜占庭容错(BFT)共识协议的学术论文,发表于分布式计算领域(cs.DC)。传统的高吞吐无签名 BFT 协议依赖数字签名来提供可转移的证据,使区块和投票能够被第三方验证,但签名带来额外开销。本文提出了一种仅使用认证
本文针对5G蜂窝网络中初始接入阶段的安全漏洞进行了实验验证与缓解研究。5G系统的初始接入阶段在用户完全认证之前,基站(gNB)必须分配无线资源,这使得随机接入信道(RACH)过程容易被滥用。攻击者可以利用RACH过程产生大量不完整的连接尝试
本文针对工业网络流量中过程变量(Process Variables, PV)恢复问题展开研究。在工业信息物理系统(CPS)中,过程变量是过程感知安全监控的关键证据,但现有监控基础设施通常仅记录由历史数据库(historians)保存的部分P
该论文研究可信监控器集成(trusted-monitor ensembles)中的核心问题:什么因素真正决定了集成性能?此前方法通过最小化平均成对相关性来构建多样化监控器面板,但未明确这种相关性的来源是技能还是谱系。作者研究了24个开放权重
本文研究带结构噪声的奇偶校验学习问题(LPSN),该问题可归结为求解非线性布尔系统。在量子计算中,这类系统通常被转化为 Macaulay 线性系统,并借助量子线性系统算法求解,但该过程严重受制于条件数。为此,作者提出了一种针对 Macaul
本文提出 0xPass,一种用于实现通用跨链账户(Universal Cross-Chain Accounts)的模块化协议架构。通用账户允许用户通过单一接口在不同区块链生态系统中管理资产和执行操作,但同时也引入了与认证、授权、交易签名、密
本文研究 n 方容错共识问题,针对一般性(非阈值)对手模型,而非传统的中位阈值假设。作者基于有限射影几何构造了一个无限族 Q^d 满足型对手结构 Z_proj^{n,d}。在该结构下,对于 L 比特输入上的交互一致性(interactive
本研究聚焦澳大利亚高等教育网络安全课程中女性、性别多元群体及文化语言多元(CALD)背景学生参与度不足的问题。论文指出,当前澳大利亚网络安全教育课程体系高度统一,过度强调技术能力培养,忽视了交叉性(intersectionality)和以用
CVE-2026-76917
Bluetooth AVRCP Profile protocol dissector crash in 4.6.0 to 4.6.7 and 4.4.0 to 4.4.18 allows denial of service
CVE-2026-76891
Crash in sharkd in 4.6.0 to 4.6.7 and 4.4.0 to 4.4.18 allows denial of service