Robust App Clone Detection Based on Similarity of UI Structure. - Yangyu Hu; Guosheng Xu 001; Bowen Zhang; Kun Lai; Guoai Xu; Miao Zhang (IEEE Access, 2020)

Proof of Exponentiation: Enhanced Prover Efficiency for Algebraic Statements. - Zhuo Wu; Shi Qi; Xinxuan Zhang; Yi Deng; Kun Lai; Hailong Wang (IACR Cryptol. ePrint Arch., 2025)