BibTeX record conf/uss/WangPWYJ18

download as .bib file

@inproceedings{DBLP:conf/uss/WangPWYJ18,
  author       = {Shiqi Wang and
                  Kexin Pei and
                  Justin Whitehouse and
                  Junfeng Yang and
                  Suman Jana},
  editor       = {William Enck and
                  Adrienne Porter Felt},
  title        = {Formal Security Analysis of Neural Networks using Symbolic Intervals},
  booktitle    = {27th {USENIX} Security Symposium, {USENIX} Security 2018, Baltimore,
                  MD, USA, August 15-17, 2018},
  pages        = {1599--1614},
  publisher    = {{USENIX} Association},
  year         = {2018},
  url          = {https://www.usenix.org/conference/usenixsecurity18/presentation/wang-shiqi},
  timestamp    = {Mon, 01 Feb 2021 08:43:20 +0100},
  biburl       = {https://dblp.org/rec/conf/uss/WangPWYJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics