Dynamic Conformance Testing of WebGPU Through Specification-Driven Mutation
WebGPU 是浏览器中面向 Web 应用暴露现代 GPU 能力的低层图形与计算 API,其正确性与安全性直接影响浏览器渲染进程。官方 WebGPU 一致性测试套件(CTS)主要验证“良构用法”是否符合规范,并不以语义边界情况或对抗性输入去
共收录 25 条相关情报。
← 返回所有主题WebGPU 是浏览器中面向 Web 应用暴露现代 GPU 能力的低层图形与计算 API,其正确性与安全性直接影响浏览器渲染进程。官方 WebGPU 一致性测试套件(CTS)主要验证“良构用法”是否符合规范,并不以语义边界情况或对抗性输入去
这篇论文关注自主智能体(尤其是 agentic browser,即"智能体浏览器")在执行安全敏感操作时的动作完整性问题。由于智能体浏览器运行在用户已认证的会话中,页面中的间接提示注入(indirect prompt injection)和
该论文关注高性能 CPU 市场从 x86 向 Arm 架构转型的背景,特别是 Apple M 系列芯片在苹果生态系统中完全取代 Intel CPU 的趋势。作者指出,尽管 x86 CPU 已被安全社区广泛分析,但苹果生态系统的安全性仍然缺乏
该论文针对Web浏览器中的侧信道攻击问题,提出并实现了基于渲染进程竞争的通信信道。在浏览器多进程架构下,渲染进程对CPU和GPU资源的调度存在竞争条件,攻击者可以通过观察渲染任务的时序变化来推断其他进程的活动状态,从而建立跨源通信信道。论文
这篇 arXiv 论文提出了一种被称为“Pixnapping”的新型像素窃取攻击,旨在重新激活并超越 2013 年 Stone 所开创的经典像素窃取技术。像素窃取攻击利用恶意网站嵌入受害网站的 iframe,并借助 SVG 过滤器对跨域内容
本文针对新兴的 W3C WebMCP 提案在浏览器环境中集成大语言模型(LLM)代理时引入的安全信任边界问题展开研究。WebMCP 允许网页向 LLM 代理暴露可调用的工具,但在多参与者 Web 环境下,现有以同源策略(SOP)为核心的浏览
本论文(arXiv 预印本)围绕现代浏览器中的“变体漏洞”(variant bugs)挖掘问题展开。变体漏洞是指同一根本缺陷在不同代码路径或不同组件中的衍生表现形式,通常由补丁不完整或修复不彻底导致。论文由 Han Zheng、Flavio
该论文研究了一种在隔离的浏览器实例(如不同标签页或不同浏览器进程)之间建立隐蔽信道的实用方法。现代浏览器和Web平台通常实施严格的安全隔离(如进程沙箱、站点隔离),以防止恶意网页直接访问其他页面的数据。然而,论文发现通过共享的GPU资源仍然
本文研究Chromium站点隔离(Site Isolation)机制下由时序特性引发的浏览隐私泄露问题。站点隔离是现代浏览器安全架构的核心,通过将不同站点渲染在不同进程中,以防止侧信道攻击和数据泄露。然而,本文揭示了该机制本身引入的时序侧信
该论文研究浏览器中一类未被现有防御机制缓解的隐蔽信道攻击,作者将其命名为“pool-party”攻击。这类攻击通过操纵浏览器中有限但未分区(unpartitioned)的资源池来创建跨站点的隐蔽信道。虽然之前已有类似攻击的报道,但本文首次系
本文研究了 Web 会话完整性(session integrity)的安全问题,重点分析了 Cookie 机制在机密性和完整性方面的长期漏洞。尽管浏览器和服务器应用已引入多种防护机制,如 Secure 属性、Cookie 前缀、SameSi
该论文研究了浏览器用户界面中挂锁图标的用户感知。挂锁图标通常用于指示连接是安全的(HTTPS),但用户对其含义的理解可能存在偏差。研究通过383名参与者的调查,探讨了用户如何解读挂锁图标,以及它如何影响用户的信任和安全行为。主要发现包括:用
论文提出 ScriptChecker,一种新颖的基于浏览器的框架,旨在根据宿主网页的指令有效且高效地限制第三方脚本的执行。与现有所有在 JavaScript 层工作的方案不同,ScriptChecker 全面利用上下文分离和浏览器的安全监控
本论文系统性地研究了现代浏览器的权限机制。作者对Chrome、Firefox、Safari、Edge等主流浏览器进行了全面分析,评估了权限请求、授予、撤销及持久化等机制。研究发现多个设计缺陷和实现漏洞,包括:权限提示容易被用户忽略而误授权、
该论文研究了Google Safe Browsing (GSB)与DNS解析在浏览器导航过程中的时序同步问题。通过数据包捕获分析,作者发现GSB相关查询关闭事件与并行DNS响应之间存在一致的时间偏移(Δ_time)。在一般数据集和CNAME
本文提出了一种自动化检测Web浏览器客户端安全机制缺陷的实用框架。该框架利用Web Platform Tests(WPT)这一跨浏览器测试套件,自动收集浏览器执行轨迹,并将其与Web不变式进行匹配。Web不变式是用一阶逻辑表示的Web机制预
本文系统性研究了客户端 Web 安全机制在不同浏览器及浏览器扩展之间存在的安全不一致性问题。作者首先对常见的客户端安全机制(如内容安全策略 CSP、XSS 过滤器、跨域资源共享 CORS、HSTS 等)进行了梳理,并基于安全策略的生效条件、
该论文是系统化知识(SoK)研究,旨在对现代Web浏览器的低层攻击面进行系统化分类和分析。背景是:浏览器作为远程攻击面,内存破坏漏洞在真实世界利用中仍占核心地位。尽管过去十年已有大量浏览器测试和漏洞披露工作,但社区仍缺乏一个明确的、防御导向
Rowhammer 攻击是一种利用 DRAM 单元之间电磁耦合效应导致比特翻转的硬件漏洞。传统上,此类攻击需要本地代码执行或特定硬件访问权限。该论文提出了一种名为 Posthammer 的新型攻击向量,通过浏览器中的 JavaScript
本文针对现代浏览器(Chrome、Firefox)的站点隔离(Site Isolation)安全架构,提出了一种自动检测逻辑漏洞的方法。站点隔离通过将不同站点的渲染进程隔离到独立的沙箱中,以缓解Spectre等微架构攻击和渲染器内存破坏的影