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.

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

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

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

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

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

Optimization and Amplification of Cache Side Channel Signals

Lightweight Hardware-Based Cache Side-Channel Attack Detection for Edge Devices (Edge-CaSCADe)

Detecting and Mitigating Cache Side Channel Threats on Intel SGX

SpecSafe: detecting cache side channels in a speculative world

Flush-reload cache timing attack on SM2 digital signature algorithm

Exploiting the Incomplete Diffusion Feature: A Specialized Analytical Side-Channel Attack Against the Aes and Its Application to Microcontroller Implementations

Adversarial Prefetch: New Cross-Core Cache Side Channel Attacks

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

SpectreCheck: an Approach to Detecting Speculative Execution Side Channels in Data Cache

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

SAT based error tolerant algebraic side channel attacks

New Cross-Core Cache-Agnostic and Prefetcher-based Side-Channels and Covert-Channels

Leveraging Hardware Transactional Memory for Cache Side-Channel Defenses.

Efficient Flush-Reload Cache Attack on Scalar Multiplication Based Signature Algorithm

Leaks or Not: A Framework for Evaluating Cache Timing Side Channel Attacks in SGX.

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