Registered user since Sat 17 Dec 2016

Name: Quoc-Sang Phan

Country: United States

Affiliation: Synopsys, Inc.

Personal website: http://qsphan.github.io/

Research interests: Static Analysis, Symbolic Execution, Side-channel Attacks, SAT/SMT, Model Counting

Contributions