{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T07:43:01Z","timestamp":1768462981077,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":82,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,30]],"date-time":"2020-10-30T00:00:00Z","timestamp":1604016000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["1901242 and 1910300"],"award-info":[{"award-number":["1901242 and 1910300"]}]},{"name":"IARPA TrojAI","award":["W911NF-19-S-0012"],"award-info":[{"award-number":["W911NF-19-S-0012"]}]},{"name":"Sandia National Lab","award":["1701331"],"award-info":[{"award-number":["1701331"]}]},{"DOI":"10.13039\/100007297","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N000141712045, N000141410468 and N000141712947"],"award-info":[{"award-number":["N000141712045, N000141410468 and N000141712947"]}],"id":[{"id":"10.13039\/100007297","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,30]]},"DOI":"10.1145\/3372297.3417249","type":"proceedings-article","created":{"date-parts":[[2021,3,4]],"date-time":"2021-03-04T16:20:06Z","timestamp":1614874806000},"page":"263-278","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Cyber-Physical Inconsistency Vulnerability Identification for Safety Checks in Robotic Vehicles"],"prefix":"10.1145","author":[{"given":"Hongjun","family":"Choi","sequence":"first","affiliation":[{"name":"Purdue University, West Lafayette, IN, USA"}]},{"given":"Sayali","family":"Kate","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette, IN, USA"}]},{"given":"Yousra","family":"Aafer","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}]},{"given":"Xiangyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette, IN, USA"}]},{"given":"Dongyan","family":"Xu","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette, IN, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,11,2]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2017. Arduino based Arducopter UAV the open source multi-rotor - Arducopter the open source UAV multicopter. http:\/\/www.arducopter.co.uk\/.  2017. Arduino based Arducopter UAV the open source multi-rotor - Arducopter the open source UAV multicopter. http:\/\/www.arducopter.co.uk\/."},{"key":"e_1_3_2_2_2_1","volume-title":"Control-flow integrity principles, implementations, and applications. ACM Transactions on Information and System Security (TISSEC)13, 1","author":"Abadi Mart\u00edn","year":"2009"},{"key":"e_1_3_2_2_3_1","unstructured":"National Highway Traffic Safety Administration et al. 2007. The new car assessment program suggested approaches for future program enhancements. DOT HS810 (2007) 698.  National Highway Traffic Safety Administration et al. 2007. The new car assessment program suggested approaches for future program enhancements. DOT HS810 (2007) 698."},{"key":"e_1_3_2_2_4_1","first-page":"9","article-title":"Compilers, principles, techniques","volume":"7","author":"Aho Alfred V","year":"1986","journal-title":"Addison Wesley"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"crossref","unstructured":"Tejasagar Ambati KVNS Srikanth and P Veeraraju. 2012. Simulation of vehicular frontal crash-test. International Journal of Applied Research in Mechanical Engineering (IJARME) ISSN(2012) 2231--5950.  Tejasagar Ambati KVNS Srikanth and P Veeraraju. 2012. Simulation of vehicular frontal crash-test. International Journal of Applied Research in Mechanical Engineering (IJARME) ISSN(2012) 2231--5950.","DOI":"10.47893\/IJARME.2012.1047"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJHVS.2010.029623"},{"key":"e_1_3_2_2_7_1","unstructured":"Robert Gardner Bartle etal 1976. The elements of real analysis. Wiley.  Robert Gardner Bartle et al. 1976. The elements of real analysis. Wiley."},{"key":"e_1_3_2_2_8_1","unstructured":"Bloomberg 2017. Tesla Is Testing Self-Driving Cars on California Roads. https:\/\/www.bloomberg.com\/news\/articles\/2017-02-01\/tesla-is-testing-self-driving-cars-on-california-roads.  Bloomberg 2017. Tesla Is Testing Self-Driving Cars on California Roads. https:\/\/www.bloomberg.com\/news\/articles\/2017-02-01\/tesla-is-testing-self-driving-cars-on-california-roads."},{"key":"e_1_3_2_2_9_1","unstructured":"Boeing Air Taxi 2019. Boeing's Autonomous Taxi Takes Flight.https:\/\/www.wsj.com\/articles\/boeings-autonomous-taxi-takes-flight-11548249580.  Boeing Air Taxi 2019. Boeing's Autonomous Taxi Takes Flight.https:\/\/www.wsj.com\/articles\/boeings-autonomous-taxi-takes-flight-11548249580."},{"key":"e_1_3_2_2_10_1","unstructured":"Boeing737-Ethiopian 2016. Ethiopian Airlines: 'No survivors' on crashed Boeing 737. https:\/\/www.bbc.com\/news\/world-africa-47513508.  Boeing737-Ethiopian 2016. Ethiopian Airlines: 'No survivors' on crashed Boeing 737. https:\/\/www.bbc.com\/news\/world-africa-47513508."},{"key":"e_1_3_2_2_11_1","unstructured":"Boeing737-Lion 2016. Lion Air: How could a brand new plane crash? https:\/\/www.bbc.com\/news\/world-asia-46014260.  Boeing737-Lion 2016. Lion Air: How could a brand new plane crash? https:\/\/www.bbc.com\/news\/world-asia-46014260."},{"key":"e_1_3_2_2_12_1","volume-title":"DMV","author":"California","year":"2019"},{"key":"e_1_3_2_2_13_1","volume-title":"Comprehensive Experimental Analyses of Automotive Attack Surfaces. In USENIX Security Symposium","author":"Checkoway Stephen","year":"2011"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00046"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243752"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.37"},{"key":"e_1_3_2_2_17_1","unstructured":"CNN 2012. Self-driving cars now legal in California. http:\/\/www.cnn.com\/2012\/09\/25\/tech\/innovation\/self-driving-car-california\/index.html.  CNN 2012. Self-driving cars now legal in California. http:\/\/www.cnn.com\/2012\/09\/25\/tech\/innovation\/self-driving-car-california\/index.html."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-4048(93)90054-9"},{"key":"e_1_3_2_2_19_1","unstructured":"comma.ai 2018. commaai\/openpilot: open source driving agent. https:\/\/github.com\/commaai\/openpilot.  comma.ai 2018. commaai\/openpilot: open source driving agent. https:\/\/github.com\/commaai\/openpilot."},{"key":"e_1_3_2_2_21_1","volume-title":"Stack-guard: Automatic adaptive detection and prevention of buffer-overflow attacks. In USENIX security symposium","author":"Cowan Crispan","year":"1998"},{"key":"e_1_3_2_2_22_1","unstructured":"Crash Test 2012. See What Happens When A Boeing 727 Is Crashed Into The Desert On Purpose. https:\/\/www.flightglobal.com\/video-boeing-727-deliberately-crashed-in-desert-for-tv\/105069.article.  Crash Test 2012. See What Happens When A Boeing 727 Is Crashed Into The Desert On Purpose. https:\/\/www.flightglobal.com\/video-boeing-727-deliberately-crashed-in-desert-for-tv\/105069.article."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23644-0_19"},{"key":"e_1_3_2_2_24_1","unstructured":"Drew Davidson Hao Wu Robert Jellinek Vikas Singh and Thomas Ristenpart. 2016. Controlling UAVs with Sensor Input Spoofing Attacks. In WOOT.  Drew Davidson Hao Wu Robert Jellinek Vikas Singh and Thomas Ristenpart. 2016. Controlling UAVs with Sensor Input Spoofing Attacks. In WOOT."},{"key":"e_1_3_2_2_25_1","unstructured":"Kalyanmoy Deb. 2001.Multi-objective optimization using evolutionary algorithms. Vol. 16. John Wiley & Sons.  Kalyanmoy Deb. 2001.Multi-objective optimization using evolutionary algorithms. Vol. 16. John Wiley & Sons."},{"key":"e_1_3_2_2_26_1","volume-title":"Simulated binary crossover for continuous search space. Complex systems 9, 2","author":"Deb Kalyanmoy","year":"1995"},{"key":"e_1_3_2_2_27_1","volume-title":"A combined genetic adaptive search(GeneAS) for engineering design.Computer Science and informatics26","author":"Deb Kalyanmoy","year":"1996"},{"key":"e_1_3_2_2_28_1","volume-title":"Afast and elitist multiobjective genetic algorithm: NSGA-II","author":"Deb Kalyanmoy","year":"2002"},{"key":"e_1_3_2_2_29_1","volume-title":"Omni-optimizer: A generic evolutionary algorithm for single and multi-objective optimization.European Journal of Operational Research 185, 3","author":"Deb Kalyanmoy","year":"2008"},{"key":"e_1_3_2_2_30_1","unstructured":"Demo Video 2019. Head-on crash.https:\/\/drive.google.com\/open?id=1_yHV5eGf13bKISqshB3ieqR62dDYLYgs.  Demo Video 2019. Head-on crash.https:\/\/drive.google.com\/open?id=1_yHV5eGf13bKISqshB3ieqR62dDYLYgs."},{"key":"e_1_3_2_2_31_1","unstructured":"Demo Video 2019. PX4 free fall check.https:\/\/drive.google.com\/open?id=1pGLktjVZPvGXhugJq02GYxAn67XL7BTY.  Demo Video 2019. PX4 free fall check.https:\/\/drive.google.com\/open?id=1pGLktjVZPvGXhugJq02GYxAn67XL7BTY."},{"key":"e_1_3_2_2_32_1","unstructured":"Demo Video 2019. PX4 free fall check fail. https:\/\/drive.google.com\/open?id=19WUb3f_KlUL_Nc8zmwlfKyQysM9KPalG.  Demo Video 2019. PX4 free fall check fail. https:\/\/drive.google.com\/open?id=19WUb3f_KlUL_Nc8zmwlfKyQysM9KPalG."},{"key":"e_1_3_2_2_33_1","unstructured":"Demo Video 2019. PX4 ground contact. https:\/\/drive.google.com\/open?id=1_T8Lk3FX-ujSxh8nBINRAZUfUoI9sI4g.  Demo Video 2019. PX4 ground contact. https:\/\/drive.google.com\/open?id=1_T8Lk3FX-ujSxh8nBINRAZUfUoI9sI4g."},{"key":"e_1_3_2_2_34_1","unstructured":"Demo Video 2019. PX4 ground contact fail. https:\/\/drive.google.com\/open?id=14-lausvtfEjFfGJJtKFdEcLG5k2-XDpf.  Demo Video 2019. PX4 ground contact fail. https:\/\/drive.google.com\/open?id=14-lausvtfEjFfGJJtKFdEcLG5k2-XDpf."},{"key":"e_1_3_2_2_35_1","unstructured":"Demo Video 2019. Rover crash check.https:\/\/drive.google.com\/open?id=1Wiyz0s8fLZlziB9MFBfriVNBZY8RLyPD.  Demo Video 2019. Rover crash check.https:\/\/drive.google.com\/open?id=1Wiyz0s8fLZlziB9MFBfriVNBZY8RLyPD."},{"key":"e_1_3_2_2_36_1","unstructured":"Demo Video 2019. Rover crash check fail. https:\/\/drive.google.com\/open?id=1aB2LMoFySZKr0pq_CWOII53qO5URlWXQ.  Demo Video 2019. Rover crash check fail. https:\/\/drive.google.com\/open?id=1aB2LMoFySZKr0pq_CWOII53qO5URlWXQ."},{"key":"e_1_3_2_2_37_1","unstructured":"Demo Video 2019. Rover crash check fail2. https:\/\/drive.google.com\/open?id=1OnSgODRY2hUwh-9GrCCgKaqk3nzx3Jgn.  Demo Video 2019. Rover crash check fail2. https:\/\/drive.google.com\/open?id=1OnSgODRY2hUwh-9GrCCgKaqk3nzx3Jgn."},{"key":"e_1_3_2_2_38_1","unstructured":"Demo Video 2019. Side crash. https:\/\/drive.google.com\/open?id=1mC-qbZdeWK6ZnHA8RCK-JiTbCnG4jtN8.  Demo Video 2019. Side crash. https:\/\/drive.google.com\/open?id=1mC-qbZdeWK6ZnHA8RCK-JiTbCnG4jtN8."},{"key":"e_1_3_2_2_39_1","unstructured":"Demo Video 2019. Thrust loss check fail. https:\/\/drive.google.com\/open?id=1odEt6ZMw9nlH7Q7ufXbhD-wHoFzytlbS.  Demo Video 2019. Thrust loss check fail. https:\/\/drive.google.com\/open?id=1odEt6ZMw9nlH7Q7ufXbhD-wHoFzytlbS."},{"key":"e_1_3_2_2_40_1","unstructured":"P Dimitri et al. 1999. Nonlinear programming. Athena Scientific.  P Dimitri et al. 1999. Nonlinear programming. Athena Scientific."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1533\/cras.1997.0048"},{"key":"e_1_3_2_2_42_1","volume-title":"Computer Aided Verification, Rupak Majumdar and Viktor Kun?ak (Eds.)","author":"Fan Chuchu"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_29"},{"key":"e_1_3_2_2_44_1","volume-title":"International Conference on Computer Aided Verification. Springer, 379--395","author":"Frehse Goran"},{"key":"e_1_3_2_2_45_1","volume-title":"Henrik Sandberg, and Richard Candell.","author":"Giraldo Jairo","year":"2018"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00029"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.585157"},{"key":"e_1_3_2_2_48_1","volume-title":"Assessing the spoofing threat: Development of a portable GPS civilian spoofer. InProceedings of the ION GNSS international technical meeting of the satellite division","author":"Humphreys Todd E"},{"key":"e_1_3_2_2_49_1","unstructured":"Hyundai S-A1 flying taxi 2019. Hyundai S-A1 flying taxis could take flight by2023 for Uber elevate. https:\/\/www.digitaltrends.com\/cars\/hyundai-sa1-flying-taxi-ces-2020\/.  Hyundai S-A1 flying taxi 2019. Hyundai S-A1 flying taxis could take flight by2023 for Uber elevate. https:\/\/www.digitaltrends.com\/cars\/hyundai-sa1-flying-taxi-ces-2020\/."},{"key":"e_1_3_2_2_50_1","unstructured":"IIHS 2020. Insurance Institute for Highway Safety (IIHS). https:\/\/www.iihs.org.  IIHS 2020. Insurance Institute for Highway Safety (IIHS). https:\/\/www.iihs.org."},{"key":"e_1_3_2_2_51_1","volume-title":"19th USENIX Security Symposium, Washington DC. 11--13","author":"Ishtiaq Roufa Rob Millerb","year":"2010"},{"key":"e_1_3_2_2_52_1","unstructured":"Karen E Jackson Richard L Boitnott Edwin L Fasanella Lisa E Jones and Karen HLyle. 2004. A history of full-scale aircraft and rotorcraft crash testing and simulation at NASA Langley Research Center. (2004).  Karen E Jackson Richard L Boitnott Edwin L Fasanella Lisa E Jones and Karen HLyle. 2004. A history of full-scale aircraft and rotorcraft crash testing and simulation at NASA Langley Research Center. (2004)."},{"key":"e_1_3_2_2_53_1","unstructured":"Karim Nice 2001. How Crash Testing Works. https:\/\/auto.howstuffworks.com\/car-driving-safety\/accidents-hazardous-conditions\/crash-test1.htm.  Karim Nice 2001. How Crash Testing Works. https:\/\/auto.howstuffworks.com\/car-driving-safety\/accidents-hazardous-conditions\/crash-test1.htm."},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23107"},{"key":"e_1_3_2_2_55_1","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Kim Taegyu","year":"2019"},{"key":"e_1_3_2_2_56_1","volume-title":"Security and Privacy (SP), 2010 IEEE Symposium on. IEEE, 447--462","author":"Koscher Karl"},{"key":"e_1_3_2_2_57_1","volume-title":"Software vulnerability analysis","author":"Krsul Ivan Victor"},{"key":"e_1_3_2_2_58_1","volume-title":"System Identification-Theory for the User","author":"Ljung L","year":"1999","edition":"2"},{"key":"e_1_3_2_2_59_1","unstructured":"LS-DYNA 2019. Home | Livermore Software Technology Corp. https:\/\/www.lstc.com\/.  LS-DYNA 2019. Home | Livermore Software Technology Corp. https:\/\/www.lstc.com\/."},{"key":"e_1_3_2_2_60_1","unstructured":"MATLAB 2017. System Identification Toolbox - MATLAB. https:\/\/www.mathworks.com\/products\/sysid.html.  MATLAB 2017. System Identification Toolbox - MATLAB. https:\/\/www.mathworks.com\/products\/sysid.html."},{"key":"e_1_3_2_2_61_1","unstructured":"Open Dynamics Engine 2014. Open Dynamics Engine. https:\/\/www.ode.org.  Open Dynamics Engine 2014. Open Dynamics Engine. https:\/\/www.ode.org."},{"key":"e_1_3_2_2_62_1","unstructured":"Open Source Robotics Foundation 2014. Gazebo. http:\/\/gazebosim.org\/.  Open Source Robotics Foundation 2014. Gazebo. http:\/\/gazebosim.org\/."},{"key":"e_1_3_2_2_63_1","unstructured":"Open Source Robotics Foundation 2019. SDF Home. http:\/\/sdformat.org.  Open Source Robotics Foundation 2019. SDF Home. http:\/\/sdformat.org."},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2266831"},{"key":"e_1_3_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46982-9_19"},{"key":"e_1_3_2_2_67_1","unstructured":"Md Atiqur Rahman and D Praveen Babu. [n.d.]. Simulation of Car Frontal Fascia During Crash using LS-DYNA. ([n. d.]).  Md Atiqur Rahman and D Praveen Babu. [n.d.]. Simulation of Car Frontal Fascia During Crash using LS-DYNA. ([n. d.])."},{"key":"e_1_3_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.728207"},{"key":"e_1_3_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/1030083.1030124"},{"key":"e_1_3_2_2_70_1","unstructured":"Russell Smith et al. 2005. Open dynamics engine. (2005).  Russell Smith et al. 2005. Open dynamics engine. (2005)."},{"key":"e_1_3_2_2_71_1","volume-title":"Rocking Drones with Intentional Sound Noise on Gyroscopic Sensors. In USENIX Security Symposium. 881--896","author":"Son Yunmok","year":"2015"},{"key":"e_1_3_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_2_73_1","volume-title":"2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)","volume":"1","author":"Jia Jingting","year":"2018"},{"key":"e_1_3_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICEC.1996.542653"},{"key":"e_1_3_2_2_75_1","unstructured":"Tesla Accident 2016. The technology behind the Tesla crash explained. https:\/\/www.washingtonpost.com\/news\/the-switch\/wp\/2016\/07\/01\/the-technology-behind-the-tesla-crash-explained\/?noredirect=on&utm_term=.23e1b51bc9e4.  Tesla Accident 2016. The technology behind the Tesla crash explained. https:\/\/www.washingtonpost.com\/news\/the-switch\/wp\/2016\/07\/01\/the-technology-behind-the-tesla-crash-explained\/?noredirect=on&utm_term=.23e1b51bc9e4."},{"key":"e_1_3_2_2_76_1","volume-title":"Nltoolbox: A library for reachability computation of nonlinear dynamical systems. In Automated Technology for Verification and Analysis","author":"Testylier Romain","year":"2013"},{"key":"e_1_3_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046719"},{"key":"e_1_3_2_2_78_1","unstructured":"David A Van Veldhuizen and Gary B Lamont. 1998. Evolutionary computation and convergence to a pareto front. In Late breaking papers at the genetic programming1998 conference. 221--228.  David A Van Veldhuizen and Gary B Lamont. 1998. Evolutionary computation and convergence to a pareto front. In Late breaking papers at the genetic programming1998 conference. 221--228."},{"key":"e_1_3_2_2_79_1","first-page":"19","article-title":"A simple demonstration that the global positioning system (GPS) is vulnerable to spoofing","volume":"25","author":"Warner Jon S","year":"2002","journal-title":"Journal of Security Administration"},{"key":"e_1_3_2_2_80_1","unstructured":"Waymo 2017. Waymo (formerly the Google self-driving car project). https:\/\/waymo.com.  Waymo 2017. Waymo (formerly the Google self-driving car project). https:\/\/waymo.com."},{"key":"e_1_3_2_2_81_1","volume-title":"Principal component analysis. Chemometrics and intelligent laboratory systems 2, 1--3","author":"Wold Svante","year":"1987"},{"key":"e_1_3_2_2_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180237"},{"key":"e_1_3_2_2_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001463"}],"event":{"name":"CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security","location":"Virtual Event USA","acronym":"CCS '20","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372297.3417249","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372297.3417249","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372297.3417249","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:30Z","timestamp":1750197690000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372297.3417249"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,30]]},"references-count":82,"alternative-id":["10.1145\/3372297.3417249","10.1145\/3372297"],"URL":"https:\/\/doi.org\/10.1145\/3372297.3417249","relation":{},"subject":[],"published":{"date-parts":[[2020,10,30]]},"assertion":[{"value":"2020-11-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}