conf.researchr.org / Quoc-Sang Phan
Registered user since Sat 17 Dec 2016
Name:Quoc-Sang Phan
Country:United States
Affiliation:Facebook, Inc.
Personal website: https://research.fb.com/people/phan-sang/
Research interests:Static Analysis, Symbolic Execution, Side-channel Attacks, SAT/SMT, Model Counting
Contributions