ISSTA 2017 (series) / Quoc-Sang Phan
![Quoc-Sang Phan](https://conf.researchr.org/getProfileImage/quocsangphan/69694bda-5a59-4426-8a59-5431d7cff6c7/small.jpg?1711467451000)
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-profile
View general profile
View general profile