Detecting Kernel Refcount Bugs with Two-Dimensional Consistency Checking

Xin Tan, Yuan Zhang 0009, Xiyu Yang, Kangjie Lu, Min Yang 0002. Detecting Kernel Refcount Bugs with Two-Dimensional Consistency Checking. In Michael Bailey, Rachel Greenstadt, editors, 30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021. pages 2471-2488, USENIX Association, 2021. [doi]

Authors

Xin Tan

This author has not been identified. Look up 'Xin Tan' in Google

Yuan Zhang 0009

This author has not been identified. Look up 'Yuan Zhang 0009' in Google

Xiyu Yang

This author has not been identified. Look up 'Xiyu Yang' in Google

Kangjie Lu

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

Min Yang 0002

This author has not been identified. Look up 'Min Yang 0002' in Google