A Preliminary Study on Synchronization Realized by Magnetically Coupled Cantilevers. - Shenglai Wan; Dong F. Wang; Xu Du; Guowen Zheng; Haonan Feng; Hao Teng; Mengyuan Mao; Xin Wang (NEMS, 2018)

A Cantilever-Based Structure for Surface Features Characterization. - Cao Xia; Dong F. Wang; Xu Du; Guowen Zheng; Haonan Feng; Linjun An; Mengyuan Mao; Xin Liu (NEMS, 2018)

Study on Formal Modeling and Safety Verification of Train-to-Train Communication. - Haonan Feng (Wirel. Commun. Mob. Comput., 2018)

Authenticator Rebinding Attack of the UAF Protocol on Mobile Devices. - Hui Li 070; Xuesong Pan; Xinluo Wang; Haonan Feng; Chengjie Shi (Wirel. Commun. Mob. Comput., 2020)

A Formal Analysis of the FIDO UAF Protocol. - Haonan Feng; Hui Li 070; Xuesong Pan; Ziming Zhao 001 (NDSS, 2021)

Diversity-aware unmanned vehicle team arrangement in mobile crowdsourcing. - Yu Li 015; Haonan Feng; Zhankui Peng; Li Zhou 008; Jian Wan 001 (EURASIP J. Wirel. Commun. Netw., 2022)

NIMCE: A Gene Regulatory Network Inference Approach Based on Multi Time Delays Causal Entropy. - Haonan Feng; Ruiqing Zheng; Jianxin Wang 001; Fang-Xiang Wu; Min Li 007 (IEEE ACM Trans. Comput. Biol. Bioinform., 2022)

FIDO Gets Verified: A Formal Analysis of the Universal Authentication Framework Protocol. - Haonan Feng; Jingjing Guan; Hui Li 070; Xuesong Pan; Ziming Zhao 001 (IEEE Trans. Dependable Secur. Comput., 2023)