BibTeX record conf/eurosp/CalzavaraGM16

download as .bib file

@inproceedings{DBLP:conf/eurosp/CalzavaraGM16,
  author       = {Stefano Calzavara and
                  Ilya Grishchenko and
                  Matteo Maffei},
  title        = {HornDroid: Practical and Sound Static Analysis of Android Applications
                  by {SMT} Solving},
  booktitle    = {{IEEE} European Symposium on Security and Privacy, EuroS{\&}P
                  2016, Saarbr{\"{u}}cken, Germany, March 21-24, 2016},
  pages        = {47--62},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/EuroSP.2016.16},
  doi          = {10.1109/EUROSP.2016.16},
  timestamp    = {Tue, 29 Dec 2020 18:35:38 +0100},
  biburl       = {https://dblp.org/rec/conf/eurosp/CalzavaraGM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics