Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs.

Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns

Browse the full ESOP paper archive.