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

Xu, Meng and Qian, Chenxiong and Lu, Kangjie and Backes, Michael and Kim, Taesoo
(2018) Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels.
In: In Proceedings of the 39th IEEE Symposium on Security and Privacy (Oakland). San Francisco, CA, May 2018..
Conference: S&P - IEEE Symposium on Security and Privacy

[img]
Preview
Text
deadline.pdf

Download (381kB) | Preview

Actions

Actions (login required)

View Item View Item