发表论文 |
在信息安全领域国内外学术会议及期刊NDSS、TDSC、ESORICS、CODASPY发表多篇论文。代表性论文有: [1] Feng H N, Li H, Pan X S, et al. A Formal Analysis of the FIDO UAF Protocol[C]. Network and Distributed System Security Symposium (NDSS). 2021. [2] Feng H N, Guan J J, Li H, et al. FIDO Gets Verified: A Formal Analysis of the Universal Authentication Framework Protocol[J]. IEEE Transactions on Dependable and Secure Computing, 2022, doi: 10.1109/TDSC.2022.3217259. [3] Guan J J, Li H, Ye H S, et al. A Formal Analysis of the FIDO2 Protocols[C]. European Symposium on Research in Computer Security (ESORICS 2022) [4] Li H, Pan X S, Wang X L, et al. Authenticator Rebinding Attack of the UAF Protocol on Mobile Devices[J]. Wireless Communications and Mobile Computing, 2020, 2020:1-14. [5]李晖, 范立岩, 潘雪松, 冯皓楠. Android 应用内第三方支付协议的形式化分析[J]. 密码学报,2022 |