Robust joint resource allocation algorithm for hierarchical underwater acoustic communication networks based on outage probability minimization. - Xinbin Li; Haihong Zhao; Song Han 001; Binghan Wang; Zhixin Liu 001 (Trans. Emerg. Telecommun. Technol., 2021)

A Formal Analysis of Data Distribution Service Security. - Binghan Wang; Hui Li 070; Jingjing Guan (AsiaCCS, 2024)

Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL. - Jingjing Guan; Hui Li 070; Xiangdong Li; Xiaolei Wang; Binghan Wang; Qiuye Wang; Shengchao Qin; Mengda He; Md. Armanuzzaman; Ziming Zhao 001 (INFOCOM, 2025)