This is a slide deck for presenting RowHammer: A Retrospective. It included many details from the original RowHammer paper and provided two case studies about what RowHammer can be used to achieve.
The following papers/articles were used extensively for this presentation.
- Flip Feng Shui: Hammering a Needle in the Software Stack
- This paper proposed a way to attach a Virtual Machine from another virtual machine on the same host, exploiting RowHammer and memory deduplication (Copy-On-Write)
- Exploiting the DRAM rowhammer bug to gain kernel privileges
- This article used RowHammer to 1) Break Google Native Client 2) Gain Kernel privileges on an x86 system by hammering page tables.
These papers were referred to at the end of the presentation as an introduction to analog-level chip verification and analog information flow tracking.
- VeriCoq: A Verilog-to-Coq converter for proof-carrying hardware automation
- Information flow tracking in analog/mixed-signal designs through proof-carrying hardware IP (otherwise known as VeriCoq-Analog)
Some of the slides are borrowed from Jongchan Woo from MIT.
Slide decks provided as follows.
Comments NOTHING