VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions

Luis Gerhorst, Henriette Herzog, Peter Wägemann +3

High-performance IO demands low-overhead communication between user- and kernel space. This demand can no longer be fulfilled by traditional system calls. Linux's extended Berkeley…