Publication [DArgenioBBFH17] Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs D'Argenio, P. R.; Barthe, G.; Biewer, S.; Finkbeiner, B. and Hermanns, H. In ESOP, pages 83-110, LNCS 10201, 2017.Downloads: bib
