{"id":"https://openalex.org/W4288057694","doi":"https://doi.org/10.1109/sp46214.2022.9833685","title":"SWARMFLAWFINDER: Discovering and Exploiting Logic Flaws of Swarm Algorithms","display_name":"SWARMFLAWFINDER: Discovering and Exploiting Logic Flaws of Swarm Algorithms","publication_year":2022,"publication_date":"2022-05-01","ids":{"openalex":"https://openalex.org/W4288057694","doi":"https://doi.org/10.1109/sp46214.2022.9833685"},"language":"en","primary_location":{"id":"doi:10.1109/sp46214.2022.9833685","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sp46214.2022.9833685","pdf_url":null,"source":{"id":"https://openalex.org/S4363606603","display_name":"2022 IEEE Symposium on Security and Privacy (SP)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE Symposium on Security and Privacy (SP)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5059444418","display_name":"Chijung Jung","orcid":"https://orcid.org/0000-0003-1507-3635"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chijung Jung","raw_affiliation_strings":["University of Virginia,Department of Computer Science,Charlottesville,VA,USA","Department of Computer Science, University of Virginia, Charlottesville, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Virginia,Department of Computer Science,Charlottesville,VA,USA","institution_ids":["https://openalex.org/I51556381"]},{"raw_affiliation_string":"Department of Computer Science, University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019577130","display_name":"Ali Ahad","orcid":"https://orcid.org/0000-0002-3793-9180"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ali Ahad","raw_affiliation_strings":["University of Virginia,Department of Computer Science,Charlottesville,VA,USA","Department of Computer Science, University of Virginia, Charlottesville, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Virginia,Department of Computer Science,Charlottesville,VA,USA","institution_ids":["https://openalex.org/I51556381"]},{"raw_affiliation_string":"Department of Computer Science, University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033516356","display_name":"Yuseok Jeon","orcid":"https://orcid.org/0000-0002-9461-6652"},"institutions":[{"id":"https://openalex.org/I48566637","display_name":"Ulsan National Institute of Science and Technology","ror":"https://ror.org/017cjz748","country_code":"KR","type":"education","lineage":["https://openalex.org/I48566637"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Yuseok Jeon","raw_affiliation_strings":["UNIST,Department of Computer Science and Engineering,Ulsan,South Korea","Department of Computer Science and Engineering, UNIST, Ulsan, South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNIST,Department of Computer Science and Engineering,Ulsan,South Korea","institution_ids":["https://openalex.org/I48566637"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, UNIST, Ulsan, South Korea","institution_ids":["https://openalex.org/I48566637"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053834185","display_name":"Yonghwi Kwon","orcid":"https://orcid.org/0000-0002-0021-2850"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yonghwi Kwon","raw_affiliation_strings":["University of Virginia,Department of Computer Science,Charlottesville,VA,USA","Department of Computer Science, University of Virginia, Charlottesville, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Virginia,Department of Computer Science,Charlottesville,VA,USA","institution_ids":["https://openalex.org/I51556381"]},{"raw_affiliation_string":"Department of Computer Science, University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5231,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.83342939,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1808","last_page":"1825"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9990000128746033,"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.9975000023841858,"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/swarm-behaviour","display_name":"Swarm behaviour","score":0.8824321627616882},{"id":"https://openalex.org/keywords/swarm-robotics","display_name":"Swarm robotics","score":0.7872442007064819},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.687940239906311},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.6403141021728516},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5433041453361511},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.5037266612052917},{"id":"https://openalex.org/keywords/swarm-intelligence","display_name":"Swarm intelligence","score":0.4571736454963684},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4446147084236145},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4121093451976776},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.39730432629585266},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33328384160995483},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.1440964937210083},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.11732816696166992},{"id":"https://openalex.org/keywords/particle-swarm-optimization","display_name":"Particle swarm optimization","score":0.09423995018005371}],"concepts":[{"id":"https://openalex.org/C181335050","wikidata":"https://www.wikidata.org/wiki/Q14915018","display_name":"Swarm behaviour","level":2,"score":0.8824321627616882},{"id":"https://openalex.org/C169337768","wikidata":"https://www.wikidata.org/wiki/Q2446723","display_name":"Swarm robotics","level":3,"score":0.7872442007064819},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.687940239906311},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6403141021728516},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5433041453361511},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.5037266612052917},{"id":"https://openalex.org/C119487961","wikidata":"https://www.wikidata.org/wiki/Q863960","display_name":"Swarm intelligence","level":3,"score":0.4571736454963684},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4446147084236145},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4121093451976776},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.39730432629585266},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33328384160995483},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.1440964937210083},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.11732816696166992},{"id":"https://openalex.org/C85617194","wikidata":"https://www.wikidata.org/wiki/Q2072794","display_name":"Particle swarm optimization","level":2,"score":0.09423995018005371}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sp46214.2022.9833685","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sp46214.2022.9833685","pdf_url":null,"source":{"id":"https://openalex.org/S4363606603","display_name":"2022 IEEE Symposium on Security and Privacy (SP)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE Symposium on Security and Privacy (SP)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7400000095367432,"id":"https://metadata.un.org/sdg/13","display_name":"Climate action"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":87,"referenced_works":["https://openalex.org/W157156687","https://openalex.org/W1470570003","https://openalex.org/W1585105021","https://openalex.org/W1620598987","https://openalex.org/W1884042080","https://openalex.org/W1921864689","https://openalex.org/W1982466846","https://openalex.org/W1996313470","https://openalex.org/W2011995167","https://openalex.org/W2021509247","https://openalex.org/W2041812800","https://openalex.org/W2048715575","https://openalex.org/W2064343889","https://openalex.org/W2075699551","https://openalex.org/W2090302437","https://openalex.org/W2135600912","https://openalex.org/W2154315333","https://openalex.org/W2154806807","https://openalex.org/W2301698066","https://openalex.org/W2317668908","https://openalex.org/W2473252236","https://openalex.org/W2566604313","https://openalex.org/W2566869048","https://openalex.org/W2590339106","https://openalex.org/W2598865842","https://openalex.org/W2615547864","https://openalex.org/W2731652368","https://openalex.org/W2739504601","https://openalex.org/W2766048395","https://openalex.org/W2791018263","https://openalex.org/W2805047358","https://openalex.org/W2807803476","https://openalex.org/W2845027230","https://openalex.org/W2886401384","https://openalex.org/W2888875512","https://openalex.org/W2891240227","https://openalex.org/W2898775207","https://openalex.org/W2921422136","https://openalex.org/W2929535634","https://openalex.org/W2954700723","https://openalex.org/W2963403258","https://openalex.org/W2963723316","https://openalex.org/W2965126789","https://openalex.org/W2979357014","https://openalex.org/W2981762858","https://openalex.org/W3011631345","https://openalex.org/W3015365135","https://openalex.org/W3020105429","https://openalex.org/W3028360334","https://openalex.org/W3033075609","https://openalex.org/W3040257646","https://openalex.org/W3040671048","https://openalex.org/W3041542171","https://openalex.org/W3043550678","https://openalex.org/W3045508722","https://openalex.org/W3045611963","https://openalex.org/W3046570655","https://openalex.org/W3047899736","https://openalex.org/W3048116582","https://openalex.org/W3048912858","https://openalex.org/W3049364492","https://openalex.org/W3072699177","https://openalex.org/W3080154729","https://openalex.org/W3092406334","https://openalex.org/W3094120072","https://openalex.org/W3101635191","https://openalex.org/W3107687528","https://openalex.org/W3108058652","https://openalex.org/W3112959180","https://openalex.org/W3137265271","https://openalex.org/W4285674030","https://openalex.org/W6606430823","https://openalex.org/W6608647691","https://openalex.org/W6628508383","https://openalex.org/W6634870543","https://openalex.org/W6639509391","https://openalex.org/W6727732156","https://openalex.org/W6740507765","https://openalex.org/W6741862919","https://openalex.org/W6753913213","https://openalex.org/W6760507315","https://openalex.org/W6766958283","https://openalex.org/W6781000091","https://openalex.org/W6781450680","https://openalex.org/W6781790250","https://openalex.org/W6787414834","https://openalex.org/W6839643211"],"related_works":["https://openalex.org/W4233987368","https://openalex.org/W65954170","https://openalex.org/W1988876749","https://openalex.org/W2182522217","https://openalex.org/W4386001959","https://openalex.org/W4234675952","https://openalex.org/W4304182880","https://openalex.org/W4362659455","https://openalex.org/W2789344126","https://openalex.org/W2985447784"],"abstract_inverted_index":{"Inspired":[0],"by":[1,163,193],"swarms":[2],"in":[3,85,166],"nature,":[4],"swarm":[5,33,45,61,77,91,143,168,178],"robotics":[6,62,102],"have":[7,160,180],"been":[8,161],"developed":[9],"to":[10,41,55],"conduct":[11],"various":[12,83],"challenging":[13],"tasks":[14],"such":[15],"as":[16,134],"environmental":[17],"monitoring,":[18],"disaster":[19],"recovery,":[20],"logistics,":[21],"and":[22,81,87,148],"even":[23],"military":[24],"operations.":[25],"Despite":[26],"the":[27,32,60,90,107,115,164,167,173,177],"significant":[28],"potential":[29],"impact":[30],"of":[31,59,101,109,117,158,172],"on":[34,114],"society,":[35],"relatively":[36],"little":[37],"attention":[38],"is":[39],"given":[40],"adversarial":[42],"scenarios":[43],"against":[44],"robotics.":[46],"In":[47,94],"this":[48],"paper,":[49],"we":[50,69,96,105,121],"explore":[51],"a":[52,98,123,135],"systematic":[53],"approach":[54],"find":[56],"logical":[57],"flaws":[58,155,174],"algorithms":[63,144,179],"that":[64,176,189],"adversaries":[65],"can":[66,190],"exploit.":[67],"Specifically,":[68],"develop":[70],"an":[71],"automated":[72],"testing":[73,128],"system,":[74],"SWARMFLAWFINDER,":[75,131],"for":[76],"algorithms.":[78,169],"We":[79,138],"identify":[80],"overcome":[82],"challenges":[84],"understanding":[86],"reasoning":[88],"about":[89],"algorithm":[92],"execution.":[93],"particular,":[95],"propose":[97],"novel":[99],"abstraction":[100],"behavior,":[103],"which":[104],"call":[106],"degree":[108],"causal":[110],"contribution":[111],"(DCC),":[112],"based":[113],"idea":[116],"counterfactual":[118],"causality.":[119],"Then,":[120],"build":[122],"feedback":[124,136],"guided":[125],"greybox":[126],"fuzz":[127],"system":[129],"called":[130],"leveraging":[132],"DCC":[133],"metric.":[137],"evaluate":[139],"SWARMFLAWFINDER":[140,151],"with":[141],"four":[142],"conducting":[145],"navigating,":[146],"searching,":[147],"rescuing":[149],"missions.":[150],"discovers":[152],"42":[153],"logic":[154,182],"(and":[156],"all":[157],"them":[159],"acknowledged":[162],"developers)":[165],"Our":[170],"analysis":[171],"reveals":[175],"critical":[181],"errors/bugs":[183],"or":[184],"suffer":[185],"from":[186],"incomplete":[187],"implementations":[188],"be":[191],"exploited":[192],"adversaries.":[194]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}