Следене
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
1102016
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
752016
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
692017
Symbolic quantitative information flow
QS Phan, P Malacaria, O Tkachuk, CS Păsăreanu
ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012
622012
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
552014
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
532014
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
262018
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
262017
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
202019
All-solution satisfiability modulo theories: applications, algorithms and benchmarks
QS Phan, P Malacaria
2015 10th International Conference on Availability, Reliability and Security …, 2015
182015
Self-composition by Symbolic Execution
QS Phan
2013 Imperial College Computing Student Workshop 35, 95-102, 2013
162013
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
162011
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
142019
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
142018
Concurrent bounded model checking
QS Phan, P Malacaria, CS Pǎsǎreanu
ACM SIGSOFT Software Engineering Notes 40 (1), 1-5, 2015
132015
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
122019
Model counting modulo theories
QS Phan
arXiv preprint arXiv:1504.02796, 2015
122015
Branch coverage guided symbolic execution for hybrid fuzz testing of software binaries
P Quoc-Sang, P Murthy
US Patent 10,635,576, 2020
62020
Automatic data structure repair using separation logic
G Zheng, QL Le, TV Nguyen, QS Phan
ACM SIGSOFT Software Engineering Notes, 2018
62018
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
62010
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20