Registered user since Sat 17 Dec 2016

Name: Quoc-Sang Phan

Country: United States

Affiliation: Carnegie Mellon Silicon Valley

Personal website: http://www.andrew.cmu.edu/user/qsp/

Research interests: Quantitative Information Flow, Side-channel Attacks, Symbolic Execution, Model Checking, SAT/SMT, Model Counting

Contributions