Jian Liu, Lin Yi, Weiteng Chen, Chengyu Song, Zhiyun Qian, Qiuping Yi. LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution. In Kevin R. B. Butler, Kurt Thomas, editors, 31st USENIX Security Symposium, USENIX Security 2022, Boston, MA, USA, August 10-12, 2022. pages 125-142, USENIX Association, 2022. [doi]
@inproceedings{LiuYCSQY22,
title = {LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution},
author = {Jian Liu and Lin Yi and Weiteng Chen and Chengyu Song and Zhiyun Qian and Qiuping Yi},
year = {2022},
url = {https://www.usenix.org/conference/usenixsecurity22/presentation/liu-jian},
researchr = {https://researchr.org/publication/LiuYCSQY22},
cites = {0},
citedby = {0},
pages = {125-142},
booktitle = {31st USENIX Security Symposium, USENIX Security 2022, Boston, MA, USA, August 10-12, 2022},
editor = {Kevin R. B. Butler and Kurt Thomas},
publisher = {USENIX Association},
isbn = {978-1-939133-31-1},
}