Quantifying the Information Leak in Cache Attacks through Symbolic Execution

Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine +1

Cache timing attacks allow attackers to infer the properties of a secret execution by observing cache hits and misses. But how much information can actually leak through such attac…