A Formal Framework for Access Rights Analysis. - Xin Li 010; Hua Vy Le Thanh (CoRR, 2013)

An On-The-Fly Algorithm for Conditional Weighted Pushdown Systems. - Hua Vy Le Thanh; Xin Li 010 (Inf. Media Technol., 2014)

Generating Permission-Based Security Policies. - Xin Li 010; Hua Vy Le Thanh; Yuxin Deng; Julian Dolby (DSA, 2018)