{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T15:54:20Z","timestamp":1783007660712,"version":"3.54.5"},"reference-count":86,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"funder":[{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5]]},"DOI":"10.1109\/sp46214.2022.9833685","type":"proceedings-article","created":{"date-parts":[[2022,7,27]],"date-time":"2022-07-27T19:28:05Z","timestamp":1658950085000},"page":"1808-1825","source":"Crossref","is-referenced-by-count":8,"title":["SWARMFLAWFINDER: Discovering and Exploiting Logic Flaws of Swarm Algorithms"],"prefix":"10.1109","author":[{"given":"Chijung","family":"Jung","sequence":"first","affiliation":[{"name":"University of Virginia,Department of Computer Science,Charlottesville,VA,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ali","family":"Ahad","sequence":"additional","affiliation":[{"name":"University of Virginia,Department of Computer Science,Charlottesville,VA,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuseok","family":"Jeon","sequence":"additional","affiliation":[{"name":"UNIST,Department of Computer Science and Engineering,Ulsan,South Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yonghwi","family":"Kwon","sequence":"additional","affiliation":[{"name":"University of Virginia,Department of Computer Science,Charlottesville,VA,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55754-6_20"},{"key":"ref13","article-title":"A survey of symbolic execution techniques","author":"baldoni","year":"2018","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"ref56","article-title":"On the state of the art in verification and validation in cyber physical systems","author":"zheng","year":"2014","journal-title":"The University of Texas at Austin The Center for Advanced Research in Software Engineering Tech Rep TR-ARiSE-2014-001"},{"key":"ref12","article-title":"Automated whitebox fuzz testing","author":"godefroid","year":"2008","journal-title":"Network and Distributed System Security Symposium (NDSS)"},{"key":"ref59","article-title":"Parmesan: Sanitizer- guided greybox fuzzing","author":"\u00f6sterlund","year":"2020","journal-title":"29th USENIX Security Symposium"},{"key":"ref15","article-title":"Towards dependable swarms and a new discipline of swarm engineering","author":"winfield","year":"2004","journal-title":"Int Workshop on Swarm Robotics SAB2006"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-49778-1_23"},{"key":"ref14","author":"beizer","year":"1995","journal-title":"Black-Box Testing Techniques for Functional Testing of Software and Systems"},{"key":"ref53","article-title":"A verifiable and correct-by-construction controller for robot functional levels","author":"bensalem","year":"2013","journal-title":"arXiv preprint arXiv 1309 0442"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1023\/B:AURO.0000033973.24945.f3"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.329.2"},{"key":"ref11","author":"zalewski","year":"0","journal-title":"American Fuzzy Lop"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03421-4_8"},{"key":"ref10","author":"llvm","year":"2021","journal-title":"LibFuzzer a library for coverage-guided fuzz testing"},{"key":"ref17","article-title":"Threats to the swarm: Security considerations for swarm robotics","author":"higgins","year":"2009","journal-title":"International Journal on Advances in Security"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2013.6719716"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s11721-008-0015-3"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-60376-2_27"},{"key":"ref51","article-title":"Evolving test environments to identify faults in swarm robotics algorithms","author":"wei","year":"2017","journal-title":"IEEE Congress on Evolutionary Computation (CEC)"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3377930.3389827"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00020"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3183519.3183534"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883618"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2018.00040"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397387"},{"key":"ref86","author":"delft","year":"2020","journal-title":"SGBA-code"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/MET.2017..6"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.aaw9710"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40379-3_3"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67361-5_40"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.147"},{"key":"ref8","author":"swarmflawfinder","year":"2021","journal-title":"Project website"},{"key":"ref7","author":"carnelli","year":"2017","journal-title":"SwarmRoboticsSim"},{"key":"ref9","author":"google","year":"2018","journal-title":"syzkaller is an unsupervised coverage-guided kernel fuzzer"},{"key":"ref4","author":"agishev","year":"2019","journal-title":"Adaptive Control of Swarm of Drones for Obstacle Avoidance"},{"key":"ref3","article-title":"The progress, challenges, and perspectives of directed greybox fuzzing","author":"wang","year":"2020","journal-title":"arXiv preprint arXiv 2005 11084"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.5220\/0007581708370844"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2018.8594283"},{"key":"ref82","year":"2017","journal-title":"OFFensive Swarm-Enabled Tactics (OFFSET)"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1145\/3374664.3379529"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2935620.2935630"},{"key":"ref84","author":"hambling","year":"2021","journal-title":"What Are Drone Swarms And Why Does Every Military Suddenly Want One?"},{"key":"ref83","year":"2019","journal-title":"Teams Test Swarm Autonomy in Second Major OFFSET Field Experiment"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2018.2853610"},{"key":"ref35","article-title":"Improved swarm engineering: Aligning intuition and analysis","author":"harwell","year":"2020","journal-title":"2012 arXiv preprint arXiv"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2018.2857475"},{"key":"ref34","author":"wright","year":"2014","journal-title":"swarmSimRescue"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417858"},{"key":"ref37","author":"berg","year":"2020","journal-title":"Zebro-Search-and-Rescue"},{"key":"ref36","author":"patel","year":"2017","journal-title":"optimization-wolf-search-algorithm"},{"key":"ref31","article-title":"An artificial swan formation using the finsler measure in the dynamic window control","author":"huang","year":"2020","journal-title":"Int J Swarm Evolution Comput"},{"key":"ref75","article-title":"SAVIOR: Securing autonomous vehicles with robust physical invariants","author":"quinonez","year":"2020","journal-title":"29th USENIX Security Symposium"},{"key":"ref30","author":"vicsek","year":"2019","journal-title":"Autonomous mission control of drone flocks"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243752"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53956-6_58"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2265083"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2019.0853"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1145\/3414045.3415951"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0237749"},{"key":"ref1","article-title":"The art, science, and engineering of fuzzing: A survey","author":"manes","year":"2019","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2368997"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759652"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/3139937.3139943"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/MILCOM.2016.7795496"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3053038"},{"key":"ref72","article-title":"Rocking drones with intentional sound noise on gyroscopic sensors","author":"son","year":"2015","journal-title":"24th USENIX Security symposium"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872395"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/SIOT48044.2019.9637109"},{"key":"ref23","author":"lewis","year":"1973","journal-title":"Counterfactuals"},{"key":"ref67","article-title":"Rvfuzzer: Finding input validation bugs in robotic vehicles through control-guided testing","author":"kim","year":"2019","journal-title":"28th USENIX Security Symposium"},{"key":"ref26","article-title":"Advanced signal processing for enhanced damage detection with embedded ultrasonics structural radar using piezoelectric wafer active sensors","author":"yu","year":"2005","journal-title":"Smart Structures & Systems -- An International Journal of Mechatronics Sensors Monitoring Control Diagnosis and Maintenance"},{"key":"ref25","article-title":"Fast normalized cross-correlation","author":"lewis","year":"1995","journal-title":"Proceedings of the Vision Interface"},{"key":"ref69","author":"domin","year":"2016","journal-title":"Security analysis of the drone communication protocol Fuzzing the MAVLink protocol"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IRDS.2002.1041573"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00002"},{"key":"ref63","article-title":"Qsym: A practical concolic execution engine tailored for hybrid fuzzing","author":"yun","year":"2018","journal-title":"27th USENIX Security Symp"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.11003\/JPNT.2015.4.2.057"},{"key":"ref66","article-title":"Consumer UAV Cybersecurity Vulnerability Assessment Using Fuzzing Tests","author":"rudo","year":"2020","journal-title":"arXiv 2008 03621"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1002\/rob.21513"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2021.24096"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.2478\/v10006-008-0051-6"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8655(03)00098-9"},{"key":"ref29","author":"howard","year":"2020","journal-title":"Algorithms developed to make drone swarm move together"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23159"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00038"},{"key":"ref61","article-title":"Analysis of DTLS implementations using protocol state fuzzing","author":"fiterau-brostean","year":"2020","journal-title":"29th USENIX Security Symposium"}],"event":{"name":"2022 IEEE Symposium on Security and Privacy (SP)","location":"San Francisco, CA, USA","start":{"date-parts":[[2022,5,22]]},"end":{"date-parts":[[2022,5,26]]}},"container-title":["2022 IEEE Symposium on Security and Privacy (SP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9833550\/9833558\/09833685.pdf?arnumber=9833685","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T23:20:35Z","timestamp":1699485635000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9833685\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5]]},"references-count":86,"URL":"https:\/\/doi.org\/10.1109\/sp46214.2022.9833685","relation":{},"subject":[],"published":{"date-parts":[[2022,5]]}}}