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]
Abstract is missing.