@misc{GrossTiwariHammer2018,
  author    = {Sascha Gross and Abhishek Tiwari and Christian Hammer},
  title     = {PlAnalyzer},
  booktitle = {Computer Security(ESORICS 2018), PT II},
  volume    = {11099},
  isbn      = {978-3-319-98989-1},
  issn      = {0302-9743},
  doi       = {10.1007/978-3-319-98989-1_3},
  institution = {Hasso-Plattner-Institut f{\"u}r Digital Engineering GmbH},
  type      = {other},
  pages     = {41 -- 59},
  year        = {2018},
}