{"id":"https://openalex.org/W3181593253","doi":"https://doi.org/10.1007/978-3-030-78086-9_18","title":"Effective Enumeration of Infinitely Many Programs that Evade Formal Malware Analysis","display_name":"Effective Enumeration of Infinitely Many Programs that Evade Formal Malware Analysis","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3181593253","doi":"https://doi.org/10.1007/978-3-030-78086-9_18","mag":"3181593253"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-78086-9_18","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-78086-9_18","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5102993627","display_name":"Vasiliki Liagkou","orcid":"https://orcid.org/0000-0002-1162-5490"},"institutions":[{"id":"https://openalex.org/I174878644","display_name":"University of Patras","ror":"https://ror.org/017wvtq80","country_code":"GR","type":"education","lineage":["https://openalex.org/I174878644"]},{"id":"https://openalex.org/I120729142","display_name":"Research Academic Computer Technology Institute","ror":"https://ror.org/021nszj63","country_code":"GR","type":"facility","lineage":["https://openalex.org/I120729142","https://openalex.org/I4210154149"]},{"id":"https://openalex.org/I194019607","display_name":"University of Ioannina","ror":"https://ror.org/01qg3j183","country_code":"GR","type":"education","lineage":["https://openalex.org/I194019607"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Vasiliki Liagkou","raw_affiliation_strings":["Computer Technology Institute and Press - \u201cDiophantus\u201d, University of Patras Campus, 26504, Patras, Greece","Department of Informatics and Telecommunications, University of Ioannina, 47100, Koatakioi Arta, Greece","Department of Informatics and Telecommunications, University of Ioannina, Koatakioi Arta, Greece","Computer Technology Institute and Press - \u201cDiophantus\u201d, University of Patras Campus, Patras, Greece"],"affiliations":[{"raw_affiliation_string":"Computer Technology Institute and Press - \u201cDiophantus\u201d, University of Patras Campus, 26504, Patras, Greece","institution_ids":["https://openalex.org/I120729142"]},{"raw_affiliation_string":"Department of Informatics and Telecommunications, University of Ioannina, 47100, Koatakioi Arta, Greece","institution_ids":["https://openalex.org/I194019607"]},{"raw_affiliation_string":"Department of Informatics and Telecommunications, University of Ioannina, Koatakioi Arta, Greece","institution_ids":["https://openalex.org/I194019607"]},{"raw_affiliation_string":"Computer Technology Institute and Press - \u201cDiophantus\u201d, University of Patras Campus, Patras, Greece","institution_ids":["https://openalex.org/I120729142","https://openalex.org/I174878644"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042797834","display_name":"Panagiotis E. Nastou","orcid":null},"institutions":[{"id":"https://openalex.org/I98805295","display_name":"University of the Aegean","ror":"https://ror.org/03zsp3p94","country_code":"GR","type":"education","lineage":["https://openalex.org/I98805295"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Panagiotis E. Nastou","raw_affiliation_strings":["Department of Mathematics, Applied Mathematics and Mathematical Modeling Laboratory, University of the Aegean, Samos, Greece"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Applied Mathematics and Mathematical Modeling Laboratory, University of the Aegean, Samos, Greece","institution_ids":["https://openalex.org/I98805295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011756177","display_name":"Paul G. Spirakis","orcid":"https://orcid.org/0000-0001-5396-3749"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]},{"id":"https://openalex.org/I174878644","display_name":"University of Patras","ror":"https://ror.org/017wvtq80","country_code":"GR","type":"education","lineage":["https://openalex.org/I174878644"]}],"countries":["GB","GR"],"is_corresponding":false,"raw_author_name":"Paul Spirakis","raw_affiliation_strings":["Computer Engineering and Informatics Department, University of Patras, 26504, Patras, Greece","Department of Computer Science, University of Liverpool, Liverpool, UK","Computer Engineering and Informatics Department, University of Patras, Patras, Greece"],"affiliations":[{"raw_affiliation_string":"Computer Engineering and Informatics Department, University of Patras, 26504, Patras, Greece","institution_ids":["https://openalex.org/I174878644"]},{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Liverpool, UK","institution_ids":["https://openalex.org/I146655781"]},{"raw_affiliation_string":"Computer Engineering and Informatics Department, University of Patras, Patras, Greece","institution_ids":["https://openalex.org/I174878644"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025854118","display_name":"Yannis C. Stamatiou","orcid":"https://orcid.org/0000-0002-8925-9427"},"institutions":[{"id":"https://openalex.org/I120729142","display_name":"Research Academic Computer Technology Institute","ror":"https://ror.org/021nszj63","country_code":"GR","type":"facility","lineage":["https://openalex.org/I120729142","https://openalex.org/I4210154149"]},{"id":"https://openalex.org/I174878644","display_name":"University of Patras","ror":"https://ror.org/017wvtq80","country_code":"GR","type":"education","lineage":["https://openalex.org/I174878644"]}],"countries":["GR"],"is_corresponding":true,"raw_author_name":"Yannis C. Stamatiou","raw_affiliation_strings":["Computer Technology Institute and Press - \u201cDiophantus\u201d, University of Patras Campus, 26504, Patras, Greece","Department of Business Administration, University of Patras, 26504, Patras, Greece","Computer Technology Institute and Press - \u201cDiophantus\u201d, University of Patras Campus, Patras, Greece","Department of Business Administration, University of Patras, Patras, Greece"],"affiliations":[{"raw_affiliation_string":"Computer Technology Institute and Press - \u201cDiophantus\u201d, University of Patras Campus, 26504, Patras, Greece","institution_ids":["https://openalex.org/I120729142"]},{"raw_affiliation_string":"Department of Business Administration, University of Patras, 26504, Patras, Greece","institution_ids":["https://openalex.org/I174878644"]},{"raw_affiliation_string":"Computer Technology Institute and Press - \u201cDiophantus\u201d, University of Patras Campus, Patras, Greece","institution_ids":["https://openalex.org/I120729142","https://openalex.org/I174878644"]},{"raw_affiliation_string":"Department of Business Administration, University of Patras, Patras, Greece","institution_ids":["https://openalex.org/I174878644"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5025854118"],"corresponding_institution_ids":["https://openalex.org/I120729142","https://openalex.org/I174878644"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.16418651,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"230","last_page":"243"},"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9970999956130981,"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/T11424","display_name":"Security and Verification in Computing","score":0.9898999929428101,"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/enumeration","display_name":"Enumeration","score":0.8894719481468201},{"id":"https://openalex.org/keywords/malware","display_name":"Malware","score":0.7578556537628174},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5738519430160522},{"id":"https://openalex.org/keywords/malware-analysis","display_name":"Malware analysis","score":0.54994797706604},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4056434631347656},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3995990753173828},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33191102743148804},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2624889016151428},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.17470282316207886}],"concepts":[{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.8894719481468201},{"id":"https://openalex.org/C541664917","wikidata":"https://www.wikidata.org/wiki/Q14001","display_name":"Malware","level":2,"score":0.7578556537628174},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5738519430160522},{"id":"https://openalex.org/C2779395397","wikidata":"https://www.wikidata.org/wiki/Q15731404","display_name":"Malware analysis","level":3,"score":0.54994797706604},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4056434631347656},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3995990753173828},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33191102743148804},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2624889016151428},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.17470282316207886}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-78086-9_18","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-78086-9_18","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.46000000834465027}],"awards":[{"id":"https://openalex.org/G6979527396","display_name":null,"funder_award_id":"EP/P02002X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W421997344","https://openalex.org/W1582350176","https://openalex.org/W2036869460","https://openalex.org/W2047764386","https://openalex.org/W2126160338","https://openalex.org/W2159073761","https://openalex.org/W2170267084","https://openalex.org/W2409664136","https://openalex.org/W3177549765","https://openalex.org/W4251151851"],"related_works":["https://openalex.org/W2768892939","https://openalex.org/W2469507153","https://openalex.org/W2008790809","https://openalex.org/W2134874482","https://openalex.org/W4285507391","https://openalex.org/W2397240470","https://openalex.org/W2602767565","https://openalex.org/W170652726","https://openalex.org/W2883822334","https://openalex.org/W3164408430"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}