His research interests are systems and software security, with an emphasis on developing program analysis techniques and applying them to secure both the application programs including mobile apps and the underlying system software such as OS kernels and hypervisors. He has served on the program committees of systems security venues such as ACM CCS, USENIX Security, and NDSS, and is currently an Associate Editor of IEEE Transactions on Dependable and Secure Computing.