Ribes-González, Jordi, et al. “A Security Model for Randomization-Based Protected Caches”. IACR Transactions on Cryptographic Hardware and Embedded Systems, vol. 2022, no. 3, June 2022, pp. 1-25, doi:10.46586/tches.v2022.i3.1-25.