@misc{indiciae2725920991ab, title = {Quantifying the Information Leak in Cache Attacks through Symbolic Execution}, author = {Sudipta Chattopadhyay and Moritz Beck and Ahmed Rezine and Andreas Zeller}, year = {2016}, url = {https://arxiv.org/abs/1611.04426}, note = {Source identifier: 1611.04426} }