A semi-automatic method for identifying security critical properties for use in the dynamic verification of a processor.
I am a 2nd year Ph.D. student at UNC Chapel Hill advised by Prof. Cynthia Sturton. I received my bachelor's degree from Peking University in 2013, and my master's degree from Columbia University in 2015.
My research interests are in hardware security and formal verification. The goals of my research are to help hardware designers efficiently build more secure processors that can withstand a wide range of attack programs in the field, as well as to provide interesting insights about hardware vulnerabilities to the community.