Provable security analysis of FIDO2 (Q2128991)

From MaRDI portal