Cache timing side-channel vulnerability checking with computation tree logic

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]

Authors

Shuwen Deng

This author has not been identified. Look up 'Shuwen Deng' in Google

Wenjie Xiong

This author has not been identified. Look up 'Wenjie Xiong' in Google

Jakub Szefer

This author has not been identified. Look up 'Jakub Szefer' in Google