2 citations · 3 across the 4 of their papers we have counts for
Showing 2024Show 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.CR2024
Trustworthy confidential virtual machines for the masses
Anna Galanou, Khushboo Bindlish, Luca Preibsch +3
Confidential computing alleviates the concerns of distrustful customers by removing the cloud provider from their trusted computing base and resolves their disincentive to migrate…