Write a Blog >>
Quoc-Sang Phan

Registered user since Sat 17 Dec 2016

Name:Quoc-Sang Phan
Country:United States
Affiliation:Carnegie Mellon Silicon Valley
Research interests:Quantitative Information Flow, Side-channel Attacks, Symbolic Execution, Model Checking, SAT/SMT, Model Counting

Contributions

Show activities from other conferences

ISSTA 2017-profile
View general profile