Image de couverture de livre

Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Channel Binding

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Golaszewski, Enis, Sherman, Alan T., Zieglar, Edward, Fuchs, Jonathan D., Hamer, Sophia
Format:	Preprint
Publié:	2025
Sujets:	Cryptography and Security
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Analysis of the Security Design, Engineering, and Implementation of the SecureDNA System
par: Sherman, Alan T., et autres
Publié: (2025)

Verifying Provenance of Digital Media: Why the C2PA Specifications Fall Short
par: Golaszewski, Enis, et autres
Publié: (2026)

EAP-FIDO: A Novel EAP Method for Using FIDO2 Credentials for Network Authentication
par: Rivera-Dourado, Martiño, et autres
Publié: (2024)

Governing Dynamic Capabilities: Cryptographic Binding and Reproducibility Verification for AI Agent Tool Use
par: Zhou, Ziling
Publié: (2026)

An Analysis of Attack Vectors Against FIDO2 Authentication
par: Berladskyy, Alexander, et autres
Publié: (2026)

On the Formalization of Cryptographic Migration
par: Loebenberger, Daniel, et autres
Publié: (2024)

Passwords and FIDO2 Are Meant To Be Secret: A Practical Secure Authentication Channel for Web Browsers
par: Gautam, Anuj, et autres
Publié: (2025)

Automated Side-Channel Analysis of Cryptographic Protocol Implementations
par: Nasrabadi, Faezeh, et autres
Publié: (2025)

CTRAPS: CTAP Client Impersonation and API Confusion on FIDO2
par: Casagrande, Marco, et autres
Publié: (2024)

ModelForge: Using GenAI to Improve the Development of Security Protocols
par: Duclos, Martin, et autres
Publié: (2025)

Reverse Online Guessing Attacks on PAKE Protocols
par: Christian, Eloise, et autres
Publié: (2026)

QES-Backed Virtual FIDO2 Authenticators: Architectural Options for Secure, Synchronizable WebAuthn Credentials
par: Bicakci, Kemal, et autres
Publié: (2026)

The Qey: Implementation and performance study of post quantum cryptography in FIDO2
par: Mitra, Aditya, et autres
Publié: (2025)

Protecting Cryptographic Libraries against Side-Channel and Code-Reuse Attacks
par: Tsoupidi, Rodothea Myrsini, et autres
Publié: (2024)

Understanding AI Methods for Intrusion Detection and Cryptographic Leakage
par: Zilouchian, Reza, et autres
Publié: (2026)

Software-Hardware Binding for Protection of Sensitive Data in Embedded Software
par: Fischer, Bernhard, et autres
Publié: (2026)

Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network
par: Weintraub, Ben, et autres
Publié: (2024)

Hybrid Cryptographic Monitoring System for Side-Channel Attack Detection on PYNQ SoCs
par: Chinnasami, Nishant, et autres
Publié: (2025)

Hound: Locating Cryptographic Primitives in Desynchronized Side-Channel Traces Using Deep-Learning
par: Galli, Davide, et autres
Publié: (2024)

Cryptographic Choreographies
par: Mödersheim, Sebastian, et autres
Publié: (2026)

The Matrix Reloaded: A Mechanized Formal Analysis of the Matrix Cryptographic Suite
par: Ginesin, Jacob, et autres
Publié: (2024)

FIDEM: A Standard-Compliant Framework for Secure Binding of MUD Profiles to IoT Devices
par: Lotto, Alessandro, et autres
Publié: (2026)

Towards Closing the Performance Gap for Cryptographic Kernels Between CPUs and Specialized Hardware
par: Zhang, Naifeng, et autres
Publié: (2025)

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
par: Curaba, Cristian, et autres
Publié: (2024)

Conceptual Design and Implementation of FIDO2 compatible Smart Card for Decentralized Financial Transaction System
par: Ghosh, Anisha, et autres
Publié: (2024)

Structural Analysis of Cryptographic Sequences using Stringology-Based Fingerprinting
par: Kebande, Victor
Publié: (2026)

Context-Binding Gaps in Stateful Zero-Knowledge Proximity Proofs: Taxonomy, Separation, and Mitigation
par: Ootani, Yoshiyuki
Publié: (2026)

A Deep-Learning Technique to Locate Cryptographic Operations in Side-Channel Traces
par: Chiari, Giuseppe, et autres
Publié: (2024)

The Quantum-Cryptographic Co-evolution
par: Kundu, Ashish, et autres
Publié: (2026)

Summon a Demon and Bind it: A Grounded Theory of LLM Red Teaming
par: Inie, Nanna, et autres
Publié: (2023)

ProvAgent: Threat Detection Based on Identity-Behavior Binding and Multi-Agent Collaborative Attack Investigation
par: Yan, Wenhao, et autres
Publié: (2026)

Cryptographic Verifiability for Voter Registration Systems
par: Fábrega, Andrés, et autres
Publié: (2025)

Cryptographic Data Exchange for Nuclear Warheads
par: Perry, Neil, et autres
Publié: (2025)

Cryptographic Keywords in NVD: Statistics and Visualization
par: Stanek, Martin
Publié: (2024)

Systematic Review of Lightweight Cryptographic Algorithms
par: Khan, Mohsin, et autres
Publié: (2026)

A Novel Protocol Using Captive Portals for FIDO2 Network Authentication
par: Rivera-Dourado, Martiño, et autres
Publié: (2024)

Backdoor Channels Hidden in Latent Space: Cryptographic Undetectability in Modern Neural Networks
par: Eggen, Marte, et autres
Publié: (2026)

Cryptographic and Information-theoretic Security Capacities for General Arbitrarily Varying Wiretap Channels
par: Boche, Holger, et autres
Publié: (2026)

Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware
par: Iskander, Ray, et autres
Publié: (2026)

Drawing the LINE: Cryptographic Analysis and Security Improvements for the LINE E2EE Protocol
par: Dowling, Benjamin, et autres
Publié: (2026)