Quantifying the Information Leak in Cache Attacks through Symbolic Execution. - Sudipta Chattopadhyay 001; Moritz Beck 002; Ahmed Rezine; Andreas Zeller (CoRR, 2016)

Quantifying the information leak in cache attacks via symbolic execution. - Sudipta Chattopadhyay 001; Moritz Beck 002; Ahmed Rezine; Andreas Zeller (MEMOCODE, 2017)

Quantifying the Information Leakage in Cache Attacks via Symbolic Execution. - Sudipta Chattopadhyay 001; Moritz Beck 002; Ahmed Rezine; Andreas Zeller (ACM Trans. Embed. Comput. Syst., 2019)