Jingjing Guan, Hui Li, Haisong Ye, Ziming Zhao. A Formal Analysis of the FIDO2 Protocols. In Vijayalakshmi Atluri, Roberto Di Pietro, Christian Damsgaard Jensen, Weizhi Meng 0001, editors, Computer Security - ESORICS 2022 - 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26-30, 2022, Proceedings, Part III. Volume 13556 of Lecture Notes in Computer Science, pages 3-21, Springer, 2022. [doi]
Abstract is missing.