@misc{indiciaea7d366113d89,
  title = {Is your software on dope? Formal analysis of surreptitiously "enhanced" programs},
  author = {Pedro R. D'Argenio and Gilles Barthe and Sebastian Biewer and Bernd Finkbeiner and Holger Hermanns},
  year = {2017},
  url = {https://arxiv.org/abs/1702.04693},
  note = {Source identifier: 1702.04693}
}