The following publications are possibly variants of this publication:
- Adversarial symbolic execution for detecting concurrency-related cache timing leaksShengjian Guo, Meng Wu, Chao Wang 0001. FSE 2018: 377-388 [doi]
- Exposing cache timing side-channel leaks through out-of-order symbolic executionShengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo 0002, Peng Li, Yueqiang Cheng, Huibo Wang. PACMPL, 4(OOPSLA), 2020. [doi]
- Speculative Symbolic ExecutionYufeng Zhang, Zhenbang Chen, Ji Wang. issre 2012: 101-110 [doi]
- KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic ExecutionGuanhua Wang, Sudipta Chattopadhyay 0001, Arnab Kumar Biswas, Tulika Mitra, Abhik Roychoudhury. TOSEM, 29(3), 2020. [doi]