本论文重新审视了FIDO2硬件安全密钥的安全性，这些密钥广泛用于双因素认证（2FA）和无密码系统中。传统观点认为只要密码或第二因素设备之一未被攻破，账户就是安全的。然而，作者挑战了这一假设，开发了一个名为FIDOLA（FIDO2 Deception Attack via Overlays exploiting Limited Display Authenticators）的攻击框架。该框架通过分析FIDO2的底层协议和操作系统级安全机制，利用有限显示认证器（即那些屏幕小或信息有限的硬件密钥）的局限性，通过覆盖攻击欺骗用户授权恶意操作。论文提供了实际演示，证明攻击者可以在不获取root权限的情况下绕过安全密钥的保护，从而窃取凭证或执行未授权操作。该研究揭示了FIDO2密钥在实际部署中的一个重要盲点：用户对认证器显示内容的信任可能被恶意覆盖信息所劫持。

FIDO2 是一套用于无密码身份认证的协议套件，它通过将本地身份验证（如生物识别）的易用性与公钥密码学的安全性相结合，旨在消除共享认证秘密（如密码）带来的泄露和钓鱼风险。FIDO2 假定客户端协议组件是良性行为的，从而提供强安全保证。然而，实际部署中的实现差异、配置错误或用户交互设计可能引入安全漏洞。本研究对真实世界中的 FIDO2 部署进行了安全态势评估，分析了多个广泛使用的 FIDO2 实现（包括浏览器、平台和依赖方服务）在协议实现、证书验证、注册和认证流程中的安全性。通过系统化的测试框架，作者发现了若干类安全问题：例如，某些实现未正确验证令牌来源，导致可被中间人攻击；部分依赖方未强制使用用户验证（UV），允许未经授权的访问；还有实现存在重放攻击或会话劫持风险。实验结果表明，尽管 FIDO2 协议设计健全，但实际部署的安全水平参差不齐，部分实现违反了协议规范的核心安全假设。该研究为安全工程师提供了部署 FIDO2 时的改进建议，包括必须强制用户验证、严格检查 token 签名、以及遵循最佳实践进行密钥管理。论文的主要贡献在于首次大规模实证评估 FIDO2 真实部署的安全性，揭示了协议实现与部署之间的安全缺口。适合蓝队成员、身份验证架构师及 Web 安全研究人员阅读。

本文对FIDO2、CTAP 2.1和WebAuthn 2这一现代无密码认证协议族进行了形式化安全分析，并提出了后量子安全的实例化方案。研究者首先构建了这些协议的符号模型，涵盖了注册、认证、凭证管理等多阶段交互，并利用Tamarin Prover工具进行了自动化安全验证。分析揭示了在标准安全假设下协议能够满足预期的安全属性（如抗钓鱼、密钥泄露保护、绑定认证等），但发现了在特定场景下存在的设计缺陷，例如CTAP 2.1中某些消息序列可能导致不安全的凭证共享。基于这些发现，论文提出了两方面的贡献：一是给出了一个增强的、可证明安全的协议规范修正；二是引入了后量子密码原语（如基于格的签名方案），对协议进行了后量子安全实例化，并证明了其在量子计算机威胁下的安全性。实验评估表明，后量子实例化在性能开销上可接受，兼容现有硬件。该工作为大规模部署无密码认证提供了坚实的理论基础和工程指导。