@inproceedings{WenzlRoesslerPuhm,
  author    = {Wenzl, Matthias and R{\"o}ssler, Peter and Puhm, Andreas},
  title     = {Checking Application-level Properties Using Assertion Synthesis},
  series = {Proceedings of the ASME/IEEE International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference, August 18-21, 2019, Anaheim, CA, USA},
  booktitle = {Proceedings of the ASME/IEEE International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference, August 18-21, 2019, Anaheim, CA, USA},
  pages     = {9},
  subject      = {Assertion-based Verification},
  language  = {en}
}
@article{WenzlMerzdovnikWeippl,
  author    = {Wenzl, Matthias and Merzdovnik, Georg and Weippl, Edgar},
  title     = {ISaFe - Injecting Security Features into Constrained Embedded Firmware},
  series = {ERCIM News},
  volume    = {2019},
  journal   = {ERCIM News},
  number    = {119 (2019)},
  pages     = {25 -- 26},
  subject      = {Binary rewriting},
  language  = {en}
}
@article{WenzlMerzdovnikUllrichetal.,
  author    = {Wenzl, Matthias and Merzdovnik, Georg and Ullrich, Johann and Weippl, Edgar},
  title     = {From Hack to Elaborate Technique - A Survey on Binary Rewriting},
  series = {ACM Computing Surveys (CSUR)},
  volume    = {Volume 52},
  journal   = {ACM Computing Surveys (CSUR)},
  number    = {Number 3 (2019)},
  pages     = {49:1 -- 49:37},
  subject      = {Binary rewriting},
  language  = {en}
}