A formal analysis of prefetching in profiled cache-timing attacks on block ciphers (Q2043316)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A formal analysis of prefetching in profiled cache-timing attacks on block ciphers
scientific article

    Statements

    A formal analysis of prefetching in profiled cache-timing attacks on block ciphers (English)
    0 references
    0 references
    0 references
    30 July 2021
    0 references
    In this paper, the authors investigate leakage in cryptosystem from several sources independently and consider data prefetching, which is used in most modern-day cache memories to reduce miss penalty. They construct a framework that would help computer architects theoretically gauge the impact of a data prefetcher in time-driven cache attacks early in the design phase. The framework computes leakage due to the prefetcher using a metric based on the Kullback-Leibler transformation. They use the framework to analyze two commonly used prefetching algorithms, namely sequential and arbitrary-stride prefetching. These form the basis of several other prefetching algorithms. Further, they have demonstrated its use by designing a new prefetching algorithm called even-odd prefetcher that does not have leakage in time-driven cache attacks. This work is novel and interesting for researchers working in this area.
    0 references
    0 references
    quantifying information leakage
    0 references
    formal modeling
    0 references
    cache memories
    0 references
    data prefetching
    0 references
    block ciphers
    0 references
    profiled time-driven cache attacks
    0 references

    Identifiers