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 2018Author of Invited talk: Test input generation using separation logic within the JPF-track
Author of Automatic Data Structure Repair using Separation Logic within the JPF-track
Show activities from other conferences

ESEC/FSE 2018-profile
View general profile