{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T15:56:08Z","timestamp":1782834968402,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-2144645, 1901242, 1910300"],"award-info":[{"award-number":["CNS-2144645, 1901242, 1910300"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61702263"],"award-info":[{"award-number":["61702263"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004543","name":"China Scholarship Council","doi-asserted-by":"publisher","award":["201906845026"],"award-info":[{"award-number":["201906845026"]}],"id":[{"id":"10.13039\/501100004543","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Rolls-Royce Cyber Technology Research Network Award"},{"name":"DARPA VSPELLS","award":["HR001120S0058"],"award-info":[{"award-number":["HR001120S0058"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3548606.3560644","type":"proceedings-article","created":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T11:41:28Z","timestamp":1667821288000},"page":"2415-2428","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Discovering IoT Physical Channel Vulnerabilities"],"prefix":"10.1145","author":[{"given":"Muslum Ozgur","family":"Ozmen","sequence":"first","affiliation":[{"name":"Purdue University, West Lafayette, IN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xuansong","family":"Li","sequence":"additional","affiliation":[{"name":"Nanjing University of Science and Technology & Nanjing University, Nanijng, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrew","family":"Chu","sequence":"additional","affiliation":[{"name":"University of Chicago, Chicago, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Z. Berkay","family":"Celik","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette, IN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bardh","family":"Hoxha","sequence":"additional","affiliation":[{"name":"Toyota Research Institute North America, Ann Arbor, MI, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiangyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette, IN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Houssam Abbas Georgios Fainekos Sriram Sankaranarayanan and Aarti Gupta. 2013. Probabilistic temporal logic falsification of cyber-physical systems. ACM Transactions on Embedded Computing Systems (TECS).  Houssam Abbas Georgios Fainekos Sriram Sankaranarayanan and Aarti Gupta. 2013. Probabilistic temporal logic falsification of cyber-physical systems. ACM Transactions on Embedded Computing Systems (TECS).","DOI":"10.1145\/2465787.2465797"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961854"},{"key":"e_1_3_2_1_3_1","volume-title":"Markus Miettinen, Hidayet Aksu, Mauro Conti, Ahmad-Reza Sadeghi, and A Selcuk Uluagac.","author":"Acar Abbas","year":"2018","unstructured":"Abbas Acar , Hossein Fereidooni , Tigist Abera , Amit Kumar Sikder , Markus Miettinen, Hidayet Aksu, Mauro Conti, Ahmad-Reza Sadeghi, and A Selcuk Uluagac. 2018 . Peek-a-Boo : I see your smart home activities, even encrypted! arXiv preprint arXiv:1808.02741. Abbas Acar, Hossein Fereidooni, Tigist Abera, Amit Kumar Sikder, Markus Miettinen, Hidayet Aksu, Mauro Conti, Ahmad-Reza Sadeghi, and A Selcuk Uluagac. 2018. Peek-a-Boo: I see your smart home activities, even encrypted! arXiv preprint arXiv:1808.02741."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2013.6505900"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397347"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Rajeev Alur Costas Courcoubetis Nicolas Halbwachs Thomas A Henzinger Pei-Hsin Ho Xavier Nicollin Alfredo Olivero Joseph Sifakis and Sergio Yovine. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science.  Rajeev Alur Costas Courcoubetis Nicolas Halbwachs Thomas A Henzinger Pei-Hsin Ho Xavier Nicollin Alfredo Olivero Joseph Sifakis and Sergio Yovine. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science.","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2010.5675195"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"e_1_3_2_1_9_1","volume-title":"SITL 2022","author":"Ardupilot","year":"2022","unstructured":"Ardupilot SITL 2022 . Ardupilot Simulation. https:\/\/ardupilot.org\/dev\/docs\/ simulation-2.html. [Online; accessed 18-April- 2022 ]. Ardupilot SITL 2022. Ardupilot Simulation. https:\/\/ardupilot.org\/dev\/docs\/ simulation-2.html. [Online; accessed 18-April-2022]."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2019.00029"},{"key":"e_1_3_2_1_11_1","volume-title":"Friendly Fire: Cross-App Interactions in IoT Platforms. ACM Transactions on Privacy and Security (TOPS).","author":"Balliu Musard","year":"2020","unstructured":"Musard Balliu , Massimo Merro , Michele Pasqua , and Mikhail Shcherbakov . 2020 . Friendly Fire: Cross-App Interactions in IoT Platforms. ACM Transactions on Privacy and Security (TOPS). Musard Balliu, Massimo Merro, Michele Pasqua, and Mikhail Shcherbakov. 2020. Friendly Fire: Cross-App Interactions in IoT Platforms. ACM Transactions on Privacy and Security (TOPS)."},{"key":"e_1_3_2_1_12_1","volume-title":"Shi Han, Dongmei Zhang, Shan Lin, and Xuandong Li.","author":"Bu Lei","year":"2018","unstructured":"Lei Bu , Wen Xiong , Chieh-Jan Mike Liang , Shi Han, Dongmei Zhang, Shan Lin, and Xuandong Li. 2018 . Systematically ensuring the confidence of real-time home automation IoT systems. ACM Transactions on Cyber-Physical Systems . Lei Bu, Wen Xiong, Chieh-Jan Mike Liang, Shi Han, Dongmei Zhang, Shan Lin, and Xuandong Li. 2018. Systematically ensuring the confidence of real-time home automation IoT systems. ACM Transactions on Cyber-Physical Systems."},{"key":"e_1_3_2_1_13_1","volume-title":"Carla - Control and Monitor Vehicle Physics. https:\/\/carla. readthedocs.io\/en\/latest\/tuto_G_control_vehicle_physics\/. [Online","author":"Carla Physics","year":"2022","unstructured":"Carla Physics 2022. Carla - Control and Monitor Vehicle Physics. https:\/\/carla. readthedocs.io\/en\/latest\/tuto_G_control_vehicle_physics\/. [Online ; accessed 18- April - 2022 ]. Carla Physics 2022. Carla - Control and Monitor Vehicle Physics. https:\/\/carla. readthedocs.io\/en\/latest\/tuto_G_control_vehicle_physics\/. [Online; accessed 18-April-2022]."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Z Berkay Celik Earlence Fernandes Eric Pauley Gang Tan and Patrick McDaniel. 2019. Program analysis of commodity IoT applications for security and privacy: Challenges and opportunities. ACM Computing Surveys (CSUR).  Z Berkay Celik Earlence Fernandes Eric Pauley Gang Tan and Patrick McDaniel. 2019. Program analysis of commodity IoT applications for security and privacy: Challenges and opportunities. ACM Computing Surveys (CSUR).","DOI":"10.1145\/3333501"},{"key":"e_1_3_2_1_15_1","volume-title":"USENIX Annual Technical Conference (USENIX ATC).","author":"Celik Z Berkay","year":"2018","unstructured":"Z Berkay Celik , Patrick McDaniel , and Gang Tan . 2018 . Soteria: Automated IoT safety and security analysis . In USENIX Annual Technical Conference (USENIX ATC). Z Berkay Celik, Patrick McDaniel, and Gang Tan. 2018. Soteria: Automated IoT safety and security analysis. In USENIX Annual Technical Conference (USENIX ATC)."},{"key":"e_1_3_2_1_16_1","volume-title":"Verifying internet of things safety and security in physical spaces","author":"Celik Z Berkay","unstructured":"Z Berkay Celik , Patrick McDaniel , Gang Tan , Leonardo Babun , and A Selcuk Uluagac . 2019. Verifying internet of things safety and security in physical spaces . IEEE Security & Privacy . Z Berkay Celik, Patrick McDaniel, Gang Tan, Leonardo Babun, and A Selcuk Uluagac. 2019. Verifying internet of things safety and security in physical spaces. IEEE Security & Privacy."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Z Berkay Celik Gang Tan and Patrick D McDaniel. 2019. IoTGuard: Dynamic Enforcement of Security and Safety Policy in Commodity IoT. In NDSS.  Z Berkay Celik Gang Tan and Patrick D 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_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN48063.2020.00056"},{"key":"e_1_3_2_1_19_1","volume":"202","author":"Corso Anthony","unstructured":"Anthony Corso , Robert J Moss , Mark Koren , Ritchie Lee , and Mykel J Kochenderfer. 202 0. A survey of algorithms for black-box safety validation. arXiv preprint arXiv:2005.02979. Anthony Corso, Robert J Moss, Mark Koren, Ritchie Lee, and Mykel J Kochenderfer. 2020. A survey of algorithms for black-box safety validation. arXiv preprint arXiv:2005.02979.","journal-title":"Mykel J Kochenderfer."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243865"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Wenbo Ding Hongxin Hu and Long Cheng. 2021. IoTSafe: Enforcing Safety and Security Policy with Real IoT Physical Interaction Discovery. In NDSS.  Wenbo Ding Hongxin Hu and Long Cheng. 2021. IoTSafe: Enforcing Safety and Security Policy with Real IoT Physical Interaction Discovery. In NDSS.","DOI":"10.14722\/ndss.2021.24368"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32079-9_3"},{"key":"e_1_3_2_1_23_1","unstructured":"Chenglong Fu Qiang Zeng and Xiaojiang Du. 2021. HAWatcher: SemanticsAware Anomaly Detection for Appified Smart Homes. In USENIX Security.  Chenglong Fu Qiang Zeng and Xiaojiang Du. 2021. HAWatcher: SemanticsAware Anomaly Detection for Appified Smart Homes. In USENIX Security."},{"key":"e_1_3_2_1_24_1","unstructured":"Patrice Godefroid Michael Y Levin and David A Molnar. 2008. Automated Whitebox Fuzz Testing. In NDSS.  Patrice Godefroid Michael Y Levin and David A Molnar. 2008. Automated Whitebox Fuzz Testing. In NDSS."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPW53761.2021.00038"},{"key":"e_1_3_2_1_26_1","first-page":"1","volume":"200","unstructured":"Matthew J Hancock. 200 6. The 1 -D heat equation. MIT OpenCourseWare. Matthew J Hancock. 2006. The 1-D heat equation. MIT OpenCourseWare.","journal-title":"Matthew J Hancock."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Thomas A Henzinger Peter W Kopke Anuj Puri and Pravin Varaiya. 1998. What's decidable about hybrid automata? J. Comput. System Sci.  Thomas A Henzinger Peter W Kopke Anuj Puri and Pravin Varaiya. 1998. What's decidable about hybrid automata? J. Comput. System Sci.","DOI":"10.1006\/jcss.1998.1581"},{"key":"e_1_3_2_1_28_1","volume-title":"https:\/\/www.apple.com\/ios\/home\/. [Online","author":"Apple's HomeKit HomeKit","year":"2022","unstructured":"HomeKit 2022. Apple's HomeKit . https:\/\/www.apple.com\/ios\/home\/. [Online ; accessed 30- April - 2022 ]. HomeKit 2022. Apple's HomeKit. https:\/\/www.apple.com\/ios\/home\/. [Online; accessed 30-April-2022]."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Bardh Hoxha Adel Dokhanchi and Georgios Fainekos. 2018. Mining parametric temporal logic properties in model-based design for cyber-physical systems. International Journal on Software Tools for Technology Transfer.  Bardh Hoxha Adel Dokhanchi and Georgios Fainekos. 2018. Mining parametric temporal logic properties in model-based design for cyber-physical systems. International Journal on Software Tools for Technology Transfer.","DOI":"10.1007\/s10009-017-0447-4"},{"key":"e_1_3_2_1_30_1","volume-title":"https:\/\/ifttt.com\/. [Online","author":"If This Then IFTTT","year":"2022","unstructured":"IFTTT 2022. IFTTT ( If This Then That). https:\/\/ifttt.com\/. [Online ; accessed 18- April - 2022 ]. IFTTT 2022. IFTTT (If This Then That). https:\/\/ifttt.com\/. [Online; accessed 18-April-2022]."},{"key":"e_1_3_2_1_31_1","volume":"199","author":"Jackson AG","unstructured":"AG Jackson , SJP Laube , and J Busbee. 199 6. Sensor principles and methods for measuring physical properties. JOM. AG Jackson, SJP Laube, and J Busbee. 1996. Sensor principles and methods for measuring physical properties. JOM.","journal-title":"J Busbee."},{"key":"e_1_3_2_1_32_1","unstructured":"Karel J Keesman. 201"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Mark G Lawrence. 2005. The relationship between relative humidity and the dewpoint temperature in moist air: A simple conversion and applications. Bulletin of the American Meteorological Society.  Mark G Lawrence. 2005. The relationship between relative humidity and the dewpoint temperature in moist air: A simple conversion and applications. Bulletin of the American Meteorological Society.","DOI":"10.1175\/BAMS-86-2-225"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Nancy Lynch Roberto Segala and Frits Vaandrager. 2003. Hybrid I\/O automata. Information and Computation.  Nancy Lynch Roberto Segala and Frits Vaandrager. 2003. Hybrid I\/O automata. Information and Computation.","DOI":"10.1016\/S0890-5401(03)00067-1"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00062"},{"key":"e_1_3_2_1_36_1","volume-title":"Fiber Optics","author":"Mitschke Fedor","unstructured":"Fedor Mitschke . 2009. Decibel units . In Fiber Optics . Springer . Fedor Mitschke. 2009. Decibel units. In Fiber Optics. Springer."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281411.3281440"},{"key":"e_1_3_2_1_38_1","unstructured":"Justin Norden Matthew O'Kelly and Aman Sinha. 2019. Efficient black-box assessment of autonomous vehicle safety. arXiv preprint arXiv:1912.03618.  Justin Norden Matthew O'Kelly and Aman Sinha. 2019. Efficient black-box assessment of autonomous vehicle safety. arXiv preprint arXiv:1912.03618."},{"key":"e_1_3_2_1_39_1","volume-title":"OpenHAB: Open Source Automation Software for Home. https: \/\/www.openhab.org\/. [Online","author":"OpenHab","year":"2022","unstructured":"OpenHab 2022. OpenHAB: Open Source Automation Software for Home. https: \/\/www.openhab.org\/. [Online ; accessed 30- April - 2022 ]. OpenHab 2022. OpenHAB: Open Source Automation Software for Home. https: \/\/www.openhab.org\/. [Online; accessed 30-April-2022]."},{"key":"e_1_3_2_1_40_1","unstructured":"Muslum Ozgur Ozmen Xuansong Li Andrew Chu Z. Berkay Celik Bardh Hoxha and Xiangyu Zhang. 2022. Discovering IoT Physical Channel Vulnerabilities. arXiv preprint arXiv:2102.01812.  Muslum Ozgur Ozmen Xuansong Li Andrew Chu Z. Berkay Celik Bardh Hoxha and Xiangyu Zhang. 2022. Discovering IoT Physical Channel Vulnerabilities. arXiv preprint arXiv:2102.01812."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_31"},{"key":"e_1_3_2_1_42_1","unstructured":"Claudius Ptolemaeus (Ed.). 2014. System Design Modeling and Simulation using Ptolemy II. Ptolemy.org. http:\/\/ptolemy.org\/books\/Systems  Claudius Ptolemaeus (Ed.). 2014. System Design Modeling and Simulation using Ptolemy II. Ptolemy.org. http:\/\/ptolemy.org\/books\/Systems"},{"key":"e_1_3_2_1_43_1","volume-title":"SITL 2022","year":"2022","unstructured":"PX4 SITL 2022 . PX4 Simulation. https:\/\/docs.px4.io\/master\/en\/simulation\/. [Online; accessed 18-April- 2022 ]. PX4 SITL 2022. PX4 Simulation. https:\/\/docs.px4.io\/master\/en\/simulation\/. [Online; accessed 18-April-2022]."},{"key":"e_1_3_2_1_44_1","volume-title":"Noise theory and application to physics: from fluctuations to information","author":"R\u00e9fr\u00e9gier Philippe","unstructured":"Philippe R\u00e9fr\u00e9gier . 2004. Noise theory and application to physics: from fluctuations to information . Springer Science & Business Media . Philippe R\u00e9fr\u00e9gier. 2004. Noise theory and application to physics: from fluctuations to information. Springer Science & Business Media."},{"key":"e_1_3_2_1_45_1","volume-title":"Lumos: Identifying and Localizing Diverse Hidden IoT Devices in an Unfamiliar Environment. In USENIX Security.","author":"Sharma Rahul Anand","year":"2022","unstructured":"Rahul Anand Sharma , Elahe Soltanaghaei , Anthony Rowe , and Vyas Sekar . 2022 . Lumos: Identifying and Localizing Diverse Hidden IoT Devices in an Unfamiliar Environment. In USENIX Security. Rahul Anand Sharma, Elahe Soltanaghaei, Anthony Rowe, and Vyas Sekar. 2022. Lumos: Identifying and Localizing Diverse Hidden IoT Devices in an Unfamiliar Environment. In USENIX Security."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3038912.3052709"},{"key":"e_1_3_2_1_47_1","volume-title":"Smartauth: User-centered authorization for the internet of things. In USENIX Security.","author":"Tian Yuan","year":"2017","unstructured":"Yuan Tian , Nan Zhang , Yueh-Hsun Lin , XiaoFeng Wang , Blase Ur , Xianzheng Guo , and Patrick Tague . 2017 . Smartauth: User-centered authorization for the internet of things. In USENIX Security. Yuan Tian, Nan Zhang, Yueh-Hsun Lin, XiaoFeng Wang, Blase Ur, Xianzheng Guo, and Patrick Tague. 2017. Smartauth: User-centered authorization for the internet of things. In USENIX Security."},{"key":"e_1_3_2_1_48_1","volume-title":"CHI Conference on Human Factors in Computing Systems.","author":"Ur Blase","year":"2016","unstructured":"Blase Ur , Melwyn Pak Yong Ho , Stephen Brawner , Jiyun Lee , Sarah Mennicken , Noah Picard , Diane Schulze , and Michael L Littman . 2016 . Trigger-action programming in the wild: An analysis of 200,000 IFTTT recipes . In CHI Conference on Human Factors in Computing Systems. Blase Ur, Melwyn Pak Yong Ho, Stephen Brawner, Jiyun Lee, Sarah Mennicken, Noah Picard, Diane Schulze, and Michael L Littman. 2016. Trigger-action programming in the wild: An analysis of 200,000 IFTTT recipes. In CHI Conference on Human Factors in Computing Systems."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Nikolaos Voudoukis and Sarantos Oikonomidis. 2017. Inverse square law for light and radiation: A unifying educational approach. European Journal of Engineering Research and Science.  Nikolaos Voudoukis and Sarantos Oikonomidis. 2017. Inverse square law for light and radiation: A unifying educational approach. European Journal of Engineering Research and Science.","DOI":"10.24018\/ejers.2017.2.11.517"},{"key":"e_1_3_2_1_50_1","volume-title":"Charting the Attack Surface of Trigger-Action IoT Platforms. In ACM SIGSAC Conference on Computer and Communications Security (CCS).","author":"Wang Qi","year":"2019","unstructured":"Qi Wang , Pubali Datta , Wei Yang , Si Liu , Adam Bates , and Carl A Gunter . 2019 . Charting the Attack Surface of Trigger-Action IoT Platforms. In ACM SIGSAC Conference on Computer and Communications Security (CCS). Qi Wang, Pubali Datta, Wei Yang, Si Liu, Adam Bates, and Carl A Gunter. 2019. Charting the Attack Surface of Trigger-Action IoT Platforms. In ACM SIGSAC Conference on Computer and Communications Security (CCS)."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1435473.1435475"},{"key":"e_1_3_2_1_52_1","volume-title":"Zapier: Connect your apps and automate workflows. https:\/\/zapier. com\/. [Online","author":"Zapier","year":"2022","unstructured":"Zapier 2022. Zapier: Connect your apps and automate workflows. https:\/\/zapier. com\/. [Online ; accessed 30- April - 2022 ]. Zapier 2022. Zapier: Connect your apps and automate workflows. https:\/\/zapier. com\/. [Online; accessed 30-April-2022]."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00043"},{"key":"e_1_3_2_1_54_1","volume-title":"CHI Conference on Human Factors in Computing Systems.","author":"Zhao Valerie","year":"2020","unstructured":"Valerie Zhao , Lefan Zhang , Bo Wang , Shan Lu , and Blase Ur . 2020 . Visualizing Differences to Improve End-User Understanding of Trigger-Action Programs . In CHI Conference on Human Factors in Computing Systems. Valerie Zhao, Lefan Zhang, Bo Wang, Shan Lu, and Blase Ur. 2020. Visualizing Differences to Improve End-User Understanding of Trigger-Action Programs. In CHI Conference on Human Factors in Computing Systems."},{"key":"e_1_3_2_1_55_1","volume-title":"Industrial Ventilation Design Guidebook","author":"Zhivov Alexander","unstructured":"Alexander Zhivov , Hakon Skistad , Elisabeth Mundt , Vladimir Posokhin , Mike Ratcliff , Eugene Shilkrot , and Andrey Strongin . 2001. Principles of air and contaminant movement inside and around buildings . In Industrial Ventilation Design Guidebook . Elsevier . Alexander Zhivov, Hakon Skistad, Elisabeth Mundt, Vladimir Posokhin, Mike Ratcliff, Eugene Shilkrot, and Andrey Strongin. 2001. Principles of air and contaminant movement inside and around buildings. In Industrial Ventilation Design Guidebook. Elsevier."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656045.2656061"}],"event":{"name":"CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security","location":"Los Angeles CA USA","acronym":"CCS '22","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548606.3560644","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3548606.3560644","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3548606.3560644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:59Z","timestamp":1750182539000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548606.3560644"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":56,"alternative-id":["10.1145\/3548606.3560644","10.1145\/3548606"],"URL":"https:\/\/doi.org\/10.1145\/3548606.3560644","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}