Quantifying the information leak in cache attacks via symbolic execution.

Sudipta Chattopadhyay Moritz Beck Ahmed Rezine Andreas Zeller

Published in: MEMOCODE (2017)

Keyphrases

information flow
case study
data sets
high level
software engineering
general purpose
genetic programming
private information