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.

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

A Secure Scan Method for Crypto Chips

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

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

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

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

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

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

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

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

Model Checking for Microarchitectural Data Sampling Security

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

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

SAT based error tolerant algebraic side channel attacks

Janus: An Uncertain Cache Architecture to Cope with Side Channel Attacks

Low power cache architecture with security mechanism

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

SpecSafe: detecting cache side channels in a speculative world

Hardware security and reliability verification based on fault propagation model

Information Leakage Attacks Exploiting Cache Replacement in Commercial Processors

Side-Channel Information Leakage Analysis And Countermeasures In An Embedded Cpu Microarchitecture