Token meets Wallet: Formalizing Privacy and Revocation for FIDO2 | IEEE Conference Publication | IEEE Xplore