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 | 116 | 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 | 85 | 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 | 83 | 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 | 70 | 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 | 60 | 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 | 55 | 2014 |
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 | 36 | 2019 |
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 | 29 | 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 | 24 | 2019 |
All-solution satisfiability modulo theories: applications, algorithms and benchmarks QS Phan, P Malacaria 2015 10th International Conference on Availability, Reliability and Security …, 2015 | 20 | 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 |
Self-composition by Symbolic Execution QS Phan 2013 Imperial College Computing Student Workshop 35, 95-102, 2013 | 17 | 2013 |
Concurrent bounded model checking QS Phan, P Malacaria, CS Pǎsǎreanu ACM SIGSOFT Software Engineering Notes 40 (1), 1-5, 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 |
Model counting modulo theories QS Phan arXiv preprint arXiv:1504.02796, 2015 | 14 | 2015 |
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 |