ECOOP and ISSTA 2018 (series) / Quoc-Sang Phan
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
| ISSTA 2018 | Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP and ISSTA 2018-profile
View general profile
View general profile