Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets (bibtex)

by Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska, Kevin Leach and Taylor T. Johnson

Reference:

Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska, Kevin Leach and Taylor T. Johnson, "Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets", In 12th International Conference on Formal Methods in Software Engineering (FormaliSE'24), ACM, pp. 127–137, 2024.

Bibtex Entry:

@inproceedings{robinette2024formalise,
  title = {Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets},
  author = {Preston K. Robinette and Diego Manzanas Lopez and Serena Serbinowska and Kevin Leach and Taylor T. Johnson},
  year = {2024},
  month = apr,
  booktitle = {12th International Conference on Formal Methods in Software Engineering (FormaliSE'24)},
  pages = {127--137},
  publisher = {ACM},
  doi = {10.1145/3644033.3644372},
  keywords = {machine learning, security, neural network verification},
  publabel = {C45},
  pubtype = {C},
  dblp = {conf/icse-formalise/RobinetteLSLJ24},
  pdf = "research/robinette2024formalise.pdf",
}