Shengjian Guo

According to our database, Shengjian Guo authored at least 12 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Exposing cache timing side-channel leaks through out-of-order symbolic execution.

Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, Huibo Wang

Proc. ACM Program. Lang., 2020

MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs.

Hongxu Chen, Shengjian Guo, Yinxing Xue, Yulei Sui, Cen Zhang, Yuekang Li, Haijun Wang, Yang Liu

Proceedings of the 29th USENIX Security Symposium, 2020

SAVIOR: Towards Bug-Driven Hybrid Testing.

Yaohui Chen, Peng Li, Jun Xu, Shengjian Guo, Rundong Zhou, Yulong Zhang, Tao Wei, Long Lu

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

SpecuSym: speculative symbolic execution for cache timing leak detection.

Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

NoDoze: Combatting Threat Alert Fatigue with Automated Provenance Triage.

Wajih Ul Hassan, Shengjian Guo, Ding Li, Zhengzhang Chen, Kangkook Jee, Zhichun Li, Adam Bates

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

2018

Eliminating Path Redundancy via Postconditioned Symbolic Execution.

Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao

IEEE Trans. Software Eng., 2018

Adversarial symbolic execution for detecting concurrency-related cache timing leaks.

Shengjian Guo, Meng Wu, Chao Wang

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Eliminating timing side-channel leaks using program repair.

Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2017

Symbolic execution of programmable logic controller code.

Shengjian Guo, Meng Wu, Chao Wang

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

Conc-iSE: incremental symbolic execution of concurrent software.

Shengjian Guo, Markus Kusano, Chao Wang

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

Assertion guided symbolic execution of multithreaded programs.

Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, Aarti Gupta

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Postconditioned Symbolic Execution.

Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao

Proceedings of the 8th IEEE International Conference on Software Testing, 2015