BibTeX record conf/uss/EckertB0SKV18

download as .bib file

@inproceedings{DBLP:conf/uss/EckertB0SKV18,
  author    = {Moritz Eckert and
               Antonio Bianchi and
               Ruoyu Wang and
               Yan Shoshitaishvili and
               Christopher Kruegel and
               Giovanni Vigna},
  title     = {HeapHopper: Bringing Bounded Model Checking to Heap Implementation
               Security},
  booktitle = {27th {USENIX} Security Symposium, {USENIX} Security 2018, Baltimore,
               MD, USA, August 15-17, 2018.},
  pages     = {99--116},
  year      = {2018},
  crossref  = {DBLP:conf/uss/2018},
  url       = {https://www.usenix.org/conference/usenixsecurity18/presentation/eckert},
  timestamp = {Mon, 20 Aug 2018 15:16:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/EckertB0SKV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uss/2018,
  editor    = {William Enck and
               Adrienne Porter Felt},
  title     = {27th {USENIX} Security Symposium, {USENIX} Security 2018, Baltimore,
               MD, USA, August 15-17, 2018},
  publisher = {{USENIX} Association},
  year      = {2018},
  url       = {https://www.usenix.org/conference/usenixsecurity18},
  timestamp = {Mon, 20 Aug 2018 15:16:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier