“A Security Model for Randomization-Based Protected Caches”. 2022. IACR Transactions on Cryptographic Hardware and Embedded Systems 2022 (3): 1-25. https://doi.org/10.46586/tches.v2022.i3.1-25.