Shuwen Deng, Wenjie Xiong, Jakub Szefer. Cache timing side-channel vulnerability checking with computation tree logic. In Jakub Szefer, Weidong Shi, Ruby B. Lee, editors, Proceedings of the 7th International Workshop on Hardware and Architectural Support for Security and Privacy, HASP@ISCA 2018, Los Angeles, CA, USA, June 02-02, 2018. ACM, 2018. [doi]
@inproceedings{DengXS18,
title = {Cache timing side-channel vulnerability checking with computation tree logic},
author = {Shuwen Deng and Wenjie Xiong and Jakub Szefer},
year = {2018},
doi = {10.1145/3214292.3214294},
url = {http://doi.acm.org/10.1145/3214292.3214294},
researchr = {https://researchr.org/publication/DengXS18},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 7th International Workshop on Hardware and Architectural Support for Security and Privacy, HASP@ISCA 2018, Los Angeles, CA, USA, June 02-02, 2018},
editor = {Jakub Szefer and Weidong Shi and Ruby B. Lee},
publisher = {ACM},
}