![Quoc-Sang Phan](https://conf.researchr.org/getProfileImage/quocsangphan/c76a02b5-5378-4fdf-abd1-a0095da3821e/small.jpg?1711467451000)
Registered user since Sat 17 Dec 2016
Name:Quoc-Sang Phan
Country:United States
Affiliation:Fujitsu Laboratories of America
Personal website: http://qsphan.github.io/
Research interests:Quantitative Information Flow, Side-channel Attacks, Symbolic Execution, Model Checking, SAT/SMT, Model Counting
Contributions
* ICSE 2018 *-profile
View general profile
View general profile