Efficient terrain data coding for rendering on mobile devices. - Yankui Sun; Xiaoxin An; Zi Ye; Zhongyang Sun (ISSPIT, 2015)

A Validation Methodology for OCaml-to-PVS Translation. - Xiaoxin An; Amer Tahat; Binoy Ravindran (NFM, 2020)

DSV: Disassembly Soundness Validation Without Assuming a Ground Truth. - Xiaoxin An; Freek Verbeek; Binoy Ravindran (NFM, 2022)

On Reducing the Trusted Computing Base in Binary Verification. - Xiaoxin An (2022)

Side-Channel Analysis of Curve-25519 Based on Deep Learning. - Zongnan Zhang; Meng Li; Xiaoxin An; Zhen Li; Zhe Ma (GAIIS, 2024)

MCGA: Mixture of Codebooks Hyperspectral Reconstruction via Grayscale-Aware Attention. - Zhanjiang Yang; Lijun Sun; Jiawei Dong; Xiaoxin An; Yang Liu; Meng Li (CoRR, 2025)