Linked Presentation: Mitigating Security Risks in Linux with KLAUS: A Method for Evaluating Patch CorrectnessPET: Prevent Discovered Errors from Being Triggered in the Linux Kernel
