V
VeriFence
See https://sys.cs.fau.de/verifence for the Code and Data of "VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions" presented at RAID'24 by Gerhorst et al.
See https://sys.cs.fau.de/verifence for the Code and Data of "VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions" presented at RAID'24 by Gerhorst et al.