Mitigating Security Risks in Linux with {KLAUS}: A Method for Evaluating Patch Correctness
.
2023. Mitigating Security Risks in Linux with {KLAUS}: A Method for Evaluating Patch Correctness. 32nd USENIX Security Symposium (USENIX Security 23). :4247--4264.