Linked Presentation: Mitigating Security Risks in Linux with KLAUS: A Method for Evaluating Patch Correctness
