A Formal Analysis of the FIDO2 Protocols.

Jingjing Guan, Hui Li, Haisong Ye, Ziming Zhao

Browse the full ESORICS paper archive.