{"id":"https://openalex.org/W4399397088","doi":"https://doi.org/10.1145/3644033.3644372","title":"Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets","display_name":"Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets","publication_year":2024,"publication_date":"2024-04-14","ids":{"openalex":"https://openalex.org/W4399397088","doi":"https://doi.org/10.1145/3644033.3644372"},"language":"en","primary_location":{"id":"doi:10.1145/3644033.3644372","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3644033.3644372","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3644033.3644372","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3644033.3644372","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028566361","display_name":"Preston K. Robinette","orcid":"https://orcid.org/0000-0002-4906-2179"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Preston K. Robinette","raw_affiliation_strings":["Vanderbilt University, Nashville, TN, United States of America"],"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, TN, United States of America","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021939745","display_name":"Diego Manzanas Lopez","orcid":"https://orcid.org/0000-0003-0721-1241"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Diego Manzanas Lopez","raw_affiliation_strings":["Vanderbilt University, Nashville, TN, United States of America"],"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, TN, United States of America","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078630408","display_name":"Serena S. Serbinowska","orcid":"https://orcid.org/0000-0002-9259-1586"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Serena Serbinowska","raw_affiliation_strings":["Vanderbilt University, Nashville, TN, USA"],"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, TN, USA","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030030910","display_name":"Kevin Leach","orcid":"https://orcid.org/0000-0002-4001-3442"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kevin Leach","raw_affiliation_strings":["Vanderbilt University, Nashville, TN, United States of America"],"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, TN, United States of America","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067901159","display_name":"Taylor T. Johnson","orcid":"https://orcid.org/0000-0001-8021-9923"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taylor T Johnson","raw_affiliation_strings":["Vanderbilt University, Nashville, TN, United States of America"],"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, TN, United States of America","institution_ids":["https://openalex.org/I200719446"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5028566361"],"corresponding_institution_ids":["https://openalex.org/I200719446"],"apc_list":null,"apc_paid":null,"fwci":1.1251,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.75971731,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"127","last_page":"137"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9819999933242798,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7995134592056274},{"id":"https://openalex.org/keywords/malware","display_name":"Malware","score":0.796678900718689},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.5944871306419373},{"id":"https://openalex.org/keywords/pattern-recognition","display_name":"Pattern recognition (psychology)","score":0.5688107013702393},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5684796571731567},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5560118556022644},{"id":"https://openalex.org/keywords/image","display_name":"Image (mathematics)","score":0.5489453077316284},{"id":"https://openalex.org/keywords/feature-extraction","display_name":"Feature extraction","score":0.5197372436523438},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.44880443811416626},{"id":"https://openalex.org/keywords/computer-vision","display_name":"Computer vision","score":0.32957378029823303},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.19221898913383484}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7995134592056274},{"id":"https://openalex.org/C541664917","wikidata":"https://www.wikidata.org/wiki/Q14001","display_name":"Malware","level":2,"score":0.796678900718689},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.5944871306419373},{"id":"https://openalex.org/C153180895","wikidata":"https://www.wikidata.org/wiki/Q7148389","display_name":"Pattern recognition (psychology)","level":2,"score":0.5688107013702393},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5684796571731567},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5560118556022644},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.5489453077316284},{"id":"https://openalex.org/C52622490","wikidata":"https://www.wikidata.org/wiki/Q1026626","display_name":"Feature extraction","level":2,"score":0.5197372436523438},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.44880443811416626},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.32957378029823303},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.19221898913383484},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3644033.3644372","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3644033.3644372","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3644033.3644372","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3644033.3644372","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3644033.3644372","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3644033.3644372","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.5600000023841858,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1934839346","display_name":null,"funder_award_id":"FA9550-23-1-0135","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G2668951283","display_name":null,"funder_award_id":"2220401","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4151934984","display_name":null,"funder_award_id":"2220426","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5725600090","display_name":null,"funder_award_id":"FA8750-23-C-0518","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G5784413458","display_name":null,"funder_award_id":"FA9550-22-1-0019","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G7999210852","display_name":null,"funder_award_id":"FA9550-21-F-0003","funder_id":"https://openalex.org/F4320333566","funder_display_name":"National Defense Science and Engineering Graduate"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320333566","display_name":"National Defense Science and Engineering Graduate","ror":null},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399397088.pdf"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W2010065958","https://openalex.org/W2099053789","https://openalex.org/W2590940412","https://openalex.org/W2594877703","https://openalex.org/W2738001131","https://openalex.org/W2914630606","https://openalex.org/W2957311447","https://openalex.org/W2963952467","https://openalex.org/W2964082701","https://openalex.org/W2972713160","https://openalex.org/W3003864320","https://openalex.org/W3008497156","https://openalex.org/W3012981624","https://openalex.org/W3178593045","https://openalex.org/W3212827451","https://openalex.org/W4283325963","https://openalex.org/W4375852012","https://openalex.org/W4375852575","https://openalex.org/W4387868746"],"related_works":["https://openalex.org/W2097492617","https://openalex.org/W2753240997","https://openalex.org/W1764168690","https://openalex.org/W2537959205","https://openalex.org/W2740895074","https://openalex.org/W2772446090","https://openalex.org/W4284893819","https://openalex.org/W2249809453","https://openalex.org/W3152891574","https://openalex.org/W4316881845"],"abstract_inverted_index":{"Malware,":[0],"or":[1],"software":[2],"designed":[3],"with":[4],"harmful":[5],"intent,":[6],"is":[7,70],"an":[8],"ever-evolving":[9],"threat":[10],"that":[11,99,105],"can":[12],"have":[13],"drastic":[14],"effects":[15],"on":[16,56,82],"both":[17],"individuals":[18],"and":[19,114,124,136,144,161,167,171,178,204,206],"institutions.":[20],"Neural":[21,157,162],"network":[22],"malware":[23,134,141,153,184],"classification":[24,135],"systems":[25,213],"are":[26,34,77],"key":[27],"tools":[28],"for":[29,175],"combating":[30],"these":[31,67],"threats":[32],"but":[33],"vulnerable":[35],"to":[36,46,66,87,90,108,197],"adversarial":[37],"machine":[38],"learning":[39],"attacks.":[40,216],"These":[41],"attacks":[42],"perturb":[43],"input":[44],"data":[45],"cause":[47],"misclassification,":[48],"bypassing":[49],"protective":[50],"systems.":[51,128],"Existing":[52],"defenses":[53],"often":[54],"rely":[55],"enhancing":[57],"the":[58,63,83,122,148,156,169,176,181,209],"training":[59,75],"process,":[60],"thereby":[61],"increasing":[62],"model's":[64],"robustness":[65,123,150],"perturbations,":[68],"which":[69],"quantified":[71],"using":[72,155],"verification.":[73],"While":[74],"improvements":[76,89],"necessary,":[78],"we":[79,94,132,195],"propose":[80],"focusing":[81],"verification":[84,103,182],"process":[85],"used":[86],"evaluate":[88],"training.":[91],"As":[92],"such,":[93],"present":[95],"a":[96,101,116,192],"case":[97,193],"study":[98],"evaluates":[100],"novel":[102,189],"domain":[104,190],"will":[106],"help":[107],"ensure":[109],"tangible":[110],"safeguards":[111],"against":[112,214],"adversaries":[113],"provide":[115],"more":[117],"reliable":[118],"means":[119],"of":[120,126,139,152,180,183,211],"evaluating":[121,187],"effectiveness":[125],"anti-malware":[127],"To":[129],"do":[130],"so,":[131],"describe":[133],"two":[137],"types":[138],"common":[140],"datasets":[142],"(feature":[143],"image":[145],"datasets),":[146],"demonstrate":[147],"certified":[149],"accuracy":[151],"classifiers":[154],"Network":[158,163],"Verification":[159],"(NNV)":[160],"Enumeration":[164],"(nnenum)":[165],"tools1,":[166],"outline":[168],"challenges":[170],"future":[172],"considerations":[173],"necessary":[174],"improvement":[177],"refinement":[179],"classification.":[185],"By":[186],"this":[188],"as":[191],"study,":[194],"hope":[196],"increase":[198],"its":[199],"visibility,":[200],"encourage":[201],"further":[202],"research":[203],"scrutiny,":[205],"ultimately":[207],"enhance":[208],"resilience":[210],"digital":[212],"malicious":[215]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}