Rowhammer intensifies

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

>>11
dubs would have prevented this
>>9
how do you use software verification methods to prove hardware? this isn't even something that hardware correctness proof would solve, given that it wouldn't even be covered by the assumptions