SpecuSym: speculative symbolic execution for cache timing leak detection.

Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo

Browse the full ICSE paper archive.