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, }