Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs
Tags
Conference / Medium
Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala,