External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Formal Analysis of the FIDO2 Protocols

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]

Authors

Jingjing Guan

This author has not been identified. Look up 'Jingjing Guan' in Google

Hui Li

This author has not been identified. Look up 'Hui Li' in Google

Haisong Ye

This author has not been identified. Look up 'Haisong Ye' in Google

Ziming Zhao

This author has not been identified. Look up 'Ziming Zhao' in Google
runs on