Quantifying the information leak in cache attacks via symbolic execution.

Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, Andreas Zeller

Browse the full MEMOCODE paper archive.