KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.

10.1145/nnnnnnn.nnnnnnn

Saved in:
Bibliographic Details
Main Authors: Wang, Guanhua, Chattopadhyay, Sudipta, Biswas, Arnab Kumar, Mitra, Tulika, Roychoudhury, Abhik
Other Authors: DEPARTMENT OF COMPUTER SCIENCE
Format: Article
Published: Association for Computing Machinery (ACM) 2020
Online Access:https://scholarbank.nus.edu.sg/handle/10635/171739
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore

Internet

https://scholarbank.nus.edu.sg/handle/10635/171739

Similar Items