本文提出了一种自动化检测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安全研究人员、浏览器开发者以及关注客户端安全机制的工程师阅读。

该论文对密码库中侧信道漏洞的自动化检测工具进行了系统性评估。侧信道攻击通过分析执行时间、功耗等物理泄露来破解密码实现，开发者通常需要采用恒定时间编程来防御，但人工编写容易出错。目前已有多种自动化检测工具（如静态分析、动态分析、基于LLVM的pass等），但漏洞仍常在密码库中被手动发现。Jancar等人的研究表明开发者很少使用这些工具，但尚未评估这些工具是否本可以检测到那些已知漏洞。本文旨在填补这一空白：作者收集了密码库中实际报告的侧信道漏洞，构建了一个测试基准，并选取多个代表性工具进行测试。实验评估了各工具对不同类型侧信道（如时序、缓存）的检测能力、误报率、覆盖率等。结果显示，现有工具在检测真实世界漏洞方面表现不一，许多漏洞无法被任何单一工具检测到，且存在较高的误报。论文讨论了工具的局限性，并提出了改进方向，例如结合多种分析技术或提高对复杂代码模式的识别。该研究为安全从业者选择和使用自动化检测工具提供了实证依据，并推动了工具研发的进步。

该论文针对即时通信应用（如WhatsApp、Signal）中端到端加密的假密钥攻击问题展开研究。这类应用依赖中心化服务器分发公钥，可能被恶意或受攻击的服务器分发伪造密钥，从而实施中间人攻击或身份冒充。虽然现有应用提供了手动密钥验证机制，但用户负担重且实际效果不佳。作者提出了KTACA（密钥透明度与自动客户端审计）方法，实现完全自动化的密钥验证，无需用户干预且易于部署。KTACA融合了两种方法：客户端审计（KTCA）和匿名密钥监控（AKM）。KTCA由客户端记录并审计密钥交换日志，检测密钥变更异常；AKM通过匿名监控公共密钥目录发现伪造密钥分发。单独使用时各有弱点，KTACA结合二者优势，能够自动检测多种假密钥攻击。作者提供了安全性分析，明确每种防御可检测的攻击类型。他们还实现了主动攻击以证明攻击可行性，并开发了所有防御的原型系统，评估了性能与可行性。最后讨论了各防御的优缺点、对客户端和服务器的负载以及部署考虑。该研究提升了自动检测假密钥攻击的能力，对保障用户通信安全有重要意义。