People
PhD. Students
Weimin Fu
Bio: Weimin Fu completed his B.S. degree from Zhejiang University and his M.S. degree from George Washington University. His current research is focused on hardware security. He is interested in modern compilers, computer architecture, hardware formal verification, and Satisfiability Modulo Theories.
Research Interests: modern compilers, computer architecture, hardware formal verification, Satisfiability Modulo
Zhaoxiang Liu
Bio: Zhaoxiang Liu received his bachelor degree from University of Electronic Science and Technology of China and master degree from Rutgers University. His current projects include IFT and Logic Locking.
Research Interests: Hardware Security, Information Flow Tracking
Research Interests: Hardware Security, Information Flow Tracking
Kejun Chen
Photo: TBD
Bio: TBD
Research Interests: Microarchitecture Security, Co-processor Design, Runtime Security Check.
Data Scientist Interns
Guanhua Xu (Photo: TBD)