Automatic Verification of Security of OpenID Connect Protocol with ProVerif. - Jintian Lu; Jinli Zhang; Jing Li; Zhongyu Wan; Bo Meng (3PGCIC, 2016)

Security Analysis of OpenID Connect Protocol with Cryptoverif in the Computational Model. - Jinli Zhang; Jintian Lu; Zhongyu Wan; Jing Li; Bo Meng (3PGCIC, 2016)

A Q-learning method based on coarse-to-fine potential energy surface for locating transition state and reaction pathway. - Wenjun Xu; Yanling Zhao; Jialu Chen; Zhongyu Wan; Dadong Yan; Xinghua Zhang; Ruiqin Zhang (J. Comput. Chem., 2024)

CFMD: Dynamic Cross-Layer Feature Fusion for Salient Object Detection. - Jin Lian; Zhongyu Wan; Ming Gao; JunFeng Chen (ICIC (13), 2025)