Segui
Quoc-Sang Phan
Quoc-Sang Phan
Facebook
Email verificata su qmul.ac.uk - Home page
Titolo
Citata da
Citata da
Anno
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
912016
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
742012
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
542014
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
372018
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
312018
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
312017
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
All-solution satisfiability modulo theories: applications, algorithms and benchmarks
QS Phan, P Malacaria
2015 10th International Conference on Availability, Reliability and Security …, 2015
252015
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
182018
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
182011
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
152015
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
Analyzing the cmake build system
KH Nguyen, TV Nguyen, QS Phan
Proceedings of the 44th International Conference on Software Engineering …, 2022
72022
Branch coverage guided symbolic execution for hybrid fuzz testing of software binaries
P Quoc-Sang, P Murthy
US Patent 10,635,576, 2020
72020
Automatic data structure repair using separation logic
G Zheng, QL Le, TV Nguyen, QS Phan
ACM SIGSOFT Software Engineering Notes, 2018
72018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20