Yuhang Wu, Zhenpeng Lin, Yueqi Chen, Dang K. Le, Dongliang Mu, Xinyu Xing. Mitigating Security Risks in Linux with KLAUS: A Method for Evaluating Patch Correctness. In Joseph A. Calandrino, Carmela Troncoso, editors, 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023. pages 4247-4264, USENIX Association, 2023. [doi]
Abstract is missing.