Guanhua Wang, Sudipta Chattopadhyay 0001, Arnab Kumar Biswas, Tulika Mitra, Abhik Roychoudhury. KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution. ACM Transactions on Software Engineering Methodology, 29(3), 2020. [doi]
@article{WangCBMR20,
title = {KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution},
author = {Guanhua Wang and Sudipta Chattopadhyay 0001 and Arnab Kumar Biswas and Tulika Mitra and Abhik Roychoudhury},
year = {2020},
doi = {10.1145/3385897},
url = {https://doi.org/10.1145/3385897},
researchr = {https://researchr.org/publication/WangCBMR20},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Software Engineering Methodology},
volume = {29},
number = {3},
}