Paper 2015/1191
A Formal Analysis of Prefetching in Profiled Cache-Timing Attacks on Block Ciphers
Chester Rebeiro and Debdeep Mukhopadhyay
Abstract
Formally bounding side-channel leakage is important to bridge the gap between the theory and practice in cryptography. However, bounding side-channel leakages is difficult because leakage in a crypto-system could be from several sources. Moreover the amount of leakage from a source may vary depending on the implementation of the cipher and the form of attack. To formally analyze the security of a crypto-system against a form of attack, it is therefore essential to consider each source of leakage independently. This paper considers data prefetching, which is used in most modern day cache memories to reduce the miss penalty. To the best of our knowledge, we show for the first time that micro-architectural features like prefetching is a major source of leakage in profiled cache-timing attacks. We further quantify the leakage due to important data prefetching algorithms, namely sequential and arbitrary-stride prefetching. The analytical results, with supported experimentation, brings out interesting facts like the effect of placement of tables in memory and the cipher’s implementation on the leakage in profiled cache-timing attacks.
Note: submitted to the Journal of Cryptology (in June 2011)
Metadata
- Available format(s)
-
PDF
- Category
- Foundations
- Publication info
- Published elsewhere. Major revision. Journal of Cryptology
- DOI
- https://doi.org/10.1007/s00145-021-09394-z
- Keywords
- quantifying information leakageformal modelingcache memoriesdata prefetchingprofiled cache-timing attacks
- Contact author(s)
- chetrebeiro @ gmail com
- History
- 2021-06-07: revised
- 2015-12-16: received
- See all versions
- Short URL
- https://ia.cr/2015/1191
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2015/1191,
author = {Chester Rebeiro and Debdeep Mukhopadhyay},
title = {A Formal Analysis of Prefetching in Profiled Cache-Timing Attacks on Block Ciphers},
howpublished = {Cryptology {ePrint} Archive, Paper 2015/1191},
year = {2015},
doi = {https://doi.org/10.1007/s00145-021-09394-z},
url = {https://eprint.iacr.org/2015/1191}
}
