Mechanised operational semantics of Rowhammer

Martin Berger, Amir Naseredini

Rowhammer is a hardware vulnerability in dynamic random-access memory (DRAM) in which repeated accesses to aggressor rows can induce bit-flips in victim rows. This phenomenon viola…