{"id":"https://openalex.org/W2795212651","doi":"https://doi.org/10.1109/msp.2018.1870873","title":"The Mayhem Cyber Reasoning System","display_name":"The Mayhem Cyber Reasoning System","publication_year":2018,"publication_date":"2018-03-01","ids":{"openalex":"https://openalex.org/W2795212651","doi":"https://doi.org/10.1109/msp.2018.1870873","mag":"2795212651"},"language":"en","primary_location":{"id":"doi:10.1109/msp.2018.1870873","is_oa":false,"landing_page_url":"https://doi.org/10.1109/msp.2018.1870873","pdf_url":null,"source":{"id":"https://openalex.org/S61906035","display_name":"IEEE Security & Privacy","issn_l":"1540-7993","issn":["1540-7993","1558-4046"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Security & Privacy","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049839987","display_name":"Thanassis Avgerinos","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thanassis Avgerinos","raw_affiliation_strings":["ForAllSecure"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ForAllSecure","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016565332","display_name":"David Brumley","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David Brumley","raw_affiliation_strings":["ForAllSecure"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ForAllSecure","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084327371","display_name":"John D. Davis","orcid":"https://orcid.org/0000-0003-0266-0857"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John Davis","raw_affiliation_strings":["ForAllSecure"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ForAllSecure","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026545435","display_name":"Ryan Goulden","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ryan Goulden","raw_affiliation_strings":["ForAllSecure"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ForAllSecure","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087253143","display_name":"Tyler Nighswander","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tyler Nighswander","raw_affiliation_strings":["ForAllSecure"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ForAllSecure","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069358503","display_name":"Alex Rebert","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alex Rebert","raw_affiliation_strings":["ForAllSecure"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ForAllSecure","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057927730","display_name":"Ned Williamson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ned Williamson","raw_affiliation_strings":["ForAllSecure"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ForAllSecure","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.6603,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.90960047,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"16","issue":"2","first_page":"52","last_page":"60"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998999834060669,"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.9998999834060669,"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/T11424","display_name":"Security and Verification in Computing","score":0.9991999864578247,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/contest","display_name":"CONTEST","score":0.8194371461868286},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.6776304841041565},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4872256815433502},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.16915029287338257},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.11360320448875427}],"concepts":[{"id":"https://openalex.org/C2777582232","wikidata":"https://www.wikidata.org/wiki/Q5013414","display_name":"CONTEST","level":2,"score":0.8194371461868286},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6776304841041565},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4872256815433502},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.16915029287338257},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.11360320448875427}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/msp.2018.1870873","is_oa":false,"landing_page_url":"https://doi.org/10.1109/msp.2018.1870873","pdf_url":null,"source":{"id":"https://openalex.org/S61906035","display_name":"IEEE Security & Privacy","issn_l":"1540-7993","issn":["1540-7993","1558-4046"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Security & Privacy","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1522250664","https://openalex.org/W1970005004","https://openalex.org/W2113864883","https://openalex.org/W2134633067","https://openalex.org/W2138788987","https://openalex.org/W2574017551","https://openalex.org/W2902081543","https://openalex.org/W4239813889","https://openalex.org/W6631155369","https://openalex.org/W6756783027"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2946214509","https://openalex.org/W2735088306","https://openalex.org/W4286740636","https://openalex.org/W2628063975","https://openalex.org/W2356479129","https://openalex.org/W2387346515","https://openalex.org/W2352196451","https://openalex.org/W2590086693"],"abstract_inverted_index":{"Mayhem":[0,21,76,97,140],"is":[1,98],"one":[2],"of":[3,7,44,59,61,84,146],"the":[4,23,42,50,57,109,144],"first":[5],"generation":[6],"autonomous":[8,136],"computer":[9,147],"security":[10,137,145],"bots":[11,138],"that":[12],"finds":[13],"and":[14,30,64,72,107,121,128],"fixes":[15],"vulnerabilities":[16],"without":[17],"any":[18],"human":[19],"intervention.":[20],"won":[22],"DARPA":[24,47],"Cyber":[25],"Grand":[26],"Challenge":[27],"(CGC)":[28],"contest":[29,40],"$2,000,000":[31],"in":[32,68,86,125],"August":[33],"2016":[34],"against":[35],"six":[36],"other":[37],"finalists.":[38],"The":[39,75],"was":[41,79,89],"result":[43],"a":[45,82,93,133],"two-year":[46],"program,":[48],"but":[49],"R&D":[51],"necessary":[52],"to":[53,92,104,132],"compete":[54],"stands":[55],"on":[56],"shoulders":[58],"decades":[60],"basic":[62],"academic":[63],"industry":[65],"scientific":[66],"research":[67,85],"program":[69],"analysis,":[70],"verification,":[71],"self-healing":[73],"systems.":[74,148],"system":[77],"alone":[78],"developed":[80],"over":[81],"decade":[83],"academia,":[87],"which":[88],"spun":[90],"out":[91],"company":[94],"called":[95],"ForAllSecure.":[96],"now":[99],"being":[100],"commercialized":[101],"by":[102],"ForAllSecure":[103],"autonomously":[105],"check":[106],"protect":[108],"world\u2019s":[110],"software":[111],"from":[112],"exploitable":[113],"bugs.":[114],"In":[115],"this":[116],"article,":[117],"we":[118],"look":[119,130],"back":[120],"give":[122],"our":[123],"story":[124],"creating":[126],"Mayhem,":[127],"also":[129],"forward":[131],"vision":[134],"where":[135],"like":[139],"will":[141],"radically":[142],"improve":[143]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}