BibTeX record conf/sp/Bose0C0KV22

download as .bib file

@inproceedings{DBLP:conf/sp/Bose0C0KV22,
  author       = {Priyanka Bose and
                  Dipanjan Das and
                  Yanju Chen and
                  Yu Feng and
                  Christopher Kruegel and
                  Giovanni Vigna},
  title        = {{SAILFISH:} Vetting Smart Contract State-Inconsistency Bugs in Seconds},
  booktitle    = {43rd {IEEE} Symposium on Security and Privacy, {SP} 2022, San Francisco,
                  CA, USA, May 22-26, 2022},
  pages        = {161--178},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/SP46214.2022.9833721},
  doi          = {10.1109/SP46214.2022.9833721},
  timestamp    = {Sat, 30 Sep 2023 09:57:15 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/Bose0C0KV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics