TY  - RPRT
TI  - KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution
AU  - Guanhua Wang
AU  - Sudipta Chattopadhyay
AU  - Arnab Kumar Biswas
AU  - Tulika Mitra
AU  - Abhik Roychoudhury
PY  - 2019
UR  - https://arxiv.org/abs/1909.00647
ID  - 1909.00647
ER  -