SR-MuSig2: A Scalable and Reconfigurable Multi-signature Scheme and Its Applications. - Wenqiu Ma; Rui Zhang 016 (Inscrypt, 2022)

SmartFast: an accurate and robust formal analysis tool for Ethereum smart contracts. - Zhaoxuan Li; Siqi Lu; Rui Zhang 016; Rui Xue 001; Wenqiu Ma; Rujin Liang; Ziming Zhao 008; Sheng Gao 002 (Empir. Softw. Eng., 2022)

Extraction of River Water Bodies Based on ICESat-2 Photon Classification. - Wenqiu Ma; Xiao Liu; Xinglei Zhao (Remote. Sens., 2024)