מאמרים עם הרשאות לגישה ציבורית - Quoc-Sang Phanלמידע נוסף
זמינים באתר כלשהו: 9
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
הרשאות: UK Engineering and Physical Sciences Research Council
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
הרשאות: US National Science Foundation
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
הרשאות: US Department of Defense
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
הרשאות: UK Engineering and Physical Sciences Research Council
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
הרשאות: US Department of Defense
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
הרשאות: US National Science Foundation, US Department of Defense
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
הרשאות: US National Aeronautics and Space Administration
Analyzing the cmake build system
KH Nguyen, TV Nguyen, QS Phan
Proceedings of the 44th International Conference on Software Engineering …, 2022
הרשאות: US National Science Foundation
Using dynamically inferred invariants to analyze program runtime complexity
TV Nguyen, D Ishimwe, A Malyshev, T Antonopoulos, QS Phan
Proceedings of the 3rd ACM SIGSOFT International Workshop on Software …, 2020
הרשאות: US National Science Foundation, US Department of Defense
המידע על הפרסום ועל הגורמים המממנים נקבע באופן אוטומטי על ידי תוכנת מחשב