A Formal Analysis of the FIDO UAF Protocol.

Haonan Feng, Hui Li, Xuesong Pan, Ziming Zhao

Browse the full NDSS paper archive.