Image Edge Detecting Based on Gap Statistic Model and Relative Entropy. - Qiuxia Yang; Liangrui Tang; Wenting Dong; Yi Sun 007 (FSKD (5), 2009)

Formal Verification and Security Analysis of AMQP. - Huiying Liu; Wenting Dong; Huibiao Zhu; Ziqing Su (COMPSAC, 2024)

A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry. - Wenting Dong; Huibiao Zhu; Sini Chen; Ning Ge 002 (ISSRE, 2024)