Quoc-Sang Phan

Cited by

	All	Since 2019
Citations	774	529
h-index	15	13
i10-index	17	14

140

105

2013201420152016201720182019202020212022202320246 17 26 25 70 85 133 122 82 74 60 58

Public access

View all

10 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
Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
Pham Hong LongSenior Research Scientist, Singapore Management UniversityVerified email at smu.edu.sg
Quang Loc LeUniversity College LondonVerified email at ucl.ac.uk
Kasper Søe LuckowAmazon Web ServicesVerified email at amazon.com
Shengchao QinProfessor of Computer Science, Teesside UniversityVerified email at tees.ac.uk
ThanhVu (Vu) NguyenComputer Science, George Mason UniversityVerified email at gmu.edu
Praveen MurthyFujitsu Labs of AmericaVerified email at us.fujitsu.com
Abdulbaki AydinFacebook - Ph.D. Computer Science, University of California Santa BarbaraVerified email at cs.ucsb.edu
Rody KerstenSynopsys, Inc.Verified email at synopsys.com
Marcelo d'AmorimAssociate Professor, NC State UniversityVerified email at ncsu.edu
Arman (MHR) KhouzaniSenior Lecturer, Victoria University of WellingtonVerified email at vuw.ac.nz
Antonio FilieriAmazon Web Services, Imperial College LondonVerified email at imperial.ac.uk
Mateus BorgesImperial College LondonVerified email at ic.ac.uk
KimHao NguyenUniversity of Nebraska-LincolnVerified email at huskers.unl.edu
Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyVerified email at unitn.it
Alberto GriggioResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
Aaron CiaghiNew Work SEVerified email at magione.cloud

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	118	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	90	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	87	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	72	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	62	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 execution and recent applications to worst-case execution, load testing and security analysis CS Pasareanu, R Kersten, L Kasper, QS Phan Advances in Computers 22, 2018	37	2018
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	31	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	29	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	25	2019
All-solution satisfiability modulo theories: applications, algorithms and benchmarks QS Phan, P Malacaria 2015 10th International Conference on Availability, Reliability and Security …, 2015	25	2015
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	18	2018
Stochastic local search for SMT: combining theory solvers with walksat A Griggio, QS Phan, R Sebastiani, S Tomasi International Symposium on Frontiers of Combining Systems, 163-178, 2011	18	2011
Concurrent bounded model checking QS Phan, P Malacaria, CS Pǎsǎreanu ACM SIGSOFT Software Engineering Notes 40 (1), 1-5, 2015	16	2015
Model counting modulo theories QS Phan arXiv preprint arXiv:1504.02796, 2015	15	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	14	2019
Self-composition by Symbolic Execution QS Phan 2013 Imperial College Computing Student Workshop 35, 95-102, 2013	14	2013
Branch coverage guided symbolic execution for hybrid fuzz testing of software binaries P Quoc-Sang, P Murthy US Patent 10,635,576, 2020	7	2020
Automatic data structure repair using separation logic G Zheng, QL Le, TV Nguyen, QS Phan ACM SIGSOFT Software Engineering Notes, 2018	7	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	7	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