WebGPU 是浏览器中面向 Web 应用暴露现代 GPU 能力的低层图形与计算 API，其正确性与安全性直接影响浏览器渲染进程。官方 WebGPU 一致性测试套件（CTS）主要验证“良构用法”是否符合规范，并不以语义边界情况或对抗性输入去压测实现；而通用型模糊测试器又因 WebGPU 依赖复杂图形栈、多进程架构与异步管线而难以有效触达。论文提出 LANTERN——一个规范引导的动态一致性测试框架，其核心思路是“以规范为种子”对 CTS 测试进行定向变异。LANTERN 先从 WebIDL 定义中抽取显式的语法层 API 规则（参数类型、枚举取值、必选/可选项等），再从规范的自然语言文本中恢复语义约束，例如命令提交顺序、资源依赖与对象生命周期等难以从接口签名中得到的规则。随后，被选中的规则驱动基于 AST 定位的文本变换，对 CTS 用例做有目标的最小改动，从而同时生成合法变体与刻意违规的变体；前者用于扩大覆盖，后者用于检验实现是否在非法用法下仍保持内存安全与状态一致。作者将生成的测试在启用 AddressSanitizer 的 Chromium 上大规模执行，最终发现三个可复现缺陷，其中包含一处堆破坏（heap corruption），且均存在于研究进行时的 Chromium 版本中。该工作表明，语法播种加语义感知的一致性测试变异，是一种在 WebGPU 测试阶段发现浏览器实现缺陷的可行路径，也说明现有 CTS 与通用 fuzzer 之间存在明显的覆盖空白，可被规范驱动的定向变异所填补。

这篇论文关注自主智能体（尤其是 agentic browser，即"智能体浏览器"）在执行安全敏感操作时的动作完整性问题。由于智能体浏览器运行在用户已认证的会话中，页面中的间接提示注入（indirect prompt injection）和伪造的确认界面可以直接劫持真实操作，例如误转账、误删除、误授权。作者指出，现有的人类在环（HITL）确认机制存在根本缺陷：当弹出的审批提示文本本身可能由不可信网页内容或模型生成文本拼装而成时，用户看到的"我要批准什么"与系统最终"实际执行什么"之间就可能脱钩，形成所谓困惑代理（confused deputy）与"循环中的谎言"（Lies-in-the-Loop）式对话框伪造。为此，论文提出"可验证操作卡"（Verifiable Action Card, VAC）这一架构级防御：其核心思想是不再信任提示层文本，而是从待执行的浏览器动作这一"地面真值（ground-truth）"以及可信的意图来源（provenance）重建审批信息，并在可信的浏览器 chrome（UI 外壳）中以带外方式渲染，使网页内容与模型文本无法污染审批界面；同时把用户授权与"派发时刻重新校验的精确动作"做绑定，防止批准后动作被替换。VAC 由五个组件构成：来源围栏（provenance fencing，隔离不可信内容对决策路径的影响）、地面真值动作描述符、默认拒绝的确认策略、来源感知的风险分级门控，以及执行绑定（execution binding）。作者在一个完整的智能体浏览器中实现了 VAC，并使用覆盖 24 个场景的基准进行评测，场景包括困惑代理攻击、Lies-in-the-Loop 对话框伪造、间接提示注入、自适应动作替换、来源规避，以及正常合法任务。结果显示：在评测的多个 LLM 上，未启用 VAC 时攻击成功率在 68% 至 100% 之间；启用 VAC 后，所有模型的攻击成功率降至 0%，同时保持 78% 的合法任务完成率和 0% 的误拦截率。论文的结论是：把审批锚定在"真正将被执行的动作"上，能够提供提示层防御与传统 HITL 确认无法可靠实现的架构级安全保证。该工作适合智能体安全、浏览器安全、LLM 应用安全与 HITL 交互设计方向的研究者和工程团队阅读。

该论文关注高性能 CPU 市场从 x86 向 Arm 架构转型的背景，特别是 Apple M 系列芯片在苹果生态系统中完全取代 Intel CPU 的趋势。作者指出，尽管 x86 CPU 已被安全社区广泛分析，但苹果生态系统的安全性仍然缺乏系统性的探索。论文提出了一种基于浏览器的无计时器推测执行攻击方法，命名为 iLeakage，针对 Apple 设备（如搭载 M 系列芯片的 Mac 和 iOS 设备）发起侧信道攻击。传统推测执行攻击通常依赖高精度计时器来测量缓存或微架构状态变化，但浏览器环境往往限制或模糊化计时精度。iLeakage 通过利用不需要显式计时器的机制，在 Safari 等浏览器中实现跨进程或跨站点的敏感信息泄露。论文的核心贡献是首次在苹果自研芯片上展示实用的浏览器端推测执行攻击，弥补了 Arm 架构（特别是 Apple Silicon）安全研究的空白。虽然摘要未提供具体攻击细节和实验数据，但该方法暗示了苹果设备在现代 Web 攻击面中面临新的侧信道风险，也表明需要针对 Apple 芯片的微架构特性重新审视浏览器安全隔离机制。

该论文针对Web浏览器中的侧信道攻击问题，提出并实现了基于渲染进程竞争的通信信道。在浏览器多进程架构下，渲染进程对CPU和GPU资源的调度存在竞争条件，攻击者可以通过观察渲染任务的时序变化来推断其他进程的活动状态，从而建立跨源通信信道。论文的核心贡献在于将渲染竞争信道从理论概念转化为实际可用的攻击工具，可能包括信道构建、容量优化、抗噪编码等。作者可能通过实验验证了该信道在主流浏览器中的可行性，并测量了传输速率和错误率，同时讨论了该信道对现有安全机制的绕过能力。此外，论文可能提出了相应的检测和缓解策略。由于仅提供论文标题，具体方法、实验数据和结论需查阅原文才能确定。该研究对浏览器安全、侧信道防御和隐私保护具有参考价值。

这篇 arXiv 论文提出了一种被称为“Pixnapping”的新型像素窃取攻击，旨在重新激活并超越 2013 年 Stone 所开创的经典像素窃取技术。像素窃取攻击利用恶意网站嵌入受害网站的 iframe，并借助 SVG 过滤器对跨域内容进行像素级计算，从而通过侧信道泄露敏感信息（如用户在目标站点上看到的文字、图像或页面状态）。Stone 的原始方法在当时展示了严重威胁，但近年来主流浏览器和网站普遍采用 X-Frame-Options、CSP frame-ancestors、SameSite Cookie 以及更严格的跨域隔离策略，使得传统像素窃取攻击几乎被完全缓解。论文的标题“Bringing Pixel Stealing out of the Stone Age”暗示其作者提出了某种突破现有防护机制的新思路，可能从浏览器实现缺陷、组合侧信道或新型渲染特性入手，使攻击在现代浏览器环境中重新可用。由于仅提供摘要，论文未给出具体技术方案和实验数据，但可推断其核心贡献在于对像素窃取威胁模型的重新审视，并可能提供可操作的绕过方法。该研究适合关注 Web 安全、浏览器同源策略、侧信道攻击及隐私保护的安全研究员、浏览器开发者和安全意识强的网站管理员阅读。值得注意的是，本摘要仅基于论文 abstract，未包含实验验证细节，因此所有判断均属于“abstract_only”级别的初步分析。

本文针对新兴的 W3C WebMCP 提案在浏览器环境中集成大语言模型（LLM）代理时引入的安全信任边界问题展开研究。WebMCP 允许网页向 LLM 代理暴露可调用的工具，但在多参与者 Web 环境下，现有以同源策略（SOP）为核心的浏览器安全模型无法为代理可访问的工具提供充分的来源（provenance）和生命周期保证，从而产生三类风险：主体归属伪造（subject-attribution spoofing）、工具生命周期失控、以及语义提示注入（semantic prompt injection）。为应对这些风险，作者提出 WebMCP-Phalanx，一种双层代理运行时架构。第一层提供浏览器原生的信任锚点，通过密码学保护的能力凭证将每个工具绑定到其注册主体，并在整个工具生命周期中传播来源标签；第二层将语义检查与特权工具调用分离——一个无工具调用权限的隔离代理（Q-LLM）负责检查工具元数据、输出及页面提供的内容以识别提示注入，验证后的内容再转发给有执行权限的特权代理（P-LLM），同时 Q-LLM 的内部状态对页面脚本保持隐藏。实验结果表明：浏览器原生所有权机制将撤销和覆盖攻击的成功率从 100% 降至 0%；双代理运行时能够阻止工具描述中嵌入的全部 80 个提示注入尝试，并将工具返回攻击限制为 80 例中仅 2 例成功；任务效用与无攻击基线在统计上无显著差异。然而，在白盒自适应攻击者场景下，基于描述的内容过滤可能被恶意工具名绕过（在检查前被调用），这一发现促使作者提出调用时机门控（call-timing gate），即延迟工具调用直到所有代理可见的工具元数据均通过验证。本文为浏览器集成 LLM 代理的安全设计提供了首个系统化方案，适合浏览器安全研究人员、LLM 代理框架开发者及 Web 标准制定者阅读。

本论文（arXiv 预印本）围绕现代浏览器中的“变体漏洞”（variant bugs）挖掘问题展开。变体漏洞是指同一根本缺陷在不同代码路径或不同组件中的衍生表现形式，通常由补丁不完整或修复不彻底导致。论文由 Han Zheng、Flavio Toffalini、Qiang Liu 和 Mathias Payer 撰写，主要研究如何系统化地从已知漏洞出发，在复杂浏览器代码库中高效发现同类安全问题。由于当前仅获取到标题与作者信息，未包含完整摘要与实验细节，具体方法（如是否有基于补丁差异分析的定向模糊测试、符号执行或静态分析辅助的变体检测）尚无法确认。论文的核心贡献可能包括：提出一种针对浏览器变体漏洞的自动化挖掘框架、设计有效的漏洞变体识别算法，并在主流浏览器（如 Chrome/Firefox）上验证其发现新漏洞的能力。对于浏览器安全研究者、模糊测试工具开发者和漏洞赏金猎人而言，该研究有助于理解如何利用已有漏洞情报扩展攻击面检测，提升安全响应的主动性和覆盖面。结论与量化指标需待全文审阅后才能准确评估。

该论文研究了一种在隔离的浏览器实例（如不同标签页或不同浏览器进程）之间建立隐蔽信道的实用方法。现代浏览器和Web平台通常实施严格的安全隔离（如进程沙箱、站点隔离），以防止恶意网页直接访问其他页面的数据。然而，论文发现通过共享的GPU资源仍然存在泄露信息的可能性。核心思想是利用GPU命令队列的竞争（access contention）作为侧信道：当一个进程向GPU提交命令时，其执行时间会受到其他进程并发负载的影响。通过测量自身命令完成时间的变化，可以推断对方的行为，从而以编码方式传输比特信息。论文可能提出了一种具体的编码和同步方案，在无需任何特殊权限或浏览器漏洞的情况下，实现跨隔离边界的可靠、低误码率的数据传输。实验部分可能展示了在主流浏览器和真实场景下的可行性，测量了信道容量和稳定性，并讨论了可能的缓解措施。该研究的贡献在于揭示了一种新的隐蔽信道向量，挑战了浏览器隔离模型的有效性，为防御者提供了新的检测和防御思路。适合浏览器安全研究者、沙箱设计者以及关注隔离边界的云安全工程师阅读。

本文研究Chromium站点隔离（Site Isolation）机制下由时序特性引发的浏览隐私泄露问题。站点隔离是现代浏览器安全架构的核心，通过将不同站点渲染在不同进程中，以防止侧信道攻击和数据泄露。然而，本文揭示了该机制本身引入的时序侧信道：由于进程资源有限，在严格隔离跨站点iframe时，攻击者可以利用进程分配和页面加载的时序差异，推断浏览器当前加载了哪些特定网站，甚至识别用户正在交互的站点。为了验证该攻击，作者使用Alexa Top 3000网站进行大规模评估，结果显示三个关键漏洞指标分别达到99%、99%和95%，表明攻击具有极高的成功率和通用性，且无需特殊假设即可在实际场景中部署。该研究指出，进程稀缺性与强制隔离跨站点框架之间的根本矛盾是导致漏洞的原因，目前作者正与Google Chrome和Microsoft Edge团队合作，研究并评估缓解方案。本文的贡献在于首次系统性地分析站点隔离下的时序攻击面，量化了隐私泄露风险，并为浏览器安全架构的改进提供了重要参考。

该论文研究浏览器中一类未被现有防御机制缓解的隐蔽信道攻击，作者将其命名为“pool-party”攻击。这类攻击通过操纵浏览器中有限但未分区（unpartitioned）的资源池来创建跨站点的隐蔽信道。虽然之前已有类似攻击的报道，但本文首次系统性地证明这类攻击比以往认知的更普遍、更易利用，并且利用方式更多样。在真实条件下，这些隐蔽信道具有足够的带宽来跨站点传递 Cookie 和标识符。作者在所有主流浏览器（Chrome、Edge、Firefox、Tor Browser）中均发现了 pool-party 攻击，并展示了其作为跨站点跟踪技术的实用性：在 Chrome 和 Edge 中攻击仅需 0.6 秒，在 Firefox 和 Tor Browser 中约需 7 秒。论文的主要贡献包括：(1) 描述了利用浏览器应用层资源池限制的 pool-party 隐蔽信道攻击；(2) 证明该类攻击在所有主流浏览器中均可实际用于跟踪用户，并提供了开源实现，通过代表性网络爬取评估了其效果；(3) 发现基于 Gecko 引擎的浏览器（包括 Tor Browser）中，pool-party 攻击还可用于跨配置文件跟踪（例如，将正常浏览和隐私浏览会话中的用户行为关联起来）；(4) 讨论了可能的缓解策略和防御方案。本文适合浏览器安全研究人员、隐私保护工具开发者以及关注 Web 跟踪防御的工程师阅读。

本文研究了 Web 会话完整性（session integrity）的安全问题，重点分析了 Cookie 机制在机密性和完整性方面的长期漏洞。尽管浏览器和服务器应用已引入多种防护机制，如 Secure 属性、Cookie 前缀、SameSite Cookie 以及基于 token 的同步器模式 CSRF 防护，作者发现这些机制仍可被绕过，导致会话固定（session fixation）和跨源请求伪造（CORF）等攻击。研究指出，这些缺陷不仅源于特定实现漏洞，还源于安全机制之间的组合性问题以及标准本身的弱点。研究团队进行了跨浏览器的系统性 Cookie 完整性评估，发现了因实现不一致或规范歧义导致的新攻击；同时分析了 13 个主流 Web 框架，其中 9 个存在会话完整性漏洞。该工作共贡献了 12 个 CVE、27 个漏洞披露，并推动了 Cookie 标准的更新。论文还讨论了负责任披露过程，并提出了实用的缓解措施。适合 Web 安全研究者、浏览器开发者和框架维护者阅读。

该论文研究了浏览器用户界面中挂锁图标的用户感知。挂锁图标通常用于指示连接是安全的（HTTPS），但用户对其含义的理解可能存在偏差。研究通过383名参与者的调查，探讨了用户如何解读挂锁图标，以及它如何影响用户的信任和安全行为。主要发现包括：用户普遍认为挂锁图标意味着网站“安全”或“可信”，但许多人不清楚HTTPS和挂锁图标的具体安全作用；挂锁图标可能过度强化用户信心，导致忽略其他安全警告；用户的理解与安全专家的意图存在差距。论文基于这些发现讨论了改进浏览器安全指示器的设计方向，以更准确地传达安全状态。

论文提出 ScriptChecker，一种新颖的基于浏览器的框架，旨在根据宿主网页的指令有效且高效地限制第三方脚本的执行。与现有所有在 JavaScript 层工作的方案不同，ScriptChecker 全面利用上下文分离和浏览器的安全监控器，对执行不可信代码的任务实施按需访问控制。宿主页面可以在创建任务时灵活地为任务分配资源访问能力。通过利用任务能力方法，ScriptChecker 在安全性、可用性和性能方面优于现有技术。研究人员在 Chrome 上实现了 ScriptChecker 原型，并针对 1373 个恶意脚本进行了严格的安全评估，对前 1000 个网站进行了可用性实证研究。实验结果表明，其强大的安全强度和易用性是以微不足道的性能损失为代价的：每次 DOM 访问的中介开销约为 0.2 微秒，加载流行的 JS 图形和实用程序库时延迟增加 5%。适合浏览器安全研究人员、Web 应用开发者以及关注第三方脚本风险的安全工程师阅读。

本论文系统性地研究了现代浏览器的权限机制。作者对Chrome、Firefox、Safari、Edge等主流浏览器进行了全面分析，评估了权限请求、授予、撤销及持久化等机制。研究发现多个设计缺陷和实现漏洞，包括：权限提示容易被用户忽略而误授权、某些权限被滥用后无法有效回收、扩展或Service Worker等组件可绕过权限检查、跨域共享权限导致的安全边界模糊等。论文通过大规模网站爬取和实际攻击场景复现，量化了这些问题的普遍性。实验表明，超过85%的网站会请求不必要的权限，且用户在30%的情况下会无意中授予敏感权限。作者提出了改进权限UI、优化权限生命周期管理、引入更细粒度的权限控制等建议。本文为浏览器安全研究者、浏览器厂商和安全工程师提供了深入理解权限机制脆弱性的参考。

该论文研究了Google Safe Browsing (GSB)与DNS解析在浏览器导航过程中的时序同步问题。通过数据包捕获分析，作者发现GSB相关查询关闭事件与并行DNS响应之间存在一致的时间偏移（Δ_time）。在一般数据集和CNAME域名数据集上，约79%的测量中观察到正向时间差，即DNS响应落后于GSB查询关闭。中位延迟为67-79毫秒，最大延迟超过2400毫秒。这一可测量的时间窗口可能构成安全相关的时序前提条件，特别是在复杂的CNAME域名解析场景中，可能被DNS操纵威胁模型利用。研究为浏览器安全机制中的时序风险与缓解措施提供了基础。

本文提出了一种自动化检测Web浏览器客户端安全机制缺陷的实用框架。该框架利用Web Platform Tests（WPT）这一跨浏览器测试套件，自动收集浏览器执行轨迹，并将其与Web不变式进行匹配。Web不变式是用一阶逻辑表示的Web机制预期安全属性，例如Cookie安全属性、混合内容策略等。研究团队在Firefox、Chromium和Safari三个主流浏览器上，针对9个关键安全不变式进行了验证，共发现104个测试用例中存在违反不变式的行为，这些违规具有明确的安全含义。例如，某些浏览器未正确实施Cookie的SameSite属性，导致跨站请求伪造攻击风险；或未严格执行混合内容策略，允许HTTPS页面加载HTTP资源。团队已向浏览器厂商和标准机构披露了违规的根本原因，并获得了8个单独报告和1个Safari的CVE。该工作的核心贡献在于：1) 形式化定义了Web安全机制的不变式；2) 基于WPT的自动化检测方法，可复用于其他浏览器或安全机制；3) 发现了实际浏览器中的多处安全缺陷。本文适合Web安全研究人员、浏览器开发者以及关注客户端安全机制的工程师阅读。

本文系统性研究了客户端 Web 安全机制在不同浏览器及浏览器扩展之间存在的安全不一致性问题。作者首先对常见的客户端安全机制（如内容安全策略 CSP、XSS 过滤器、跨域资源共享 CORS、HSTS 等）进行了梳理，并基于安全策略的生效条件、执行方式、绕过可能性等维度，提出了一个安全不一致性的分类法。随后，他们设计并执行了大规模的自动化测量实验，覆盖了主流浏览器（Chrome、Firefox、Safari、Edge 等）及其不同版本，以及多种流行的安全扩展（如 NoScript、uBlock Origin 等）。测量结果显示，同一种安全机制在不同浏览器甚至同一浏览器的不同版本之间，其行为存在显著差异，例如 CSP 的 strict-dynamic 指令在部分浏览器中未正确实现，XSS 过滤器在某些浏览器中完全缺失，CORS 预检请求的处理逻辑不统一等。基于这些发现，作者进一步讨论了攻击者如何利用这些不一致性来绕过客户端安全防御，并提出了几种跨浏览器攻击场景，例如通过兼容性差异绕过 CSP 注入过滤器。实验还表明，即使是安全扩展也无法完全消除这些不一致性，甚至自身也可能引入新的不一致。论文的主要贡献在于：1）首次系统化定义并量化了客户端 Web 安全的不一致性；2）提供了详尽的测量方法论和数据集，可供后续研究使用；3）揭示了实际风险的多样性，强调了统一跨浏览器安全标准的重要性。该研究适合浏览器厂商、Web 应用开发者以及安全研究人员阅读，以理解当前客户端安全生态的碎片化现状。

该论文是系统化知识（SoK）研究，旨在对现代Web浏览器的低层攻击面进行系统化分类和分析。背景是：浏览器作为远程攻击面，内存破坏漏洞在真实世界利用中仍占核心地位。尽管过去十年已有大量浏览器测试和漏洞披露工作，但社区仍缺乏一个明确的、防御导向的低层攻击面系统化框架。先前SoK论文调查了浏览器漏洞和缓解技术，但视角碎片化，未回答一个核心问题：现代Web浏览器的低层攻击面如何结构化？哪些部分在现有安全测试中尚待探索？为回答该问题，作者提出三个子问题：（RQ1）浏览器的攻击面如何沿输入类和组件结构化？（RQ2）内存破坏漏洞在该分类中出现在何处？（RQ3）这些攻击面模式对现有浏览器安全测试有何启示？针对RQ1，作者推导出一个架构驱动的“输入×组件×权限”分类法，将浏览器架构抽象为统一视图。针对RQ2，他们将2016年至2025年间公开的2233个内存破坏报告映射到该分类法上。针对RQ3，他们将过去十年的学术浏览器模糊测试器（按目标输入类分类）叠加到bug密度图上。系统化工作揭示：当前测试集中在已充分探索的组件，而bug密集、高影响的攻击面测试不足。此外，他们识别出三个与学术工作正交的模糊测试部署缺口。该工作为未来的浏览器安全研究提供了结构化基础。

Rowhammer 攻击是一种利用 DRAM 单元之间电磁耦合效应导致比特翻转的硬件漏洞。传统上，此类攻击需要本地代码执行或特定硬件访问权限。该论文提出了一种名为 Posthammer 的新型攻击向量，通过浏览器中的 JavaScript 代码，利用延迟刷新命令（postponed refresh commands）实现在广泛使用的 DRAM 模块上引发 Rowhammer 比特翻转。作者分析了现代 DRAM 刷新机制的弱点，并设计了一种无需任何权限的纯浏览器端攻击方法。实验表明，Posthammer 能在多款主流浏览器和 DRAM 型号上成功诱导比特翻转，从而可能实现权限提升、信息泄露或拒绝服务。该工作首次证明了在浏览器环境中利用延迟刷新命令进行 Rowhammer 攻击的可行性，对云服务和终端用户安全构成潜在威胁。

本文针对现代浏览器（Chrome、Firefox）的站点隔离（Site Isolation）安全架构，提出了一种自动检测逻辑漏洞的方法。站点隔离通过将不同站点的渲染进程隔离到独立的沙箱中，以缓解Spectre等微架构攻击和渲染器内存破坏的影响。其安全依赖于操作系统进程隔离和浏览器进程的正确策略实施：浏览器进程需追踪每个渲染进程对应的站点上下文，并通过IPC消息限制跨站网络通信，遵守同源策略和CORS。若站点映射或策略实施存在逻辑缺陷，则可能导致站点隔离绕过漏洞，使攻击者能够跨站执行恶意JavaScript或窃取cookie。由于此类语义漏洞不会产生明显崩溃，传统工具（如Address Sanitizer）难以检测。作者提出了第一个自动检测方法：设计了一个新颖的检测规则，通过识别进程级别的跨站数据泄露来定位语义漏洞；并开发了一个模糊测试工具，模拟被攻破的渲染进程，通过挂钩IPC通信来利用浏览器进程作为“被混淆的代理人”，尝试发送恶意IPC消息。实验在Chrome和Firefox上发现了四个安全漏洞：其中三个漏洞允许跨站数据泄露，第四个漏洞可导致对受害者站点的完全控制。该研究为浏览器安全测试提供了自动化手段，适用于浏览器厂商和安全研究人员进一步评估和加固站点隔离实现。

该论文提出了一种新颖的浏览器扩展指纹识别技术，能够绕过传统时间敏感的检测方法。通过利用浏览器扩展的瞬时修改，攻击者可以持续地识别用户安装的扩展，即使这些扩展在正常浏览过程中不会留下持久痕迹。研究展示了如何通过操纵扩展的API行为或临时注入内容来建立独特的指纹，并在多种浏览器和扩展组合上验证了有效性。实验结果表明，该方法能够以高精度识别扩展，且难以被现有防御机制检测。该工作揭示了浏览器扩展生态中一个新的隐私威胁向量。

本文系统性研究了现代CSS动态特性在无脚本指纹识别中的应用，特别是针对浏览器和电子邮件客户端。作者提出了三种创新技术：基于模糊测试的CSS容器查询利用、基于模板的算术函数利用以及复杂选择器利用，能够高精度推断应用、操作系统和硬件配置。在浏览器端，实验测试了1176种浏览器-操作系统组合，区分准确率达97.95%。在电子邮件端，21个测试的网页、桌面或移动邮件应用中有8个可被成功指纹识别，证实了即使在HTML邮件这种高度受限的环境中，指纹识别仍然可能。为了防御此类攻击，作者提出了两种机制：一是预加载条件资源以消除基于特征的泄露；二是设计邮件代理服务，在保留隐私和邮件完整性的同时保持功能兼容性。本文为隐私保护提供了新的见解和解决方案，强调了针对新兴追踪方法的健壮防御的重要性。

本文研究浏览器扩展对用户安全的影响。浏览器扩展是轻量级软件，用于增强浏览器功能，但常被授予高权限，可访问、修改网页内容，甚至拦截网络请求。尽管用户依赖扩展提升效率，但许多扩展存在安全漏洞，如滥用权限、数据泄露、注入恶意代码或成为攻击向量。作者通过系统化分析，揭示了扩展如何破坏安全：一方面，合法扩展可能因设计缺陷泄露敏感信息；另一方面，恶意扩展伪装成有用工具窃取凭据或监视浏览活动。论文提出了一个分类框架，区分扩展带来的安全威胁类型，包括隐私泄露、中间人攻击、凭证盗窃等，并评估了当前浏览器安全模型（如最小权限原则）的不足。实验部分基于对Chrome Web Store中数千个扩展的静态分析，发现大量扩展请求超出功能的权限，部分存在已知安全漏洞。研究还通过案例展示了攻击者如何利用扩展进行持久化控制。本文贡献在于提供了一个全面的扩展安全威胁模型，并建议浏览器厂商加强权限审查和运行时监控。适合安全研究员、浏览器开发者及企业安全管理员阅读。

本文是对W3C Web Payment API标准的首次形式化安全分析。Web Payment API旨在通过浏览器原生支持支付功能，统一在线结账流程，已被Chrome、Firefox、Edge等主流浏览器及Google Pay、Apple Pay、Stripe等支付处理器广泛采用，预计将服务全球数百万用户。研究者基于Web基础设施模型（WIM）——当前最全面的Web基础设施模型——扩展了通用浏览器模型以集成新的支付功能，从而对标准进行了严格的形式化分析。分析发现了两个关键漏洞：恶意商户可以利用这些漏洞向不知情的客户超额收费。研究者利用Chrome浏览器实现了攻击验证，并将问题报告给W3C和Chrome开发团队，双方均已确认问题。此外，研究者提出了标准修复方案，该方案已被W3C和Chrome采纳，并证明了修复后的Web Payment API满足强安全属性。研究贡献在于首次对此类标准进行形式化安全评估，揭示了实际风险并推动了行业安全改进。对于安全工程师、浏览器开发者、支付系统设计者以及参与标准制定的机构具有重要参考价值。

随着网络浏览器逐步限制客户端追踪，网络追踪生态正从客户端追踪向服务器端追踪（SST）转移。在SST中，浏览器将追踪请求发送到中间端点，再由该端点转发至追踪器的最终端点，从而消除了客户端到追踪器的直接请求。这使得现有的基于拦截已知追踪器端点的防护措施失效。本文针对当前网络中最广泛部署的第三方追踪服务——Google Analytics，深入研究了其服务器端实现（sGA）。作者提出了SST-Guard，一个多模态、基于浏览器的系统，用于检测和拦截服务器端Google Analytics。核心洞察在于：即便追踪器端点发生变化，sGA仍然必须收集和共享与客户端Google Analytics相同的语义信息（例如标识符、事件元数据）。因此，SST-Guard并非检测发往已知Google Analytics端点的请求，而是检测这些语义值被收集并发送至任意端点的底层行为。将这一洞察付诸实践面临挑战：真实的sGA部署常常自定义端点并混淆URL/载荷。SST-Guard采用一种值模板方法，通过正则表达式匹配网络请求、Cookie和window对象三种模态中的语义值模式，从而解决该挑战。作者在Tranco top-10k网站上验证了SST-Guard，检测出4.02%（403个）的sGA域名，三种模态的平均准确率超过93%，其中网络请求分类器准确率最高（99.8%）。通过在实际环境中部署SST-Guard，发现Tranco top-150k网站中有4.21%（6,314个）使用了sGA。该研究首次大规模揭示了服务器端Google Analytics的普遍性，并为防御此类隐晦追踪提供了可行方案。适合关注网络隐私、追踪防护和浏览器安全的研究人员及工程师阅读。