Provable security analysis of FIDO2
From MaRDI portal
Publication:2128991
DOI10.1007/978-3-030-84252-9_5OpenAlexW3037285711MaRDI QIDQ2128991
Manuel Barbosa, Shan Chen, Bogdan Warinschi, Alexandra Boldyreva
Publication date: 22 April 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-84252-9_5
Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Computer system organization (68Mxx)
Cites Work
- Unnamed Item
- Unnamed Item
- Two-factor authentication with end-to-end password security
- A cryptographic analysis of the TLS 1.3 handshake protocol
- Secure communication channel establishment: TLS 1.3 (over TCP Fast Open) versus QUIC
- A formal security analysis of the Signal messaging protocol
- The Exact Security of Digital Signatures-How to Sign with RSA and Rabin
- Keying Hash Functions for Message Authentication
- On the security of public key protocols
- Topics in Cryptology – CT-RSA 2005
- New Proofs for NMAC and HMAC: Security Without Collision-Resistance