A Fully Anonymous Authentication Scheme Based on Medical Environment. - Jing Lv; Ning Xi 002; Xue Rao (ICA3PP (1), 2019)

Compositional Information Flow Verification for Inter Application Communications in Android System. - Xue Rao; Ning Xi 002; Jing Lv; Pengbin Feng (ML4CS, 2019)

Sliver: A Scalable Slicing-Based Verification for Information Flow Security. - Xue Rao; Cong Sun 001; Dongrui Zeng; Yongzhe Huang; Gang Tan (IEEE Trans. Dependable Secur. Comput., 2025)