10 citations · 10 across the 2 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2024★ 2 cited
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…
cs.CR2022★ 10 cited
AnyCall: Fast and Flexible System-Call Aggregation
Luis Gerhorst, Benedict Herzog, Stefan Reif +2
Operating systems rely on system calls to allow the controlled communication of isolated processes with the kernel and other processes. Every system call includes a processor mode…