@inproceedings{Guo_2020,
author = {Guo, Shengjian and Chen, Yueqi and Li, Peng and Cheng, Yueqiang and Wang, Huibo and Wu, Meng and Zuo, Zhiqiang},
booktitle = {Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering},
collection = {ICSE ’20},
doi = {10.1145/3377811.3380428},
month = {June},
pages = {1235–1247},
publisher = {ACM},
series = {ICSE ’20},
title = {SpecuSym: speculative symbolic execution for cache timing leak detection},
url = {http://dx.doi.org/10.1145/3377811.3380428},
year = {2020}
}
WDYT? Is this publication in scope?
URL: https://www.semanticscholar.org/paper/04614f9ae7c9276d00e4d381d3452d9e0e213a33 Google Scholar: https://scholar.google.de/scholar?hl=en&q=10.1145/3377811.3380428