Operating system auditing and monitoring

by WU YONGZHENG
Published 2012

Automatically partition software into least privilege components using dynamic data dependency analysis

by WU, Yongzheng, SUN, Jun, LIU, Yang, DONG, Jin Song
Published 2013

Towards model checking android applications

by Bai, Guangdong, Ye, Quanqi, Wu, Yongzheng, Botha, Heila, Sun, Jun, Liu, Yang, Dong, Jin Song, Visser, Willem
Published 2020

Towards model checking Android applications

by BAI, Guangdong, YE, Quanqi, WU, Yongzheng, BOTHA, Heila, SUN, Jun, LIU, Yang, DONG, Jin Song, VISSER, Willem
Published 2018