Follow
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
1122019
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
812018
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
752019
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
652015
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
442016
{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
412020
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
302018
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
282017
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
272017
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
272015
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
262020
Detecting Safety Problems of Multi-Sensor Fusion in Autonomous Driving
Z Zhong, Z Hu, S Guo, X Zhang, Z Zhong, B Ray
arXiv preprint arXiv:2109.06404, 2021
52021
Coverage-based scene fuzzing for virtual autonomous driving testing
Z Hu, S Guo, Z Zhong, K Li
arXiv preprint arXiv:2106.00873, 2021
32021
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
32020
SoK: On the Semantic AI Security in Autonomous Driving
J Shen, N Wang, Z Wan, Y Luo, T Sato, Z Hu, X Zhang, S Guo, Z Zhong, ...
arXiv preprint arXiv:2203.05314, 2022
12022
Challenging Machine Learning-based Clone Detectors via Semantic-preserving Code Transformations
W Zhang, S Guo, H Zhang, Y Sui, Y Xue, Y Xu
arXiv preprint arXiv:2111.10793, 2021
12021
Disclosing the Fragility Problem of Virtual Safety Testing for Autonomous Driving Systems
Z Hu, S Guo, Z Zhong, K Li
2021 IEEE International Symposium on Software Reliability Engineering …, 2021
12021
Detecting multi-sensor fusion errors in advanced driver-assistance systems
Z Zhong, Z Hu, S Guo, X Zhang, Z Zhong, B Ray
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
2022
SimLane: A Risk-Orientated Benchmark for Lane Detection
X Zhang, Z Hu, S Guo, Z Zhong, K Li
2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems …, 2022
2022
A Survey on Automated Driving System Testing: Landscapes and Trends
S Tang, Z Zhang, Y Zhang, J Zhou, Y Guo, S Liu, S Guo, YF Li, L Ma, ...
arXiv preprint arXiv:2206.05961, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20