{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:26:26Z","timestamp":1784301986336,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T00:00:00Z","timestamp":1683590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"DARPA ARCOS","award":["FA8750-20-C-0507"],"award-info":[{"award-number":["FA8750-20-C-0507"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,9]]},"DOI":"10.1145\/3575870.3587122","type":"proceedings-article","created":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T22:42:27Z","timestamp":1683585747000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Stealthy attacks formalized as STL formulas for Falsification of CPS Security"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2914-9207","authenticated-orcid":false,"given":"Aniruddh","family":"Chandratre","sequence":"first","affiliation":[{"name":"School of Computing and Augmented Intelligence, Arizona State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-2960-4102","authenticated-orcid":false,"given":"Tomas","family":"Hernandez Acosta","sequence":"additional","affiliation":[{"name":"School of Computing and Augmented Intelligence, Arizona State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5029-5607","authenticated-orcid":false,"given":"Tanmay","family":"Khandait","sequence":"additional","affiliation":[{"name":"School of Computing and Augmented Intelligence, Arizona State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6726-9790","authenticated-orcid":false,"given":"Giulia","family":"Pedrielli","sequence":"additional","affiliation":[{"name":"School of Computing and Augmented Intelligence, Arizona State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0456-2129","authenticated-orcid":false,"given":"Georgios","family":"Fainekos","sequence":"additional","affiliation":[{"name":"Toyota NA R&D, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465797"},{"key":"e_1_3_2_1_2_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems, Parosh\u00a0Aziz Abdulla and K.\u00a0Rustan\u00a0M","author":"Annpureddy Yashwanth","unstructured":"Yashwanth Annpureddy, Che Liu, Georgios Fainekos, and Sriram Sankaranarayanan. 2011. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. In Tools and Algorithms for the Construction and Analysis of Systems, Parosh\u00a0Aziz Abdulla and K.\u00a0Rustan\u00a0M. Leino (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 254\u2013257."},{"key":"e_1_3_2_1_3_1","volume-title":"Lectures on Runtime Verification - Introductory and Advanced Topics. LNCS, Vol.\u00a010457","author":"Bartocci Ezio","unstructured":"Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donz\u00e9, Georgios Fainekos, Oded Maler, Dejan Nickovic, and Sriram Sankaranarayanan. 2018. Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. In Lectures on Runtime Verification - Introductory and Advanced Topics. LNCS, Vol.\u00a010457. Springer, 128\u2013168."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4399042"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3339815"},{"key":"e_1_3_2_1_6_1","unstructured":"Richard Chirgwin. 2017. Researchers blind autonomous cars by tricking LIDAR. https:\/\/theregister.com\/2017\/06\/27\/lidar_spoofed_bad_news_for_self_driving_cars\/ Last accessed on 2022-10-30."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12716"},{"key":"e_1_3_2_1_8_1","volume-title":"Stealth attacks and protection schemes for state estimators in power systems. In 2010 first IEEE international conference on smart grid communications","author":"D\u00e1n Gy\u00f6rgy","unstructured":"Gy\u00f6rgy D\u00e1n and Henrik Sandberg. 2010. Stealth attacks and protection schemes for state estimators in power systems. In 2010 first IEEE international conference on smart grid communications. IEEE, 214\u2013219."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126521"},{"key":"e_1_3_2_1_10_1","volume-title":"Computer Aided Verification (CAV)(LNCS, Vol.\u00a06174)","author":"Donze Alexandre","unstructured":"Alexandre Donze. 2010. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. In Computer Aided Verification (CAV)(LNCS, Vol.\u00a06174). Springer, 167\u2013170."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885174.1885183"},{"key":"e_1_3_2_1_12_1","volume-title":"Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. In 7th International Symposium NASA Formal Methods (NFM)(LNCS, Vol.\u00a09058)","author":"Dreossi Tommaso","year":"2015","unstructured":"Tommaso Dreossi, Thao Dang, Alexandre Donz\u00e9, James Kapinski, Xiaoqing Jin, and Jyotirmoy\u00a0V. Deshmukh. 2015. Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. In 7th International Symposium NASA Formal Methods (NFM)(LNCS, Vol.\u00a09058). Springer, 127\u2013142."},{"key":"e_1_3_2_1_13_1","unstructured":"The Economist. 2021. Why vessels passing near Iran may have trouble staying on course. https:\/\/www.economist.com\/middle-east-and-africa\/2021\/05\/22\/why-vessels-passing-near-iran-may-have-trouble-staying-on-course Last accessed on 2022-10-30."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Gidon Ernst Paolo Arcaini Ismail Bennani Aniruddh Chandratre Alexandre Donz\u00e9 Georgios Fainekos Goran Frehse Khouloud Gaaloul Jun Inoue Tanmay Khandait 2021. ARCH-COMP 2021 Category Report: Falsification with Validation of Results.. In ARCH@ ADHS. 133\u2013152.","DOI":"10.29007\/xwl1"},{"key":"e_1_3_2_1_15_1","volume-title":"Quantitative Evaluation of Systems","author":"Ernst Gidon","unstructured":"Gidon Ernst, Sean Sedwards, Zhenya Zhang, and Ichiro Hasuo. 2019. Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input. In Quantitative Evaluation of Systems, David Parker and Verena Wolf (Eds.). Springer International Publishing, Cham, 165\u2013181."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"e_1_3_2_1_17_1","volume-title":"A deep learning-based framework for conducting stealthy attacks in industrial control systems. arXiv preprint arXiv:1709.06397","author":"Feng Cheng","year":"2017","unstructured":"Cheng Feng, Tingting Li, Zhanxing Zhu, and Deeph Chana. 2017. A deep learning-based framework for conducting stealthy attacks in industrial control systems. arXiv preprint arXiv:1709.06397 (2017)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jappmathmech.2006.03.010"},{"key":"e_1_3_2_1_19_1","volume-title":"31st USENIX Security Symposium (USENIX SECURITY).","author":"Hallyburton R\u00a0Spencer","year":"2022","unstructured":"R\u00a0Spencer Hallyburton, Yupei Liu, Yulong Cao, Z\u00a0Morley Mao, and Miroslav Pajic. 2022. Security analysis of camera-lidar fusion against black-box attacks on autonomous vehicles. In 31st USENIX Security Symposium (USENIX SECURITY)."},{"key":"e_1_3_2_1_20_1","volume-title":"Adversarial attacks on neural network policies. arXiv preprint arXiv:1702.02284","author":"Huang Sandy","year":"2017","unstructured":"Sandy Huang, Nicolas Papernot, Ian Goodfellow, Yan Duan, and Pieter Abbeel. 2017. Adversarial attacks on neural network policies. arXiv preprint arXiv:1702.02284 (2017)."},{"key":"e_1_3_2_1_21_1","volume-title":"Iran says it downed U.S. stealth drone","author":"Jaffe Greg","year":"2011","unstructured":"Greg Jaffe. 2011. Iran says it downed U.S. stealth drone; Pentagon acknowledges aircraft downing. https:\/\/www.washingtonpost.com\/world\/national-security\/iran-says-it-downed-us-stealth-drone-pentagon-acknowledges-aircraft-downing\/2011\/12\/04\/gIQAyxa8TO_story.html, Last accessed on 2022-10-30."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008306431147"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2016.2602089"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS54341.2022.00030"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264421"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010201"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3433210.3437513"},{"key":"e_1_3_2_1_28_1","volume-title":"Tactics of adversarial attack on deep reinforcement learning agents. arXiv preprint arXiv:1703.06748","author":"Lin Yen-Chen","year":"2017","unstructured":"Yen-Chen Lin, Zhang-Wei Hong, Yuan-Hong Liao, Meng-Li Shih, Ming-Yu Liu, and Min Sun. 2017. Tactics of adversarial attack on deep reinforcement learning agents. arXiv preprint arXiv:1703.06748 (2017)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1952982.1952995"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380370"},{"key":"e_1_3_2_1_31_1","volume-title":"Secure control against replay attacks. In 2009 47th annual Allerton conference on communication, control, and computing (Allerton)","author":"Mo Yilin","unstructured":"Yilin Mo and Bruno Sinopoli. 2009. Secure control against replay attacks. In 2009 47th annual Allerton conference on communication, control, and computing (Allerton). IEEE, 911\u2013918."},{"key":"e_1_3_2_1_32_1","volume-title":"Preprints of the 1st workshop on Secure Control Systems, Vol.\u00a01.","author":"Mo Yilin","year":"2010","unstructured":"Yilin Mo and Bruno Sinopoli. 2010. False data injection attacks in control systems. In Preprints of the 1st workshop on Secure Control Systems, Vol.\u00a01."},{"key":"e_1_3_2_1_33_1","volume-title":"CAV(LNCS, Vol.\u00a04590)","author":"Nahhal Tarik","unstructured":"Tarik Nahhal and Thao Dang. 2007. Test Coverage for Continuous and Hybrid Systems. In CAV(LNCS, Vol.\u00a04590). Springer, 449\u2013462."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755983"},{"key":"e_1_3_2_1_35_1","volume-title":"Discovering IoT Physical Channel Vulnerabilities. In ACM SIGSAC Conference on Computer and Communications Security (CCS).","author":"Ozmen Muslum\u00a0Ozgur","year":"2022","unstructured":"Muslum\u00a0Ozgur Ozmen, Xuansong Li, Andrew Chu, Z\u00a0Berkay Celik, Bardh Hoxha, and Xiangyu Zhang. 2022. Discovering IoT Physical Channel Vulnerabilities. In ACM SIGSAC Conference on Computer and Communications Security (CCS)."},{"key":"e_1_3_2_1_36_1","volume-title":"Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees. arXiv preprint arXiv:2110.10729","author":"Pedrielli Giulia","year":"2021","unstructured":"Giulia Pedrielli, Tanmay Kandhait, Surdeep Chotaliya, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, and Georgios Fainekos. 2021. Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees. arXiv preprint arXiv:2110.10729 (2021)."},{"key":"e_1_3_2_1_37_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS)(LNCS, Vol.\u00a05505)","author":"Plaku E.","unstructured":"E. Plaku, Lydia\u00a0E. Kavraki, and Moshe\u00a0Y. Vardi. 2009. Falsification of LTL Safety Properties in Hybrid Systems. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS)(LNCS, Vol.\u00a05505). Springer, 368 \u2013 382."},{"key":"e_1_3_2_1_38_1","unstructured":"Adam Rawnsley. 2011. Iran\u2019s Alleged Drone Hack: Tough but Possible. https:\/\/www.wired.com\/2011\/12\/iran-drone-hack-gps\/ Last accessed on 2022-10-30."},{"key":"e_1_3_2_1_39_1","volume-title":"The design and analysis of computer experiments. Vol.\u00a01","author":"Santner J","unstructured":"Thomas\u00a0J Santner, Brian\u00a0J Williams, William\u00a0I Notz, and Brain\u00a0J Williams. 2003. The design and analysis of computer experiments. Vol.\u00a01. Springer."},{"key":"e_1_3_2_1_40_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Shen Junjie","year":"2020","unstructured":"Junjie Shen, Jun\u00a0Yeon Won, Zeyuan Chen, and Qi\u00a0Alfred Chen. 2020. Drift with Devil: Security of Multi \u2212 Sensor Fusion based Localization in High-Level Autonomous Driving under GPS Spoofing. In 29th USENIX Security Symposium (USENIX Security 20). 931\u2013948."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2014.2364723"},{"key":"e_1_3_2_1_42_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Sun Jiachen","year":"2020","unstructured":"Jiachen Sun, Yulong Cao, Qi\u00a0Alfred Chen, and Z\u00a0Morley Mao. 2020. Towards robust LiDAR-based perception in autonomous driving: General black-box adversarial sensor attack and countermeasures. In 29th USENIX Security Symposium (USENIX Security 20). 877\u2013894."},{"key":"e_1_3_2_1_43_1","volume-title":"Intriguing properties of neural networks. arXiv preprint arXiv:1312.6199","author":"Szegedy Christian","year":"2013","unstructured":"Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian Goodfellow, and Rob Fergus. 2013. Intriguing properties of neural networks. arXiv preprint arXiv:1312.6199 (2013)."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/Allerton.2012.6483441"},{"key":"e_1_3_2_1_45_1","volume-title":"PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. In International Conference on Formal Methods for Industrial Critical Systems. Springer, 223\u2013231","author":"Thibeault Quinn","year":"2021","unstructured":"Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, and Georgios Fainekos. 2021. PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. In International Conference on Formal Methods for Industrial Critical Systems. Springer, 223\u2013231."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382193"},{"key":"e_1_3_2_1_47_1","volume-title":"International Conference on Learning Representations.","author":"Weng Tsui-Wei","year":"2019","unstructured":"Tsui-Wei Weng, Krishnamurthy\u00a0Dj Dvijotham, Jonathan Uesato, Kai Xiao, Sven Gowal, Robert Stanforth, and Pushmeet Kohli. 2019. Toward evaluating robustness of deep reinforcement learning with continuous control. In International Conference on Learning Representations."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3013073"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2858463"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_29"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3323470"}],"event":{"name":"HSCC '23: 26th ACM International Conference on Hybrid Systems: Computation and Control","location":"San Antonio TX USA","acronym":"HSCC '23","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575870.3587122","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3575870.3587122","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:12Z","timestamp":1750178772000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575870.3587122"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":51,"alternative-id":["10.1145\/3575870.3587122","10.1145\/3575870"],"URL":"https:\/\/doi.org\/10.1145\/3575870.3587122","relation":{},"subject":[],"published":{"date-parts":[[2023,5,9]]},"assertion":[{"value":"2023-05-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}