Login / Signup
Hui Li
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Ban Logic
Data Model
Formal Analysis
Biometric Authentication
Top Venues
IEEE Trans. Dependable Secur. Comput.
</>
Publications
</>
Haonan Feng
,
Jingjing Guan
,
Hui Li
,
Xuesong Pan
,
Ziming Zhao
FIDO Gets Verified: A Formal Analysis of the Universal Authentication Framework Protocol.
IEEE Trans. Dependable Secur. Comput.
20 (5) (2023)