ESEC/FSE 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
| JPF 2018 | Invited talk: Test input generation using separation logic Automatic Data Structure Repair using Separation Logic | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ESEC/FSE 2018-profile
View general profile
View general profile