本文研究了后量子密码迁移过程中混合X.509证书验证的语义缺陷。混合证书同时携带经典（如RSA、ECDSA）和后量子（如CRYSTALS-Dilithium、Falcon）凭据，其设计为兼容性，通常将后量子证据放置在经典路径验证可能忽略的位置。验证者可能仅通过经典路径验证就接受证书，而从未让后量子证据影响验证决策，导致“经典接受”被错误地当作“混合认证”成功。作者测量了八个路径验证栈（七个独立代码库）在九种验证模式下对六种证书方案的处理行为。结果显示，在要求混合验证的策略下，几乎所有解析可分离混合证书的栈都仅依赖经典路径接受，而未使后量子证据成为决策的必要部分；一种强制验证模式却因签名输入编码尚未互操作配置而导致互操作性断裂；即使栈验证了后量子签名，也默认不强制执行绑定约束——这种缺陷是结构性的，不能仅归因于缺少基本能力。当生命周期不同步时（例如后量子凭据被撤销而经典证书仍然有效），默认路径仍会接受，因为已撤销的凭据不在决策范围内。作者贡献了一个基于规范的验证者模型和一个可执行的、策略参数化的参考合同，明确了验证者在报告混合验证成功前必须识别、验证、使其影响决策并进行检查的语义，并分析了现有标准未要求此语义的原因。本文适合密码学实现者、证书颁发机构、浏览器和操作系统安全团队阅读。

该论文系统性地评估了应用内浏览器（WebView）的证书验证机制，重点分析其对X.509证书标准的遵循程度以及对撤销和证书透明（CT）等高级证书扩展的支持情况。作者开发了一个统一的测试框架FAITH，利用物理iOS设备和Android模拟器，克服了Android 14及以上版本平台特定信任锚控制的挑战。通过115条精心构造的证书链（包括87条非合规链和28条用于测试高级扩展的链），对20个流行的Android和iOS应用以及桌面和移动浏览器进行了测试。结果表明，Android WebView应用接受了77.0%的非合规证书链，并且所有非合规中间CA证书测试均被接受，远高于主流浏览器和iOS应用。根因分析发现，Android WebView依赖系统级的证书验证处理程序，该程序执行最简检查且不支持OCSP Must-Staple和预证书（Precertificate）等扩展。此外，中间CA证书在验证过程中会被缓存并重用，导致证书检查被意外绕过。为了展示现实影响，作者构建了详细的CA缓存攻击场景，并向包括Google在内的相关厂商披露，该漏洞已被确认为有效安全漏洞。最后，论文提出了改进WebView证书验证行为的建议，如增强系统级验证、强制支持关键扩展、避免证书缓存重用等。该研究对于移动应用安全、特别是应用内浏览器的证书验证防护具有重要参考价值。