Provable Security Analysis of FIDO2.

Shan Chen Manuel Barbosa Alexandra Boldyreva Bogdan Warinschi

Published in: IACR Cryptol. ePrint Arch. (2020)

Keyphrases

security analysis
smart card
public key
security requirements
security properties
high security
security model
image encryption
authentication protocol
encryption scheme
mutual authentication
operating system
encryption algorithm
intrusion detection
access control
low cost
knn