Are Randomized Caches Truly Random? Formal Analysis of Randomized-Partitioned Caches