H-Binder: A Hardened Binder Framework on Android Systems. - Dong Shen 001; Zhangkai Zhang; Xuhua Ding; Zhoujun Li 001; Robert H. Deng (SecureComm, 2016)

HypTracker: A Hypervisor to Detect Malwares Through System Call Analysis on ARM. - Dong Shen 001; Xiaojing Su; Zhoujun Li 001 (CSS, 2017)

TinyVisor: An extensible secure framework on android platforms. - Dong Shen 001; Zhoujun Li 001; Xiaojing Su; Jinxin Ma; Robert Huijie Deng (Comput. Secur., 2018)