ISSTA 2017 (series) / Quoc-Sang Phan

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
ISSTA 2017 | Committee Member in Artifact Evaluation Committee within the Artifacts-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ISSTA 2017-profile
View general profile
View general profile