Rowhammer intensifies

https://rambleed.com/
tl;dr now you can read data from ECC ram.

Could you formalize the whole hardware stack and then make high-level assertions about it, such as, a process cannot read physical memory not belonging to it?