Quoc-Sang Phan

ORCID

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 21

Top Venues

ACM SIGSOFT Softw. Eng. Notes

CSF

IACR Cryptol. ePrint Arch.

CoRR

Queen Mary University of London, UK (PHD)

Education History

Queen Mary University of London, UK

PHD

Publications

Quoc-Sang Phan, KimHao Nguyen, ThanhVu Nguyen
The Challenges of Shift Left Static Analysis. ICSE-SEIP (2023)
KimHao Nguyen, ThanhVu Nguyen, Quoc-Sang Phan
Analyzing the CMake Build System. ICSE (SEIP) (2022)
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun
Concolic Testing Heap-Manipulating Programs. FM (2019)
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun
Concolic Testing Heap-Manipulating Programs. CoRR (2019)
Corina S. Pasareanu, Rody Kersten, Kasper Søe Luckow, Quoc-Sang Phan
Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis. Adv. Comput. 113 (2019)
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. ATVA (2019)
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin
Testing heap-based programs with Java StarFinder. ICSE (Companion Volume) (2018)
Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, Quoc-Sang Phan
Automatic Data Structure Repair usingSeparation Logic. ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)
Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan, Kasper Søe Luckow
Symbolic Side-Channel Analysis for Probabilistic Programs. CSF (2018)
Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan, Kasper Søe Luckow
Symbolic Side-Channel Analysis for Probabilistic Programs. IACR Cryptol. ePrint Arch. 2018 (2018)
Quoc-Sang Phan
Test input generation using separati logic. ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)
Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan
Synthesis of Adaptive Side-Channel Attacks. IACR Cryptol. ePrint Arch. 2017 (2017)
Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu
Model-counting Approaches For Nonlinear Numerical Constraints. IACR Cryptol. ePrint Arch. 2017 (2017)
Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan
Synthesis of Adaptive Side-Channel Attacks. CSF (2017)
Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu
Model-Counting Approaches for Nonlinear Numerical Constraints. NFM (2017)
Corina S. Pasareanu, Quoc-Sang Phan, Pasquale Malacaria
Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT. CSF (2016)
Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, Tevfik Bultan
String analysis for side channels with segmented oracles. SIGSOFT FSE (2016)
Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu
Concurrent Bounded Model Checking. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Quoc-Sang Phan
Model Counting Modulo Theories. CoRR (2015)
Quoc-Sang Phan, Pasquale Malacaria
All-Solution Satisfiability Modulo Theories: Applications, Algorithms and Benchmarks. ARES (2015)
Quoc-Sang Phan, Pasquale Malacaria
Abstract model counting: a novel approach for quantification of information leaks. AsiaCCS (2014)
Quoc-Sang Phan
Symbolic Execution as DPLL Modulo Theories. ICCSW (2014)
Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim
Quantifying information leaks using reliability analysis. SPIN (2014)
Quoc-Sang Phan
Self-composition by Symbolic Execution. ICCSW (2013)
Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, Corina S. Pasareanu
Symbolic quantitative information flow. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
Alberto Griggio, Quoc-Sang Phan, Roberto Sebastiani, Silvia Tomasi
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT. FroCoS (2011)
Aaron Ciaghi, Adolfo Villafiorita, Komminist Weldemariam, Andrea Mattioli, Quoc-Sang Phan
Supporting Public Administration with an Integrated BPR Environment. AFRICOM (2009)

Quoc-Sang Phan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Quoc-Sang Phan