[论文解读] Understanding Rowhammer Attacks through the Lens of a Unified Reference Framework

Xiaoxuan Lou, Fan Zhang+4 more|arXiv (Cornell University)|Jan 11, 2019

Security and Verification in Computing参考文献 49被引用 6

一句话总结

本文提出了一套统一的参考框架，通过识别三个核心要素——攻击源、预期影响和方法论——系统地分析行锤攻击，每个要素均由可重用原原子组成。该框架可对现有攻击进行分类，揭示新的攻击向量（如通过磁盘缓存实现的表达性行锤攻击），并指导主动防御机制的开发。

ABSTRACT

Rowhammer is a hardware-based bug that allows the attacker to modify the data in the memory without accessing it, just repeatedly and frequently accessing (or hammering) physically adjacent memory rows. So that it can break the memory isolation between processes, which is seen as the cornerstone of modern system security, exposing the sensitive data to unauthorized and imperceptible corruption. A number of previous works have leveraged the rowhammer bug to achieve various critical attacks. In this work, we propose a unified reference framework for analyzing the rowhammer attacks, indicating three necessary factors in a practical rowhammer attack: the attack origin, the intended implication and the methodology. Each factor includes multiple primitives, the attacker can select primitives from three factors to constitute an effective attack. In particular, the methodology further summarizes all existing attack techniques, that are used to achieve its three primitives: Location Preparation (LP), Rapid Hammering (RH), and Exploit Verification (EV). Based on the reference framework, we analyze all previous rowhammer attacks and corresponding countermeasures. Our analysis shows that how primitives in different factors are combined and used in previous attacks, and thus points out new possibility of rowhammer attacks, enabling proactive prevention before it causes harm. Under the framework, we propose a novel expressive rowhammer attack that is capable of accumulating injected memory changes and achieving rich attack semantics. We conclude by outlining future research directions.

研究动机与目标

• 为应对行锤攻击日益增长的复杂性和多样性，提供一个系统化的分析框架。
• 识别并分类所有行锤攻击共有的基本组件——攻击源、预期影响和方法论。
• 通过分析尚未使用或未探索的原原子组合，使研究人员能够发现新的攻击组合。
• 提出一种新型表达性行锤攻击，能够累积位翻转以实现更丰富的利用语义。
• 通过结构化的分析视角，指导未来在进攻技术与防御对策方面的研究。

提出的方法

• 提出一个三因素框架：攻击源（锤击的来源）、预期影响（攻击的目标）和方法论（执行策略）。
• 将方法论分解为三个核心原原子：位置准备（LP）、快速锤击（RH）和利用验证（EV）。
• 引入一种新原原子——存储错误（SE），以实现跨多个内存位置的位翻转累积。
• 利用该框架分析并分类了20余种现有行锤攻击及其对应的对策。
• 将磁盘缓存用作持久化机制，以实现能跨多次位翻转保持状态的表达性攻击。
• 应用该框架识别当前防御中的漏洞，并提出改进建议，如概率刷新机制和带保护行的内存隔离。

实验结果

研究问题

• RQ1 所有行锤攻击背后共有的结构化组件是什么？
• RQ2 如何通过统一框架系统性地分类和理解现有行锤攻击技术？
• RQ3 当探索此前未使用的原原子组合时，会涌现出哪些新的攻击向量？
• RQ4 能否累积位翻转变化，以实现超越单一位翻转的更表达性、更强大的攻击？
• RQ5 该框架如何指导更有效、更具前瞻性的防御对策的开发？

主要发现

• 统一框架成功通过将攻击分解为攻击源、预期影响和方法论，对所有主要行锤攻击进行了分类。
• 该框架揭示，现有攻击主要依赖单一位翻转，限制了其表达能力和持久性。
• 引入存储错误（SE）原原子后，可实现一种新颖的表达性行锤攻击，利用磁盘缓存作为持久化层来累积位翻转。
• 该框架指出，当前对策如保护行和概率刷新虽有效但不完整，尤其在应对复杂或基于网络的攻击时。
• 分析表明，将此前未使用的原原子组合（如基于网络的攻击源与表达性语义结合）可开辟新的攻击面。
• 该框架使研究人员能够主动识别尚未探索的攻击组合，并在攻击出现前设计针对性防御。