@misc{indiciae04cabcb27d61, title = {Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Channel Binding}, author = {Enis Golaszewski and Alan T. Sherman and Edward Zieglar and Jonathan D. Fuchs and Sophia Hamer}, year = {2025}, url = {https://arxiv.org/abs/2511.06028}, note = {Source identifier: 2511.06028} }