Chester Rebeiro, Debdeep Mukhopadhyay: A Formal Analysis of Prefetching in Profiled Cache-Timing Attacks on Block Ciphers. IACR Cryptol. ePrint Arch. 2015: 1191 (2015)