TY  - RPRT
TI  - VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions
AU  - Luis Gerhorst
AU  - Henriette Herzog
AU  - Peter Wägemann
AU  - Maximilian Ott
AU  - Rüdiger Kapitza
AU  - Timo Hönig
PY  - 2025
DO  - 10.1145/3678890.3678907
UR  - https://arxiv.org/abs/2405.00078
ID  - 2405.00078
ER  -