@conference{DAR:CCS:24,
 author    = {Davide Davoli and Martin Avanzini and Tamara Rezk},
 title     = {On Kernel's Safety in the Spectre Era (And KASLR is Formally Dead)},
 year      = {2024},
 booktitle = {31st ACM Conference on Computer and Communications Security (CCS)},
 pages     = {1--15},
 note      = {accepted},
 keywords  = {conference}
}