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

Please use this identifier to cite or link to this item: https://doi.org/10.1145/nnnnnnn.nnnnnnn

DC Field	Value
dc.title	KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.
dc.contributor.author	Wang, Guanhua
dc.contributor.author	Chattopadhyay, Sudipta
dc.contributor.author	Biswas, Arnab Kumar
dc.contributor.author	Mitra, Tulika
dc.contributor.author	Roychoudhury, Abhik
dc.date.accessioned	2020-07-27T09:56:45Z
dc.date.available	2020-07-27T09:56:45Z
dc.date.issued	2020-02-01
dc.identifier.citation	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
dc.identifier.issn	1049331X
dc.identifier.issn	15577392
dc.identifier.uri	https://scholarbank.nus.edu.sg/handle/10635/171739
dc.publisher	Association for Computing Machinery (ACM)
dc.source	Elements
dc.type	Article
dc.date.updated	2020-07-26T21:30:30Z
dc.contributor.department	DEPARTMENT OF COMPUTER SCIENCE
dc.description.doi	10.1145/nnnnnnn.nnnnnnn
dc.description.sourcetitle	ACM Transactions on Software Engineering and Methodology
dc.description.volume	abs/1909.00647
dc.description.issue	3
dc.description.place	United States
dc.published.state	Published
Appears in Collections:	Staff Publications Elements

File	Description	Size	Format	Access Settings	Version
KLEESpectre_TOSEM.pdf	Accepted version	1.19 MB	Adobe PDF	OPEN	Post-print	View/Download

Check