Abstract:Cryptographic devices are vulnerable to side-channel attacks, which have attracted broad attention in the hardware security field. The side-channel analysis framework proposed at Eurocrypt 2009 has been widely adopted in academia, containing key elements such as points of interest, leakage models, distinguishers, and security metrics. This classical framework, however, is not intuitively compatible with recent micro-architectural attacks such as cache attacks, therefore, few attempts have been made to link them. In this paper, we extend the classical side-channel analysis framework and migrate its ideas to access-driven cache attacks. We find that cache attacks can be effectively incorporated into this framework. Specifically, we propose a leakage model called cache access pattern vector according to the cache timing leakage characteristics. Furthermore, we propose data preprocessing schemes such as noise reduction, dimensionality reduction, and vector expansion to implement efficient attacks. Subsequently, we proposed seven distinguishers in three categories: difference of means-based analysis, vector distance-based analysis, and mutual information-based analysis. Moreover, we attacked the last round of the AES fast software implementation algorithm based on the Chipyard platform. According to the experimental results, all proposed methods can successfully extract the key, and five of them are comparable to mainstream cache analysis in attack efficiency. Finally, we evaluate the five efficient distinguishers under three different cache micro-architectures using guessing entropy. Based on the experimental environment of this paper, vector distance-based distinguishers have the best attack efficiency, and the difference of mean-based analysis has the worst. Surprisingly, the most general mutual information-based attacks can achieve excellent medium results in a few attack rounds without the help of static analysis tools. Meanwhile, the experimental results demonstrate that cache micro-architecture directly impacts the attack effect, in which the smaller cache line size benefits the attacks, while the random replacement policy increases the noise and difficulty of the attacks.

CacheGuard: A Behavior Model Checker for Cache Timing Side-Channel Security: (invited Paper)

A Secure Scan Method for Crypto Chips

A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures

SCAFinder: Formal Verification of Cache Fine-Grained Features for Side Channel Detection

SpecSafe: detecting cache side channels in a speculative world

Protecting Cache States Against Both Speculative Execution Attacks and Side-channel Attacks

Detecting and Mitigating Cache Side Channel Threats on Intel SGX

Seeds of SEED: H 2 Cache: Building a Hybrid Randomized Cache Hierarchy for Mitigating Cache Side-Channel Attacks

Extending the classical side-channel analysis framework to access-driven cache attacks

A software approach to defeating side channels in last-level caches

MDASCA: an enhanced algebraic side-channel attack for error tolerance and new leakage model exploitation

Survey of CPU Cache-Based Side-Channel Attacks: Systematic Analysis, Security Models, and Countermeasures

Model Checking for Microarchitectural Data Sampling Security

Towards A Metrics Suite for Evaluating Cache Side-Channel Vulnerability: Case Studies on An Open-Source RISC-V Processor

CacheQL: Quantifying and Localizing Cache Side-Channel Vulnerabilities in Production Software

A Survey of Side-Channel Attacks in Context of Cache -- Taxonomies, Analysis and Mitigation

Optimization and Amplification of Cache Side Channel Signals

Prefender: A Prefetching Defender Against Cache Side Channel Attacks as a Pretender

A Benchmark Suite for Evaluating Caches' Vulnerability to Timing Attacks

Locality Based Cache Side-channel Attack Detection

Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation