本论文（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的普遍性，并为防御此类隐晦追踪提供了可行方案。适合关注网络隐私、追踪防护和浏览器安全的研究人员及工程师阅读。