{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T03:43:18Z","timestamp":1773546198185,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":86,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,12,6]],"date-time":"2021-12-06T00:00:00Z","timestamp":1638748800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,12,6]]},"DOI":"10.1145\/3485832.3488022","type":"proceedings-article","created":{"date-parts":[[2021,12,6]],"date-time":"2021-12-06T13:42:32Z","timestamp":1638798152000},"page":"982-995","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Westworld: Fuzzing-Assisted Remote Dynamic Symbolic Execution of Smart Apps on IoT Cloud Platforms"],"prefix":"10.1145","author":[{"given":"Lannan","family":"Luo","sequence":"first","affiliation":[{"name":"University of South Carolina, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiang","family":"Zeng","sequence":"additional","affiliation":[{"name":"University of South Carolina, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bokai","family":"Yang","sequence":"additional","affiliation":[{"name":"University of South Carolina, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei","family":"Zuo","sequence":"additional","affiliation":[{"name":"University of South Carolina, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junzhe","family":"Wang","sequence":"additional","affiliation":[{"name":"University of South Carolina, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,12,6]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AFL. 2020. american fuzzy lop. https:\/\/lcamtuf.coredump.cx\/afl\/."},{"key":"e_1_3_2_1_2_1","volume-title":"Sok: Security evaluation of home-based iot deployments","author":"Alrawi Omar","year":"2019","unstructured":"Omar Alrawi, Chaz Lever, Manos Antonakakis, and Fabian Monrose. 2019. Sok: Security evaluation of home-based iot deployments. In IEEE S&P. 208\u2013226."},{"key":"e_1_3_2_1_3_1","volume-title":"International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research","author":"Amadini Roberto","unstructured":"Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald S\u00f8ndergaard, and Peter\u00a0J Stuckey. 2019. Constraint Programming for Dynamic Symbolic Execution of JavaScript. In International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research. Springer, 1\u201319."},{"key":"e_1_3_2_1_4_1","volume-title":"Brent Lim\u00a0Tze Hao, and David Brumley","author":"Avgerinos Thanassis","year":"2011","unstructured":"Thanassis Avgerinos, Sang\u00a0Kil Cha, Brent Lim\u00a0Tze Hao, and David Brumley. 2011. AEG: Automatic exploit generation. (2011)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297280.3297494"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40667-1_2"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2983940"},{"key":"e_1_3_2_1_9_1","unstructured":"David Brumley Cody Hartwig Min\u00a0Gyung Kang Zhenkai Liang James Newsome Pongsin Poosankam Dawn Song and Heng Yin. 2007. BitScope: Automatically dissecting malicious binaries. Technical Report. Technical Report CS-07-133 School of Computer Science Carnegie Mellon\u00a0\u2026."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"David Brumley Pongsin Poosankam Dawn Song and Jiang Zheng. 2008. Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications. In USENIX Security.","DOI":"10.1109\/SP.2008.17"},{"key":"e_1_3_2_1_11_1","volume-title":"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.. In OSDI, Vol.\u00a08. 209\u2013224.","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, Dawson\u00a0R Engler, 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.. In OSDI, Vol.\u00a08. 209\u2013224."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455518.1455522"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3427228.3427280"},{"key":"e_1_3_2_1_15_1","unstructured":"Z\u00a0Berkay Celik Leonardo Babun Amit\u00a0Kumar Sikder Hidayet Aksu Gang Tan Patrick McDaniel and A\u00a0Selcuk Uluagac. 2018. Sensitive information tracking in commodity IoT. In USENIX Security."},{"key":"e_1_3_2_1_16_1","unstructured":"Z\u00a0Berkay Celik Earlence Fernandes Eric Pauley Gang Tan and Patrick McDaniel. 2018. Program Analysis of Commodity IoT Applications for Security and Privacy: Challenges and Opportunities. arXiv preprint arXiv:1809.06962(2018)."},{"key":"e_1_3_2_1_17_1","volume-title":"Soteria: Automated iot safety and security analysis. In USENIX Security\u201918). 147\u2013158.","author":"Celik Z\u00a0Berkay","year":"2018","unstructured":"Z\u00a0Berkay Celik, Patrick McDaniel, and Gang Tan. 2018. Soteria: Automated iot safety and security analysis. In USENIX Security\u201918). 147\u2013158."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Z\u00a0Berkay Celik Gang Tan and Patrick\u00a0D McDaniel. 2019. IoTGuard: Dynamic Enforcement of Security and Safety Policy in Commodity IoT.. In NDSS.","DOI":"10.14722\/ndss.2019.23326"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00002"},{"key":"e_1_3_2_1_20_1","unstructured":"Haotian Chi Qiang Zeng Xiaojiang Du and Lannan Luo. 2021. PFirewall: Semantics-Aware Customizable Data Flow Control for Home Automation Systems. In NDSS."},{"key":"e_1_3_2_1_21_1","unstructured":"Haotian Chi Qiang Zeng Xiaojiang Du and Jiaping Yu. 2018. Cross-App Interference Threats in Smart Homes: Categorization Detection and Handling. arXiv preprint arXiv:1808.02125(2018)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN48063.2020.00056"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Vitaly Chipounov Volodymyr Kuznetsov and George Candea. 2011. S2E: a Platform for In-Vivo Multi-Path Analysis of Software Systems. In ASPLOS.","DOI":"10.1145\/1950365.1950396"},{"key":"e_1_3_2_1_24_1","unstructured":"[24] Code Review Guidelines and Best Practices.[n. d.]. https:\/\/www.seleniumhq.org."},{"key":"e_1_3_2_1_25_1","unstructured":"J Conway. 1972. Unpredictable iterations. (1972)."},{"key":"e_1_3_2_1_26_1","volume-title":"USENIX Security Symposium. 463\u2013478","author":"Davidson Drew","year":"2013","unstructured":"Drew Davidson, Benjamin Moench, Thomas Ristenpart, and Somesh Jha. 2013. FIE on Firmware: Finding Vulnerabilities in Embedded Systems Using Symbolic Execution.. In USENIX Security Symposium. 463\u2013478."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243865"},{"key":"e_1_3_2_1_29_1","volume-title":"Flowfence: Practical data protection for emerging iot application frameworks. In USENIX Security 16.","author":"Fernandes Earlence","year":"2016","unstructured":"Earlence Fernandes, Justin Paupore, Amir Rahmati, Daniel Simionato, Mauro Conti, and Atul Prakash. 2016. Flowfence: Practical data protection for emerging iot application frameworks. In USENIX Security 16."},{"key":"e_1_3_2_1_30_1","volume-title":"Hawatcher: Semantics-aware anomaly detection for appified smart homes. In 30th {USENIX} Security Symposium ({USENIX} Security 21).","author":"Fu Chenglong","year":"2021","unstructured":"Chenglong Fu, Qiang Zeng, and Xiaojiang Du. 2021. Hawatcher: Semantics-aware anomaly detection for appified smart homes. In 30th {USENIX} Security Symposium ({USENIX} Security 21)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238225"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993529"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Patrice Godefroid Nils Klarlund and Koushik Sen. 2005. DART: directed automated random testing. In ACM Sigplan Notices. ACM.","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_35_1","volume-title":"SAGE: Whitebox Fuzzing for Security Testing: SAGE has had a remarkable impact at Microsoft.Queue 10, 1","author":"Godefroid Patrice","year":"2012","unstructured":"Patrice Godefroid, Michael\u00a0Y Levin, and David Molnar. 2012. SAGE: Whitebox Fuzzing for Security Testing: SAGE has had a remarkable impact at Microsoft.Queue 10, 1 (2012), 20\u201327."},{"key":"e_1_3_2_1_36_1","unstructured":"Patrice Godefroid Michael\u00a0Y Levin David\u00a0A Molnar 2008. Automated Whitebox Fuzz Testing.. In NDSS Vol.\u00a08. 151\u2013166."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143216"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134050"},{"key":"e_1_3_2_1_39_1","unstructured":"Yunhan\u00a0Jack Jia Qi\u00a0Alfred Chen Shiqi Wang Amir Rahmati Earlence Fernandes Zhuoqing\u00a0Morley Mao Atul Prakash and Shanghai\u00a0JiaoTong Unviersity. 2017. ContexloT: Towards Providing Contextual Integrity to Appified IoT Platforms.. In NDSS."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Jeffrey\u00a0C Lagarias. 2010. The ultimate challenge: The 3x+ 1 problem. American Mathematical Soc.","DOI":"10.1090\/mbk\/078"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/357062.357071"},{"key":"e_1_3_2_1_43_1","volume-title":"The 25th annual international conference on mobile computing and networking. 1\u201317.","author":"Li Xiaopeng","unstructured":"Xiaopeng Li, Fengyao Yan, Fei Zuo, Qiang Zeng, and Lannan Luo. 2019. Touch well before use: Intuitive and secure authentication for iot devices. In The 25th annual international conference on mobile computing and networking. 1\u201317."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417286"},{"key":"e_1_3_2_1_45_1","volume-title":"Legion: Best-First Concolic Testing. In 2020 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 54\u201365","author":"Liu Dongge","year":"2020","unstructured":"Dongge Liu, Gidon Ernst, Toby Murray, and Benjamin\u00a0IP Rubinstein. 2020. Legion: Best-First Concolic Testing. In 2020 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 54\u201365."},{"key":"e_1_3_2_1_46_1","unstructured":"Xuanyu Liu Qiang Zeng Xiaojiang Du Siva\u00a0Likitha Valluru Chenglong Fu Xiao Fu and Bin Luo. 2021. SniffMislead: Non-Intrusive Privacy Protection against Wireless Packet Sniffers in Smart Homes. In RAID."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER48275.2020.9054795"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2016.56"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635900"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2655046"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3081333.3081361"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2019.2936561"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382756.2382798"},{"key":"e_1_3_2_1_55_1","volume-title":"Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs. In International Conference on Integrated Formal Methods. Springer, 123\u2013140","author":"Mues Malte","year":"2020","unstructured":"Malte Mues, Till Schallau, and Falk Howar. 2020. Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs. In International Conference on Integrated Formal Methods. Springer, 123\u2013140."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281411.3281440"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167289"},{"key":"e_1_3_2_1_58_1","volume-title":"Hybrid fuzz testing: Discovering software bugs via fuzzing and symbolic execution","author":"Pak S","year":"2012","unstructured":"Brian\u00a0S Pak. 2012. Hybrid fuzz testing: Discovering software bugs via fuzzing and symbolic execution. School of Computer Science Carnegie Mellon University (2012)."},{"key":"e_1_3_2_1_59_1","unstructured":"Corina\u00a0S. P\u0103s\u0103reanu Willem Visser David Bushnell Jaco Geldenhuys Peter Mehlitz and Neha Rungta. [n. d.]. Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. In ASE\u201913."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"crossref","unstructured":"Koushik Sen Darko Marinov and Gul Agha. 2005. CUTE: a concolic unit testing engine for C. In ACM SIGSOFT Software Engineering Notes Vol.\u00a030. ACM 263\u2013272.","DOI":"10.1145\/1095430.1081750"},{"key":"e_1_3_2_1_61_1","volume-title":"WiMob","author":"Sivaraman Vijay","unstructured":"Vijay Sivaraman, Hassan\u00a0Habibi Gharakheili, Arun Vishwanath, Roksana Boreli, and Olivier Mehani. 2015. Network-level security and privacy control for smart-home IoT devices. In WiMob. IEEE."},{"key":"e_1_3_2_1_62_1","unstructured":"SmartThings. [n. d.]. An Overview of Using Custom Code in SmartThings. https:\/\/community.smartthings.com\/t\/faq-an-overview-of-using-custom-code-in-smartthings-smartthings-classic\/16772."},{"key":"e_1_3_2_1_63_1","unstructured":"SmartThings. [n. d.]. SmartThings Community. https:\/\/community.smartthings.com."},{"key":"e_1_3_2_1_64_1","unstructured":"SmartThings. 2018. Code Review Guidelines and Best Practices. https:\/\/docs.smartthings.com\/en\/latest\/code-review-guidelines.html."},{"key":"e_1_3_2_1_65_1","unstructured":"SmartThings. 2020. SmartThings Community Forum For Third-party Apps. https:\/\/community.smartthings.com\/."},{"key":"e_1_3_2_1_66_1","unstructured":"SmartThings. 2020. SmartThings Official App Repository. https:\/\/github.com\/SmartThingsCommunity."},{"key":"e_1_3_2_1_67_1","volume-title":"Driller: Augmenting Fuzzing Through Selective Symbolic Execution.. In NDSS, Vol.\u00a016. 1\u201316.","author":"Stephens Nick","year":"2016","unstructured":"Nick Stephens, John Grosen, Christopher Salls, Andrew Dutcher, Ruoyu Wang, Jacopo Corbetta, Yan Shoshitaishvili, Christopher Kruegel, and Giovanni Vigna. 2016. Driller: Augmenting Fuzzing Through Selective Symbolic Execution.. In NDSS, Vol.\u00a016. 1\u201316."},{"key":"e_1_3_2_1_68_1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE). IEEE, 337\u2013342","author":"Subramanyan Pramod","year":"2016","unstructured":"Pramod Subramanyan, Sharad Malik, Hareesh Khattri, Abhranil Maiti, and Jason Fung. 2016. Verifying information flow properties of firmware using symbolic execution. In 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, 337\u2013342."},{"key":"e_1_3_2_1_69_1","unstructured":"The Apache Groovy Programming Language. 2019. Closures. https:\/\/groovy-lang.org\/closures.html."},{"key":"e_1_3_2_1_70_1","unstructured":"Things That Are Smart. [n. d.]. Using Custom Code. https:\/\/thingsthataresmart.wiki\/index.php?title=Using_Custom_Code."},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409682"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3345662"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"crossref","unstructured":"Qi Wang Wajih\u00a0Ul Hassan Adam Bates and Carl Gunter. 2018. Fear and Logging in the Internet of Things. In NDSS.","DOI":"10.14722\/ndss.2018.23282"},{"key":"e_1_3_2_1_74_1","unstructured":"Tielei Wang Tao Wei Zhiqiang Lin and Wei Zou. 2009. IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution.. In NDSS. Citeseer."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180177"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2911202"},{"key":"e_1_3_2_1_77_1","volume-title":"27th {USENIX} Security Symposium ({USENIX} Security 18). 745\u2013761.","author":"Yun Insu","unstructured":"Insu Yun, Sangho Lee, Meng Xu, Yeongjin Jang, and Taesoo Kim. 2018. {QSYM}: A practical concolic execution engine tailored for hybrid fuzzing. In 27th {USENIX} Security Symposium ({USENIX} Security 18). 745\u2013761."},{"key":"e_1_3_2_1_78_1","volume-title":"AVATAR: A Framework to Support Dynamic Security Analysis of Embedded Systems","author":"Zaddach Jonas","year":"2014","unstructured":"Jonas Zaddach, Luca Bruno, Aurelien Francillon, and Davide Balzarotti. 2014. AVATAR: A Framework to Support Dynamic Security Analysis of Embedded Systems\u2019 Firmwares.. In NDSS."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168820"},{"key":"e_1_3_2_1_80_1","volume-title":"Resilient user-side Android application repackaging and tampering detection using cryptographically obfuscated logic bombs","author":"Zeng Qiang","year":"2019","unstructured":"Qiang Zeng, Lannan Luo, Zhiyun Qian, Xiaojiang Du, Zhoujun Li, Chin-Tser Huang, and Csilla Farkas. 2019. Resilient user-side Android application repackaging and tampering detection using cryptographically obfuscated logic bombs. IEEE Transactions on Dependable and Secure Computing (2019)."},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2017.0200"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2016.7515929"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1109\/TENCON.2017.8227972"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"crossref","unstructured":"Lei Zhao Yue Duan Heng Yin and Jifeng Xuan. 2019. Send Hardest Problems My Way: Probabilistic Path Prioritization for Hybrid Fuzzing.. In NDSS.","DOI":"10.14722\/ndss.2019.23504"},{"key":"e_1_3_2_1_85_1","volume-title":"30th {USENIX} Security Symposium ({USENIX} Security 21).","author":"Zhou Wei","unstructured":"Wei Zhou, Le Guan, Peng Liu, and Yuqing Zhang. 2021. Automatic Firmware Emulation through Invalidity-guided Knowledge Inference. In 30th {USENIX} Security Symposium ({USENIX} Security 21)."},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/3038912.3052609"}],"event":{"name":"ACSAC '21: Annual Computer Security Applications Conference","location":"Virtual Event USA","acronym":"ACSAC '21"},"container-title":["Annual Computer Security Applications Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3485832.3488022","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3485832.3488022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T19:16:59Z","timestamp":1755890219000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3485832.3488022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,6]]},"references-count":86,"alternative-id":["10.1145\/3485832.3488022","10.1145\/3485832"],"URL":"https:\/\/doi.org\/10.1145\/3485832.3488022","relation":{},"subject":[],"published":{"date-parts":[[2021,12,6]]},"assertion":[{"value":"2021-12-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}