Shengjian (Daniel) Guo
Shengjian (Daniel) Guo
Senior Security Scientist@Baidu Research Institute
Verified email at baidu.com - Homepage
Title
Cited by
Cited by
Year
Nodoze: Combatting threat alert fatigue with automated provenance triage
WU Hassan, S Guo, D Li, Z Chen, K Jee, Z Li, A Bates
Network and Distributed Systems Security Symposium, 2019
612019
Assertion guided symbolic execution of multithreaded programs
S Guo, M Kusano, C Wang, Z Yang, A Gupta
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
542015
Eliminating timing side-channel leaks using program repair
M Wu, S Guo, P Schaumont, C Wang
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
532018
SAVIOR: Towards Bug-Driven Hybrid Testing
Y Chen, P Li, J Xu, S Guo, R Zhou, Y Zhang, T Wei, L Lu
arXiv preprint arXiv:1906.07327, 2019
322019
Conc-iSE: Incremental symbolic execution of concurrent software
S Guo, M Kusano, C Wang
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
312016
Postconditioned symbolic execution
Q Yi, Z Yang, S Guo, C Wang, J Liu, C Zhao
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
252015
Adversarial symbolic execution for detecting concurrency-related cache timing leaks
S Guo, M Wu, C Wang
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
242018
Symbolic execution of programmable logic controller code
S Guo, M Wu, C Wang
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
202017
Eliminating path redundancy via postconditioned symbolic execution
Q Yi, Z Yang, S Guo, C Wang, J Liu, C Zhao
IEEE Transactions on Software Engineering 44 (1), 25-43, 2017
202017
SpecuSym: Speculative symbolic execution for cache timing leak detection
S Guo, Y Chen, P Li, Y Cheng, H Wang, M Wu, Z Zuo
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
102020
{MUZZ}: Thread-aware grey-box fuzzing for effective bug hunting in multithreaded programs
H Chen, S Guo, Y Xue, Y Sui, C Zhang, Y Li, H Wang, Y Liu
29th {USENIX} Security Symposium ({USENIX} Security 20), 2325-2342, 2020
92020
Exposing cache timing side-channel leaks through out-of-order symbolic execution
S Guo, Y Chen, J Yu, M Wu, Z Zuo, P Li, Y Cheng, H Wang
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-32, 2020
12020
Coverage-based Scene Fuzzing for Virtual Autonomous Driving Testing
Z Hu, S Guo, Z Zhong, K Li
arXiv preprint arXiv:2106.00873, 2021
2021
Postconditioned Symbolic Execution
Q Yi12, Z Yang, S Guo, C Wang, J Liu, C Zhao
The system can't perform the operation now. Try again later.
Articles 1–14