TY  - RPRT
TI  - On Kernel's Safety in the Spectre Era (Extended Version)
AU  - Davide Davoli
AU  - Martin Avanzini
AU  - Tamara Rezk
PY  - 2025
UR  - https://arxiv.org/abs/2406.07278
ID  - 2406.07278
ER  -