Quoc-Sang Phan

Publications by Year

Research Areas

Software Testing and Debugging Techniques, Advanced Malware Detection Techniques, Security and Verification in Computing, Software Reliability and Analysis Research, Formal Methods in Verification

Most-Cited Works

• → Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT(2016)93 cited
• → String analysis for side channels with segmented oracles(2016)68 cited
• → Synthesis of Adaptive Side-Channel Attacks(2017)61 cited
• → Symbolic quantitative information flow(2012)54 cited
• → Quantifying information leaks using reliability analysis(2014)48 cited
• → Abstract model counting(2014)35 cited
• → Symbolic Side-Channel Analysis for Probabilistic Programs(2018)25 cited
• → All-Solution Satisfiability Modulo Theories: Applications, Algorithms and Benchmarks(2015)21 cited
• → Model-Counting Approaches for Nonlinear Numerical Constraints(2017)21 cited
• → Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT(2011)14 cited