Detecting Kernel Refcount Bugs with Two-Dimensional Consistency Checking

Authors: 

Xin Tan, Yuan Zhang, and Xiyu Yang, Fudan University; Kangjie Lu, University of Minnesota; Min Yang, Fudan University

Abstract: 

This paper is under embargo and will be released on the first day of the symposium.

BibTeX
@inproceedings {263897,
title = {Detecting Kernel Refcount Bugs with Two-Dimensional Consistency Checking},
booktitle = {30th {USENIX} Security Symposium ({USENIX} Security 21)},
year = {2021},
address = {Vancouver, B.C.},
url = {https://www.usenix.org/conference/usenixsecurity21/presentation/tan},
publisher = {{USENIX} Association},
month = aug,
}