Preventing Rowhammer Exploits via Low-Cost Domain-Aware Memory Allocation
Anish Saxena, Walter Wang, Alexandros Daglis

TL;DR
Citadel is a low-cost, software-based memory allocator that prevents Rowhammer exploits by creating physically disjoint security domains, supporting thousands of domains with minimal overhead and no performance loss.
Contribution
It introduces Citadel, a novel memory allocator that isolates security domains in disjoint memory regions to prevent Rowhammer attacks, achieving high scalability with low overhead.
Findings
Supports thousands of security domains with 7.4% memory overhead
No performance loss observed in server systems
Outperforms existing domain isolation schemes in overhead and scalability
Abstract
Rowhammer is a hardware security vulnerability at the heart of every system with modern DRAM-based memory. Despite its discovery a decade ago, comprehensive defenses remain elusive, while the probability of successful attacks grows with DRAM density. Hardware-based defenses have been ineffective, due to considerable cost, delays in commercial adoption, and attackers' repeated ability to circumvent them. Meanwhile, more flexible software-based solutions either incur substantial performance and memory capacity overheads, or offer limited forms of protection. Citadel is a new memory allocator design that prevents Rowhammer-initiated security exploits by addressing the vulnerability's root cause: physical adjacency of DRAM rows. Citadel enables creation of flexible security domains and isolates different domains in physically disjoint memory regions, guaranteeing security by design. On a…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsNetwork Security and Intrusion Detection · Advanced Malware Detection Techniques · Security and Verification in Computing
