Anwar, H. (2016). A Probabilistically Analyzable Cache to Estimate Timing Bounds. (Masters thesis, École Polytechnique de Montréal).