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

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]

@inproceedings{WuLCLMX23,
  title = {Mitigating Security Risks in Linux with KLAUS: A Method for Evaluating Patch Correctness},
  author = {Yuhang Wu and Zhenpeng Lin and Yueqi Chen and Dang K. Le and Dongliang Mu and Xinyu Xing},
  year = {2023},
  url = {https://www.usenix.org/conference/usenixsecurity23/presentation/wu-yuhang},
  researchr = {https://researchr.org/publication/WuLCLMX23},
  cites = {0},
  citedby = {0},
  pages = {4247-4264},
  booktitle = {32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023},
  editor = {Joseph A. Calandrino and Carmela Troncoso},
  publisher = {USENIX Association},
}