Title :
Micro-Architectural Analysis of Time-Driven Cache Attacks: Quest for the Ideal Implementation
Author :
Rebeiro, Chester ; Mukhopadhyay, Debdeep
Author_Institution :
Comput. Sci. Dept., Columbia Univ., New York, NY, USA
Abstract :
Time-driven attacks on the data cache are a lethal form of cryptanalytic attacks for block-ciphers implemented with look-up tables. The difference of means (DOM) observed in the execution time of a block cipher is often used as a distinguisher to glean information about the secret key. The root cause for the distinguisher to work has long been attributed to the number of cache-misses that occur during the encryption. In this paper, we show that micro-architectural acceleration features in cache memories that are used to reduce miss-penalty (such as pipelining, parallelism, out-of-order, and non-blocking memory accesses) contribute significantly to the leakage. We develop a framework to analyze the DOM distinguisher considering architectural as well as micro-architectural acceleration components in the cache memory. Our findings, which are experimentally verified, show that the two contributing leakage factors (namely the number of cache misses and the micro-architectural acceleration features) affect the DOM in opposite directions. One leakage source results in a positive DOM while the other causes a negative DOM. This opposing characteristic of the leakages makes it feasible to implement block ciphers in a way such that the two leakages cancel each other, thus leading to implementations with higher resistance against time-driven cache-attacks.
Keywords :
cache storage; private key cryptography; table lookup; DOM; DOM distinguisher; block cipher; cache memory; cryptanalytic attacks; data cache; difference-of-mean; encryption; leakage factors; leakage source; look-up tables; microarchitectural acceleration components; microarchitectural analysis; secret key; time-driven cache attack; Acceleration; Cache memory; Ciphers; Encryption; Mathematical model; Table lookup; Timing; Cache timing attacks; difference of means; formal analysis; microarchitecture of cache memories;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.2013.212