Xuesong Pan

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 7

Top Topics

Distributed Systems

Formal Analysis

Structured Peer To Peer

Top Venues

IEEE Trans. Veh. Technol.

Publications

Xuesong Pan, Zhong Zheng, Xueqing Huang, Zesong Fei
Distributed MMSE Detection with One-Shot Combining for Cooperative Aerial Networks in Presence of Imperfect CSI. ICC (2023)
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)
Xuesong Pan, Zhong Zheng, Zesong Fei, Zhongpei Zhang
On the Design of Optimal One-Shot Distributed Combining for Cooperative Multi-UAV Systems. IEEE Trans. Veh. Technol. 72 (5) (2023)
Xuesong Pan, Zhong Zheng, Xueqing Huang, Zesong Fei
On the Uplink Distributed Detection in UAV-enabled Aerial Cell-Free mMIMO Systems. CoRR (2023)
Haonan Feng, Hui Li, Xuesong Pan, Ziming Zhao
A Formal Analysis of the FIDO UAF Protocol. NDSS (2021)
Xuesong Pan, Zhong Zheng
Cooperative Distributed Antenna Systems Based Secure Communications for Industrial Internet of Things. ICCT (2020)
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)