Login / Signup
Serena Serbinowska
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Neural Network
Malware Detection
Case Study
Application Programming Interface
Top Venues
FormaliSE@ICSE
CoRR
</>
Publications
</>
Preston K. Robinette
,
Diego Manzanas Lopez
,
Serena Serbinowska
,
Kevin Leach
,
Taylor T. Johnson
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets.
CoRR
(2024)
Preston K. Robinette
,
Diego Manzanas Lopez
,
Serena Serbinowska
,
Kevin Leach
,
Taylor T. Johnson
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets.
FormaliSE@ICSE
(2024)