PrISM uses a Sampled History Queue to correlate row samples across windows, solving the non-selection problem in probabilistic RowHammer mitigation and cutting slowdown from 10.7% to 1.5% at threshold 250 versus prior methods.
Flipping bits in memory without accessing them: an experimental study of dram disturbance errors
3 Pith papers cite this work. Polarity classification is still indexing.
years
2026 3representative citing papers
An agent system autoformalizes industry DRAM specifications into DRAMPyML for verification tasks like assertion generation, with DRAMBench dataset released for benchmarking.
Voltage fault injection can suppress UAV autopilot fail-safes, demonstrated through ARMORY simulation and Chip-Whisperer hardware experiments on STM32.
citing papers explorer
-
Loaded Dice: Solving the Non-Selection Problem for Scalable Probabilistic RowHammer Defense
PrISM uses a Sampled History Queue to correlate row samples across windows, solving the non-selection problem in probabilistic RowHammer mitigation and cutting slowdown from 10.7% to 1.5% at threshold 250 versus prior methods.
-
Autoformalizing Memory Specifications with Agents
An agent system autoformalizes industry DRAM specifications into DRAMPyML for verification tasks like assertion generation, with DRAMBench dataset released for benchmarking.
-
Glitch in the Sky: Exploiting Voltage Fault Injection in UAV Flight Controllers
Voltage fault injection can suppress UAV autopilot fail-safes, demonstrated through ARMORY simulation and Chip-Whisperer hardware experiments on STM32.