Login / Signup
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets.
Preston K. Robinette
Diego Manzanas Lopez
Serena Serbinowska
Kevin Leach
Taylor T. Johnson
Published in:
FormaliSE@ICSE (2024)
Keyphrases
</>
malware detection
case study
neural network
malicious executables
anomaly detection
artificial neural networks
back propagation
genetic algorithm
application programming interface
neural network model
pattern recognition
real world
database systems
user interface
image features
feature maps