Randomized Caches Can Be Pretty Useful to Hard Real-Time Systems