Wei Chen, David Aspinall 0001, Andrew D. Gordon, Charles A. Sutton, Igor Muttik
On Robust Malware Classifiers by Verifying Unwanted Behaviours
IFM, 2016.
@inproceedings{IFM-2016-ChenAGSM,
author = "Wei Chen and David Aspinall 0001 and Andrew D. Gordon and Charles A. Sutton and Igor Muttik",
booktitle = "{Proceedings of the 12th International Conference on Integrated Formal Methods}",
doi = "10.1007/978-3-319-33693-0_21",
isbn = "978-3-319-33692-3",
pages = "326--341",
publisher = "{Springer}",
title = "{On Robust Malware Classifiers by Verifying Unwanted Behaviours}",
year = 2016,
}