Is your software on dope? Formal analysis of surreptitiously "enhanced" programs

D'Argenio, Pedro R. and Barthe, Gilles and Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger
(2017) Is your software on dope? Formal analysis of surreptitiously "enhanced" programs.
CoRR, abs/17.

Full text not available from this repository.
Official URL: http://arxiv.org/abs/1702.04693
Item Type: Article
Depositing User: Sebastian Weisgerber
Date Deposited: 23 Feb 2018 12:31
Last Modified: 23 Feb 2018 12:31
URI: https://publications.cispa.saarland/id/eprint/2493

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.