@inproceedings{P115.093,
author={Basile, Cataldo and Canavese, Daniele and d'Annoville, Jerome and De Sutter, Bjorn and Valenza, Fulvio},
title={Automatic discovery of software attacks via backward reasoning},
booktitle={Workshop on Software Protection, Proceedings},
year={2015},
pages={7},
publisher={IEEE},
address={Firenze},
}