Login / Signup
A Formal Analysis of the FIDO UAF Protocol.
Haonan Feng
Hui Li
Xuesong Pan
Ziming Zhao
Published in:
NDSS (2021)
Keyphrases
</>
formal analysis
ban logic
formal methods
payment protocol
agent model
databases
artificial intelligence
low cost
lightweight
cost effective