Registered user since Tue 22 May 2018
I am a software engineer at Google. Previously, I was a Senior Security Researcher at Baidu X-Lab. I finished my Ph.D. at the College of Information Sciences and Technology, The Pennsylvania State University, in 2018. I received my master’s degree from University of Waterloo (2012-2013) and my bachelor’s degree from Peking University (2008-2012).
My research interest subsumes dependable software engineering, program analysis, formal methods, trusted execution environments, and software obfuscation. I am actively exploring multiple security research domains.