KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.
10.1145/nnnnnnn.nnnnnnn
Saved in:
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 |
Similar Items
-
oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis.
by: Wang, Guanhua, et al.
Published: (2023) -
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints
by: Shiqi, Shen, et al.
Published: (2019) -
Accurate timing analysis by modeling caches, speculation and their interaction
by: Li, X., et al.
Published: (2013) -
Partial solution based constraint solving cache in symbolic execution
by: SHUAI, Ziqi, et al.
Published: (2024) -
Modeling control speculation for timing analysis
by: Li, X., et al.
Published: (2013)