Quoc-Sang Phan

Cited by

	All	Since 2018
Citations	645	485
h-index	14	12
i10-index	17	14

140

105

201320142015201620172018201920202021202220236 17 26 27 70 75 121 116 89 72 12

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Pasquale MalacariaProfessor, Queen Mary University of LondonVerified email at qmul.ac.uk
Tevfik BultanProfessor of Computer Science, University of California, Santa BarbaraVerified email at cs.ucsb.edu
Quang Loc LeUniversity College LondonVerified email at ucl.ac.uk
Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
Pham Hong LongResearch Scientist, Singapore Management UniversityVerified email at smu.edu.sg
Kasper Søe LuckowAmazon Web ServicesVerified email at amazon.com
Shengchao QinProfessor of Computer Science, Teesside UniversityVerified email at tees.ac.uk
Abdulbaki AydinFacebook - Ph.D. Computer Science, University of California Santa BarbaraVerified email at cs.ucsb.edu
Praveen MurthyFujitsu Labs of AmericaVerified email at us.fujitsu.com
Marcelo d'AmorimAssociate Professor, NC State UniversityVerified email at ncsu.edu
ThanhVu H. NguyenComputer Science, George Mason UniversityVerified email at gmu.edu
Antonio FilieriAWS, Imperial College LondonVerified email at imperial.ac.uk
Mateus BorgesImperial College LondonVerified email at ic.ac.uk
Arman (MHR) KhouzaniLecturer, Queen Mary University of London (QMUL)Verified email at qmul.ac.uk
Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyVerified email at unitn.it
Alberto GriggioResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
Rody KerstenSynopsys, Inc.Verified email at synopsys.com
Timos AntonopoulosVerified email at yale.edu
KimHao NguyenUniversity of Nebraska-LincolnVerified email at huskers.unl.edu

Quoc-Sang Phan

Facebook

Verified email at qmul.ac.uk - Homepage

Program Analysis Computer Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Multi-run side-channel analysis using Symbolic Execution and Max-SMT CS Pasareanu, QS Phan, P Malacaria 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 387-400, 2016	110	2016
String analysis for side channels with segmented oracles L Bang, A Aydin, QS Phan, CS Păsăreanu, T Bultan Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016	75	2016
Synthesis of adaptive side-channel attacks QS Phan, L Bang, CS Pasareanu, P Malacaria, T Bultan 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 328-342, 2017	69	2017
Symbolic quantitative information flow QS Phan, P Malacaria, O Tkachuk, CS Păsăreanu ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012	62	2012
Quantifying information leaks using reliability analysis QS Phan, P Malacaria, CS Păsăreanu, M d'Amorim Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014	55	2014
Abstract model counting: a novel approach for quantification of information leaks QS Phan, P Malacaria Proceedings of the 9th ACM symposium on Information, computer and …, 2014	53	2014
Symbolic side-channel analysis for probabilistic programs P Malacaria, MHR Khouzani, CS Pasareanu, QS Phan, K Luckow 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 313-327, 2018	26	2018
Model-counting approaches for nonlinear numerical constraints M Borges, QS Phan, A Filieri, CS Păsăreanu NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017	26	2017
Enhancing symbolic execution of heap-based programs with separation logic for test input generation LH Pham, QL Le, QS Phan, J Sun, S Qin Automated Technology for Verification and Analysis: 17th International …, 2019	20	2019
All-solution satisfiability modulo theories: applications, algorithms and benchmarks QS Phan, P Malacaria 2015 10th International Conference on Availability, Reliability and Security …, 2015	18	2015
Self-composition by Symbolic Execution QS Phan 2013 Imperial College Computing Student Workshop 35, 95-102, 2013	16	2013
Stochastic local search for SMT: combining theory solvers with walksat A Griggio, QS Phan, R Sebastiani, S Tomasi Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011 …, 2011	16	2011
Symbolic execution and recent applications to worst-case execution, load testing, and security analysis CS Păsăreanu, R Kersten, K Luckow, QS Phan Advances in Computers 113, 289-314, 2019	14	2019
Testing heap-based programs with Java StarFinder LH Pham, QL Le, QS Phan, J Sun, S Qin Proceedings of the 40th International Conference on Software Engineering …, 2018	14	2018
Concurrent bounded model checking QS Phan, P Malacaria, CS Pǎsǎreanu ACM SIGSOFT Software Engineering Notes 40 (1), 1-5, 2015	13	2015
Concolic testing heap-manipulating programs LH Pham, QL Le, QS Phan, J Sun Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019	12	2019
Model counting modulo theories QS Phan arXiv preprint arXiv:1504.02796, 2015	12	2015
Branch coverage guided symbolic execution for hybrid fuzz testing of software binaries P Quoc-Sang, P Murthy US Patent 10,635,576, 2020	6	2020
Automatic data structure repair using separation logic G Zheng, QL Le, TV Nguyen, QS Phan ACM SIGSOFT Software Engineering Notes, 2018	6	2018
Supporting public administration with an integrated BPR environment A Ciaghi, A Villafiorita, K Weldemariam, A Mattioli, QS Phan E-Infrastructures and E-Services on Developing Countries: First …, 2010	6	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors