Search dblp for Publications

export results for "Systematic comparison of symbolic execution systems: Intermediate representation and its generation"

 download as .bib file

@inproceedings{DBLP:conf/acsac/PoeplauF19,
  author       = {Sebastian Poeplau and
                  Aur{\'{e}}lien Francillon},
  editor       = {David Balenson},
  title        = {Systematic comparison of symbolic execution systems: intermediate
                  representation and its generation},
  booktitle    = {Proceedings of the 35th Annual Computer Security Applications Conference,
                  {ACSAC} 2019, San Juan, PR, USA, December 09-13, 2019},
  pages        = {163--176},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3359789.3359796},
  doi          = {10.1145/3359789.3359796},
  timestamp    = {Tue, 26 Nov 2019 09:46:34 +0100},
  biburl       = {https://dblp.org/rec/conf/acsac/PoeplauF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.