Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo 0001. SpecuSym: speculative symbolic execution for cache timing leak detection. In Gregg Rothermel, Doo-Hwan Bae, editors, ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020. pages 1235-1247, ACM, 2020. [doi]
@inproceedings{GuoCLCWW020, title = {SpecuSym: speculative symbolic execution for cache timing leak detection}, author = {Shengjian Guo and Yueqi Chen and Peng Li and Yueqiang Cheng and Huibo Wang and Meng Wu and Zhiqiang Zuo 0001}, year = {2020}, doi = {10.1145/3377811.3380428}, url = {https://doi.org/10.1145/3377811.3380428}, researchr = {https://researchr.org/publication/GuoCLCWW020}, cites = {0}, citedby = {0}, pages = {1235-1247}, booktitle = {ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020}, editor = {Gregg Rothermel and Doo-Hwan Bae}, publisher = {ACM}, isbn = {978-1-4503-7121-6}, }