Check It Again: Detecting Lacking-Recheck Bugs in OS Kernels

Wenwen Wang, Kangjie Lu, Pen-Chung Yew. Check It Again: Detecting Lacking-Recheck Bugs in OS Kernels. In David Lie, Mohammad Mannan, Michael Backes 0001, Xiaofeng Wang 0001, editors, Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018. pages 1899-1913, ACM, 2018. [doi]

Authors

Wenwen Wang

This author has not been identified. Look up 'Wenwen Wang' in Google

Kangjie Lu

This author has not been identified. Look up 'Kangjie Lu' in Google

Pen-Chung Yew

This author has not been identified. Look up 'Pen-Chung Yew' in Google