BibTeX records: Shravan Narayan

download as .bib file

@inproceedings{DBLP:conf/date/TalpinMNSG19,
  author    = {Jean{-}Pierre Talpin and
               Jean{-}Joseph Marty and
               Shravan Narayan and
               Deian Stefan and
               Rajesh Gupta},
  title     = {Towards verified programming of embedded devices},
  booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
               {DATE} 2019, Florence, Italy, March 25-29, 2019},
  pages     = {1445--1450},
  year      = {2019},
  crossref  = {DBLP:conf/date/2019},
  url       = {https://doi.org/10.23919/DATE.2019.8715067},
  doi       = {10.23919/DATE.2019.8715067},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/TalpinMNSG19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woot/SmithDNBS18,
  author    = {Michael Smith and
               Craig Disselkoen and
               Shravan Narayan and
               Fraser Brown and
               Deian Stefan},
  title     = {Browser history re: visited},
  booktitle = {12th {USENIX} Workshop on Offensive Technologies, {WOOT} 2018, Baltimore,
               MD, USA, August 13-14, 2018.},
  year      = {2018},
  crossref  = {DBLP:conf/woot/2018},
  url       = {https://www.usenix.org/conference/woot18/presentation/smith},
  timestamp = {Mon, 20 Aug 2018 14:07:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/woot/SmithDNBS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BrownNWEJS17,
  author    = {Fraser Brown and
               Shravan Narayan and
               Riad S. Wahby and
               Dawson R. Engler and
               Ranjit Jhala and
               Deian Stefan},
  title     = {Finding and Preventing Bugs in JavaScript Bindings},
  booktitle = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
               CA, USA, May 22-26, 2017},
  pages     = {559--578},
  year      = {2017},
  crossref  = {DBLP:conf/sp/2017},
  url       = {https://doi.org/10.1109/SP.2017.68},
  doi       = {10.1109/SP.2017.68},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/BrownNWEJS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2019,
  editor    = {J{\"{u}}rgen Teich and
               Franco Fummi},
  title     = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
               {DATE} 2019, Florence, Italy, March 25-29, 2019},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8704855/proceeding},
  isbn      = {978-3-9819263-2-3},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/woot/2018,
  editor    = {Christian Rossow and
               Yves Younan},
  title     = {12th {USENIX} Workshop on Offensive Technologies, {WOOT} 2018, Baltimore,
               MD, USA, August 13-14, 2018},
  publisher = {{USENIX} Association},
  year      = {2018},
  url       = {https://www.usenix.org/conference/woot18},
  timestamp = {Mon, 20 Aug 2018 14:07:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/woot/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sp/2017,
  title     = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
               CA, USA, May 22-26, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7957740/proceeding},
  isbn      = {978-1-5090-5533-3},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics