Wei-Che Wang is an author at University of California, Los Angeles specializing in data security, formal methods, and hardware security.