Quantifying the Information Leakage in Cache Attacks via Symbolic Execution

Sudipta Chattopadhyay 0001, Moritz Beck 0002, Ahmed Rezine, Andreas Zeller. Quantifying the Information Leakage in Cache Attacks via Symbolic Execution. ACM Trans. Embedded Comput. Syst., 18(1), 2019. [doi]

Abstract

Abstract is missing.