TY - RPRT TI - Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Channel Binding AU - Enis Golaszewski AU - Alan T. Sherman AU - Edward Zieglar AU - Jonathan D. Fuchs AU - Sophia Hamer PY - 2025 UR - https://arxiv.org/abs/2511.06028 ID - 2511.06028 ER -