SECloud: Binary Analyzing Using Symbolic Execution in the Cloud

Cite this paper

@article{Zhou2013SECloudBA, title={SECloud: Binary Analyzing Using Symbolic Execution in the Cloud}, author={Lin Zhou and Shuitao Gan and Xiaojun Qin and Wenbao Han}, journal={2013 International Conference on Advanced Cloud and Big Data}, year={2013}, pages={58-63} }