Haonan Feng

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 8

Top Topics

Formal Analysis

Metropolis Hastings Algorithm

Surface Features

Top Venues

Wirel. Commun. Mob. Comput.

EURASIP J. Wirel. Commun. Netw.

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)
Yu Li, Haonan Feng, Zhankui Peng, Li Zhou, Jian Wan
Diversity-aware unmanned vehicle team arrangement in mobile crowdsourcing. EURASIP J. Wirel. Commun. Netw. 2022 (1) (2022)
Haonan Feng, Ruiqing Zheng, Jianxin Wang, Fang-Xiang Wu, Min Li
NIMCE: A Gene Regulatory Network Inference Approach Based on Multi Time Delays Causal Entropy. IEEE ACM Trans. Comput. Biol. Bioinform. 19 (2) (2022)
Haonan Feng, Hui Li, Xuesong Pan, Ziming Zhao
A Formal Analysis of the FIDO UAF Protocol. NDSS (2021)
Hui Li, Xuesong Pan, Xinluo Wang, Haonan Feng, Chengjie Shi
Authenticator Rebinding Attack of the UAF Protocol on Mobile Devices. Wirel. Commun. Mob. Comput. 2020 (2020)
Haonan Feng
Study on Formal Modeling and Safety Verification of Train-to-Train Communication. Wirel. Commun. Mob. Comput. 2018 (2018)
Shenglai Wan, Dong F. Wang, Xu Du, Guowen Zheng, Haonan Feng, Hao Teng, Mengyuan Mao, Xin Wang
A Preliminary Study on Synchronization Realized by Magnetically Coupled Cantilevers. NEMS (2018)
Cao Xia, Dong F. Wang, Xu Du, Guowen Zheng, Haonan Feng, Linjun An, Mengyuan Mao, Xin Liu
A Cantilever-Based Structure for Surface Features Characterization. NEMS (2018)