Shengjian Guo

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Exposing cache timing side-channel leaks through out-of-order symbolic execution.
Proc. ACM Program. Lang., 2020

MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs.
Proceedings of the 29th USENIX Security Symposium, 2020

SAVIOR: Towards Bug-Driven Hybrid Testing.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

SpecuSym: speculative symbolic execution for cache timing leak detection.
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.
Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

2018
Eliminating Path Redundancy via Postconditioned Symbolic Execution.
IEEE Trans. Software Eng., 2018

Adversarial symbolic execution for detecting concurrency-related cache timing leaks.
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.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2017
Symbolic execution of programmable logic controller code.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016
Conc-iSE: incremental symbolic execution of concurrent software.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015
Assertion guided symbolic execution of multithreaded programs.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Postconditioned Symbolic Execution.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015


  Loading...