@misc{indiciae99d809f5a332, 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}, url = {https://arxiv.org/abs/2404.05703}, note = {Source identifier: 2404.05703} }