paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Protecting Page Tables from RowHammer Attacks using Monotonic Pointers in DRAM True-Cells

利用 DRAM true-cell 中的单调指针保护页表免受 RowHammer 攻击
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 1/10 · 该论文研究 DRAM 单元类型与 RowHammer 攻击下的页表保护,属于硬件安全/操作系统内存管理方向,与用户的 PL→AI、AI→PL、浮点程序分析和贝叶斯程序分析等核心方向没有实质交叉。虽然包含形式化证明与 Linux 内核实现,但这只符合部分研究偏好,不构成方向匹配。引用 41 inbox
Xin-Chuan Wu, Timothy Sherwood, Frederic T. Chong, Yanjing Li
crossref: 2026-09-12

AI 速览

一句话:提出 DRAM 单元类型感知的内存分配,通过为页表指针建立单调性,抵御基于页表的 RowHammer 提权攻击。

RowHammer 可通过位翻转绕过内存保护并提权,页表是其主要目标。本文利用物理 DRAM 单元的不对称性:true-cell 漏电导致 1→0 错误,anti-cell 则 0→1。作者仅修改 18 行 OS 内存分配器代码,实现单元类型感知分配,使同一对象只使用一种单元,获得单调性并限制错误方向。将该属性用于页表指针后,页表被放在低水位线以上的 true-cell 中。基于既有 RowHammer 位翻转统计,作者证明方案可靠且完备:仅约 2.04×10^5 个系统中 1 个仍脆弱,脆弱系统预期攻击时间为 231 天;Linux 内核原型表明该跨层方案避免了能耗、硬件改动、性能开销和软件复杂度。

问题
RowHammer 位翻转可破坏页表并绕过内存保护,导致权限提升;现有防御存在能耗、硬件改动、性能或软件复杂度问题。
方法
识别 DRAM true-cell/anti-cell 的漏电错误方向不对称,修改 OS 内存分配器 18 行以实现单元类型感知分配,并为页表指针引入单调性属性,将页表置于 true-cell。
评估
用已有 RowHammer 位翻转统计进行可靠性与完备性证明,并在修改后的 Linux 内核原型上测量应用性能。
原文摘要(Abstract)

We identify an important asymmetry in physical DRAM cells that can be utilized to prevent RowHammer attacks by adding 18 lines of code to modify the OS memory allocator. Our small modification has a powerful impact on RowHammer's ability to bypass memory protection mechanisms and achieve a successful attack. Specifically, we identify two types of DRAM cells: true-cells and anti-cells. In a true-cell, a leaking capacitor will induce a '1'->'0' error, while in anti-cells, errors flow from '0'->'1'. We then create DRAM cell-type-aware memory allocation which enables a "monotonicity property" for a given data object. The monotonicity property is able to counter RowHammer attacks (and, to a broader extent, other memory attacks) by allocating only one type of cells for an object, thereby restricting error direction. We apply the monotonicity property to pointers in page tables by placing all page tables in true-cells that are above a "low water mark". We show that this approach successfully defends against page-table-based privilege escalation RowHammer attacks. Using established RowHammer-induced bit-flip error statistics, we provide proofs of the soundness and completeness of our technique and show that with our technique only one out of 2.04x10 5 systems is vulnerable to the attack, and the expected attack time on the vulnerable system is 231 days. We also provide application performance results from prototypes implemented through modifications to Linux kernels. Our cross-layer approach avoids undesirable energy cost, hardware changes, performance overhead, and high software complexity associated with prior countermeasures.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot4842,
  title = {Protecting Page Tables from RowHammer Attacks using Monotonic Pointers in DRAM True-Cells},
  author = {Xin-Chuan Wu and Timothy Sherwood and Frederic T. Chong and Yanjing Li},
  booktitle = {ASPLOS},
  year = {2019},
  doi = {10.1145/3297858.3304039}
}