Concepedia

Quoc-Sang Phan

QP

9

Publications

417

Citations

9

H-Index

2012

Active since

Affiliations

Queen Mary University of London(Current)

Ames Research Center

Carnegie Mellon University

Fujitsu (United States)

University of California, Santa Barbara

Quoc-Sang Phan is an author at Queen Mary University of London specializing in formal methods, formal verification, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisData SecuritySoftware TestingAutomated ReasoningComputer Engineering

Publications per year

2012–2018

9

Publications

9

Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT

Corina S. Păsăreanu, Quoc-Sang Phan, Pasquale Malacaria · 2016 · 93 citations · Full text

Engineering, Information Security, Information Leakage +23

String analysis for side channels with segmented oracles

Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan et al. · 2016 · 68 citations

Engineering, Information Leakage, Software Analysis +20

Synthesis of Adaptive Side-Channel Attacks

Quoc-Sang Phan, Lucas Bang, Corina S. Păsăreanu et al. · 2017 · 61 citations

Engineering, Information Security, Symbolic Attack Model +22

Symbolic quantitative information flow

Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk et al. · ACM SIGSOFT Software Engineering Notes · 2012 · 54 citations · Full text

Engineering, Verification, Software Engineering +22

Quantifying information leaks using reliability analysis

Quoc-Sang Phan, Pasquale Malacaria, Corina S. Păsăreanu et al. · 2014 · 48 citations

Software Maintenance, Software Reliability Testing, Engineering +25

Rows per page

1–5 of 9