FIDO Gets Verified: A Formal Analysis of the Universal Authentication Framework Protocol

Feng, Haonan, Guan, Jingjing, Li, Hui · IEEE Transactions on Dependable and Secure Computing · 2023