Please use this identifier to cite or link to this item:
https://doi.org/10.1145/nnnnnnn.nnnnnnn
| Title: | KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution. | Authors: | Wang, Guanhua Chattopadhyay, Sudipta Biswas, Arnab Kumar Mitra, Tulika Roychoudhury, Abhik |
Issue Date: | 1-Feb-2020 | Publisher: | Association for Computing Machinery (ACM) | 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 | Source Title: | ACM Transactions on Software Engineering and Methodology | URI: | https://scholarbank.nus.edu.sg/handle/10635/171739 | ISSN: | 1049331X 15577392 |
DOI: | 10.1145/nnnnnnn.nnnnnnn |
| Appears in Collections: | Staff Publications Elements |
Show full item record
Files in This Item:
| File | Description | Size | Format | Access Settings | Version | |
|---|---|---|---|---|---|---|
| KLEESpectre_TOSEM.pdf | Accepted version | 1.19 MB | Adobe PDF | OPEN | Post-print | View/Download |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.