BibTeX record conf/uss/LiuYCSQY22

download as .bib file

@inproceedings{DBLP:conf/uss/LiuYCSQY22,
  author       = {Jian Liu and
                  Lin Yi and
                  Weiteng Chen and
                  Chengyu Song and
                  Zhiyun Qian and
                  Qiuping Yi},
  editor       = {Kevin R. B. Butler and
                  Kurt Thomas},
  title        = {LinKRID: Vetting Imbalance Reference Counting in Linux kernel with
                  Symbolic Execution},
  booktitle    = {31st {USENIX} Security Symposium, {USENIX} Security 2022, Boston,
                  MA, USA, August 10-12, 2022},
  pages        = {125--142},
  publisher    = {{USENIX} Association},
  year         = {2022},
  url          = {https://www.usenix.org/conference/usenixsecurity22/presentation/liu-jian},
  timestamp    = {Sun, 03 Sep 2023 14:21:22 +0200},
  biburl       = {https://dblp.org/rec/conf/uss/LiuYCSQY22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics