Haonan Feng

According to our database, Haonan Feng authored at least 8 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

FIDO Gets Verified: A Formal Analysis of the Universal Authentication Framework Protocol.

Haonan Feng, Jingjing Guan, Hui Li, Xuesong Pan, Ziming Zhao

IEEE Trans. Dependable Secur. Comput., 2023

2022

NIMCE: A Gene Regulatory Network Inference Approach Based on Multi Time Delays Causal Entropy.

Haonan Feng, Ruiqing Zheng, Jianxin Wang, Fang-Xiang Wu, Min Li

IEEE ACM Trans. Comput. Biol. Bioinform., 2022

Diversity-aware unmanned vehicle team arrangement in mobile crowdsourcing.

Yu Li, Haonan Feng, Zhankui Peng, Li Zhou, Jian Wan

EURASIP J. Wirel. Commun. Netw., 2022

2021

A Formal Analysis of the FIDO UAF Protocol.

Haonan Feng, Hui Li, Xuesong Pan, Ziming Zhao

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

2020

Authenticator Rebinding Attack of the UAF Protocol on Mobile Devices.

Hui Li, Xuesong Pan, Xinluo Wang, Haonan Feng, Chengjie Shi

Wirel. Commun. Mob. Comput., 2020

2018

Study on Formal Modeling and Safety Verification of Train-to-Train Communication.

Haonan Feng

Wirel. Commun. Mob. Comput., 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

Proceedings of the 13th IEEE Annual International Conference on Nano/Micro Engineered and Molecular Systems, 2018

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

Proceedings of the 13th IEEE Annual International Conference on Nano/Micro Engineered and Molecular Systems, 2018