עקוב אחר
Quoc-Sang Phan
Quoc-Sang Phan
Facebook
כתובת אימייל מאומתת בדומיין qmul.ac.uk - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
1182016
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‏
902016
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‏
882017
Symbolic quantitative information flow‏
QS Phan, P Malacaria, O Tkachuk, CS Păsăreanu‏
ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012‏
752012
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‏
622014
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‏
552014
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‏
382018
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‏
322018
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‏
322017
All-solution satisfiability modulo theories: applications, algorithms and benchmarks‏
QS Phan, P Malacaria‏
2015 10th International Conference on Availability, Reliability and Security …, 2015‏
262015
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‏
252019
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‏
192011
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‏
172018
Concurrent bounded model checking‏
QS Phan, P Malacaria, CS Pǎsǎreanu‏
ACM SIGSOFT Software Engineering Notes 40 (1), 1-5, 2015‏
172015
Model counting modulo theories‏
QS Phan‏
arXiv preprint arXiv:1504.02796, 2015‏
162015
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‏
142019
Self-composition by Symbolic Execution‏
QS Phan‏
2013 Imperial College Computing Student Workshop 35, 95-102, 2013‏
142013
Automatic data structure repair using separation logic‏
G Zheng, QL Le, TV Nguyen, QS Phan‏
ACM SIGSOFT Software Engineering Notes, 2018‏
72018
Supporting public administration with an integrated BPR environment‏
A Ciaghi, A Villafiorita, K Weldemariam, A Mattioli, QS Phan‏
International Conference on e-Infrastructure and e-Services for Developing …, 2009‏
72009
Analyzing the cmake build system‏
KH Nguyen, TV Nguyen, QS Phan‏
Proceedings of the 44th International Conference on Software Engineering …, 2022‏
62022
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20