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
id sg-nus-scholar.10635-171739
record_format dspace
spelling sg-nus-scholar.10635-1717392024-11-14T09:16:36Z KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution. Wang, Guanhua Chattopadhyay, Sudipta Biswas, Arnab Kumar Mitra, Tulika Roychoudhury, Abhik DEPARTMENT OF COMPUTER SCIENCE Prof Abhik Roychoudhury 10.1145/nnnnnnn.nnnnnnn ACM Transactions on Software Engineering and Methodology abs/1909.00647 3 United States 2020-07-27T09:56:45Z 2020-07-27T09:56:45Z 2020-02-01 2020-07-26T21:30:30Z Article Wang, Guanhua, Chattopadhyay, Sudipta, Biswas, Arnab Kumar, Mitra, Tulika, Roychoudhury, Abhik (2020-02-01). KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.. ACM Transactions on Software Engineering and Methodology abs/1909.00647 (3). ScholarBank@NUS Repository. https://doi.org/10.1145/nnnnnnn.nnnnnnn 1049331X 15577392 https://scholarbank.nus.edu.sg/handle/10635/171739 Association for Computing Machinery (ACM) Elements
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
description 10.1145/nnnnnnn.nnnnnnn
author2 DEPARTMENT OF COMPUTER SCIENCE
author_facet DEPARTMENT OF COMPUTER SCIENCE
Wang, Guanhua
Chattopadhyay, Sudipta
Biswas, Arnab Kumar
Mitra, Tulika
Roychoudhury, Abhik
format Article
author Wang, Guanhua
Chattopadhyay, Sudipta
Biswas, Arnab Kumar
Mitra, Tulika
Roychoudhury, Abhik
spellingShingle Wang, Guanhua
Chattopadhyay, Sudipta
Biswas, Arnab Kumar
Mitra, Tulika
Roychoudhury, Abhik
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.
author_sort Wang, Guanhua
title KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.
title_short KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.
title_full KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.
title_fullStr KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.
title_full_unstemmed KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.
title_sort kleespectre: detecting information leakage through speculative cache attacks via symbolic execution.
publisher Association for Computing Machinery (ACM)
publishDate 2020
url https://scholarbank.nus.edu.sg/handle/10635/171739
_version_ 1821180923052294144