A software environment for confining malicious android applications via resource virtualization

by Li, X., Bai, G., Liang, Z., Yin, H.
Published 2014

TrustFound: Towards a formal foundation for model checking trusted computing platforms

by Bai, G., Hao, J., Wu, J., Liu, Y., Liang, Z., Martin, A.
Published 2016

Detecting Malicious Behaviors in JavaScript Applications

by Mao, J., Bian, J., Bai, G., Wang, R., Chen, Y., Xiao, Y., Liang, Z.
Published 2021

Light-Controllable Digital Coding Metasurfaces

by Zhang X.G., Tang W.X., Jiang W.X., Bai G.D., Tang J., Bai L., Qiu C.-W., Cui T.J.
Published 2019