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.
Abstract is missing.