On Kernel's Safety in the Spectre Era (And KASLR is Formally Dead).

Davide Davoli, Martin Avanzini, Tamara Rezk

Browse the full CCS paper archive.