Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels

Published in In the proceedings of 2018 IEEE Symposium on Security and Privacy (SP 18), 2018

Recommended citation: Meng Xu, Chenxiong Qian, Kangjie Lu, Michael Backes, Taesoo Kim, "Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels." In the proceedings of 2018 IEEE Symposium on Security and Privacy (SP 18), 2018.