{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:51Z","timestamp":1750219971336,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,8,29]],"date-time":"2023-08-29T00:00:00Z","timestamp":1693267200000},"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":[[2023,8,29]]},"DOI":"10.1145\/3600160.3605081","type":"proceedings-article","created":{"date-parts":[[2023,8,9]],"date-time":"2023-08-09T22:54:41Z","timestamp":1691621681000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards Obfuscation of Programmable Logic Controllers"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4436-3316","authenticated-orcid":false,"given":"Vittoria","family":"Cozza","sequence":"first","affiliation":[{"name":"University of Verona, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2761-4347","authenticated-orcid":false,"given":"Mila","family":"Dalla Preda","sequence":"additional","affiliation":[{"name":"University of Verona, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4770-5441","authenticated-orcid":false,"given":"Marco","family":"Lucchese","sequence":"additional","affiliation":[{"name":"University of Verona, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1712-7492","authenticated-orcid":false,"given":"Massimo","family":"Merro","sequence":"additional","affiliation":[{"name":"University of Verona, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9081-5996","authenticated-orcid":false,"given":"Nicola","family":"Zannone","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,8,29]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2016. S7comm - The Wireshark Wiki. https:\/\/wiki.wireshark.org\/S7comm\/ Accessed: 2022-05-14."},{"key":"e_1_3_2_1_2_1","unstructured":"2017. Industroyer: Biggest threat to industrial control systems since Stuxnet. https:\/\/www.welivesecurity.com\/2017\/06\/12\/industroyer-biggest-threat-industrial-control-systems-since-stuxnet\/ Accessed: 2022-05-14."},{"key":"e_1_3_2_1_3_1","unstructured":"2021. A Hacker Tried to Poison a Florida City\u2019s Water Supply Officials Say. https:\/\/www.wired.com\/story\/oldsmar-florida-water-utility-hack\/ Accessed: 2022-05-14."},{"key":"e_1_3_2_1_4_1","unstructured":"2023. Censys: Exposure Management and Threat Hunting Solutions. https:\/\/censys.io\/ Accessed: 2023-05-23."},{"volume-title":"Programmable Controllers - Part 3: Programming Languages","author":"Int\u2019l","key":"e_1_3_2_1_5_1","unstructured":"Int\u2019l Standard\u00a0IEC 61131-3. 2003. Programmable Controllers - Part 3: Programming Languages. second ed., Int\u2019l Electrotechnical Commission."},{"key":"e_1_3_2_1_6_1","first-page":"3","article-title":"Open modbus\/tcp specification","volume":"29","author":"Swales A.","year":"1999","unstructured":"A. Swales. 1999. Open modbus\/tcp specification. Schneider Electric 29 (1999), 3\u201319.","journal-title":"Schneider Electric"},{"key":"e_1_3_2_1_7_1","unstructured":"A. Abbasi and M. Hashemi. 2016. Ghost in the PLC Designing an Undetectable Programmable Logic Controller Rootkit via Pin Control Attack. In Black Hat. 1\u201335."},{"volume-title":"CPS4CIP@ESORICS(LNCS, Vol.\u00a013785)","author":"Ceccato Mariano","key":"e_1_3_2_1_8_1","unstructured":"Mariano Ceccato, Youssef Driouich, Ruggero Lanotte, Marco Lucchese, and Massimo Merro. 2022. Towards Reverse Engineering of Industrial Physical rocesses. In CPS4CIP@ESORICS(LNCS, Vol.\u00a013785). Springer, 273\u2013290."},{"key":"e_1_3_2_1_9_1","volume-title":"Surreptitious Software: Obfuscation, Watermarking, and Tamperproofing for Software Protection","author":"Collberg C.","year":"2009","unstructured":"C. Collberg and J. Nagra. 2009. Surreptitious Software: Obfuscation, Watermarking, and Tamperproofing for Software Protection. Addison-Wesley Professional."},{"volume-title":"Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of programming languages (POPL\u00a0\u201998)","author":"Collberg C.","key":"e_1_3_2_1_10_1","unstructured":"C. Collberg, C. Thomborson, and D. Low. 1998. Manufacturing cheap, resilient, and stealthy opaque constructs. In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of programming languages (POPL\u00a0\u201998). ACM Press, 184\u2013196."},{"volume-title":"Proc. of the 32nd International Colloquium on Automata, Languages and Programming (ICALP\u00a0\u201905)","author":"Dalla Preda M.","key":"e_1_3_2_1_11_1","unstructured":"M. Dalla Preda and R. Giacobazzi. 2005. Semantic-based code obfuscation by abstract interpretation. In Proc. of the 32nd International Colloquium on Automata, Languages and Programming (ICALP\u00a0\u201905)(Lecture Notes in Computer Science, Vol.\u00a03580). Springer-Verlag, 1325\u20131336."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1662641.1662644"},{"key":"e_1_3_2_1_13_1","first-page":"1","article-title":"Software Protection Decision Support and Evaluation Methodologies (Dagstuhl Seminar 19331)","volume":"9","author":"Sutter Bjorn De","year":"2019","unstructured":"Bjorn De Sutter, Christian\u00a0S. Collberg, Mila\u00a0Dalla Preda, and Brecht Wyseur. 2019. Software Protection Decision Support and Evaluation Methodologies (Dagstuhl Seminar 19331). Dagstuhl Reports 9, 8 (2019), 1\u201325.","journal-title":"Dagstuhl Reports"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_15_1","unstructured":"N. Falliere L. Murchu and E. Chien. 2011. W32.Stuxnet Dossier."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"C. Feng V.\u00a0R. Palleti A. Mathur and D. Chana. 2019. A Systematic Framework to Generate Invariants for Anomaly Detection in Industrial Control Systems. In NDSS. The Internet Society.","DOI":"10.14722\/ndss.2019.23265"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23265"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"G. Clarke D. Reynders and E. Wright. 2004. Practical Modern SCADA Protocols: DNP3 60870.5 and Related Systems. Newnes Elsevier.","DOI":"10.1016\/B978-075065799-0\/50019-X"},{"key":"e_1_3_2_1_19_1","unstructured":"G. Lyon. 1997. Nmap. https:\/\/nmap.org\/"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Dieter Gollmann Pavel Gurikov Alexander Isakov Marina Krotofil Jason Larsen and Alexander Winnicki. 2015. Cyber-Physical Systems Security: Experimental Analysis of a Vinyl Acetate Monomer Plant. In CCPS@ASIACCS. ACM 1\u201312.","DOI":"10.1145\/2732198.2732208"},{"volume-title":"SECPRE@ESORICS 2017(LNCS, Vol.\u00a010683)","author":"Govil N.","key":"e_1_3_2_1_21_1","unstructured":"N. Govil, A. Agrawal, and N.\u00a0O. Tippenhauer. 2018. On Ladder Logic Bombs in Industrial Control Systems. In SECPRE@ESORICS 2017(LNCS, Vol.\u00a010683). Springer, 110\u2013126."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2021.102424"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"B. Green M. Krotofil and A. Abbasi. 2017. On the Significance of Process Comprehension for Conducting Targeted ICS Attacks. In CPS-SPC@CCS. ACM 57\u201367.","DOI":"10.1145\/3140241.3140254"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijcip.2009.06.001"},{"volume-title":"MATLAB version: 9.13.0 (R2022b)","author":"The\u00a0MathWorks Inc.","key":"e_1_3_2_1_25_1","unstructured":"The\u00a0MathWorks Inc.2022. MATLAB version: 9.13.0 (R2022b). Natick, Massachusetts, United States. https:\/\/www.mathworks.com"},{"key":"e_1_3_2_1_26_1","volume-title":"Programmable controllers-Part 3 : Programming languages. IEC 61131-3","author":"International\u00a0Electrotechnical Commission","year":"1993","unstructured":"International\u00a0Electrotechnical Commission. 1993. Programmable controllers-Part 3 : Programming languages. IEC 61131-3 (1993)."},{"key":"e_1_3_2_1_27_1","unstructured":"J. Matherly. 2015. Complete guide to Shodan. Shodan LLC."},{"key":"e_1_3_2_1_28_1","volume-title":"ICSREF: A Framework for Automated Reverse Engineering of Industrial Control Systems Binaries","author":"Keliris A.","year":"2019","unstructured":"A. Keliris and M. Maniatakos. 2019. ICSREF: A Framework for Automated Reverse Engineering of Industrial Control Systems Binaries. In NDSS. The Internet Society."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3546579"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373270"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"R. Lanotte and S. Tini. 2005. Taylor Approximation for Hybrid Systems. In HSCC(LNCS Vol.\u00a03414). Springer 402\u2013416.","DOI":"10.1007\/978-3-540-31954-2_26"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/CySWater.2016.7469060"},{"volume-title":"Towards Process Comprehension of Industrial Control Systems: a Framework for Reverse-engineering Industrial Processes. Master\u2019s thesis","author":"Oliani Marco","key":"e_1_3_2_1_33_1","unstructured":"Marco Oliani. 2023. Towards Process Comprehension of Industrial Control Systems: a Framework for Reverse-engineering Industrial Processes. Master\u2019s thesis. University of Verona, Italy."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"P. Brooks. 2001. Ethernet\/IP-industrial protocol. In ETFA Vol.\u00a02. 505\u2013514.","DOI":"10.1109\/ETFA.2001.997725"},{"key":"e_1_3_2_1_35_1","volume-title":"Effectiveness of Association Rules Mining for Invariants Generation in Cyber-Physical Systems. 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE)","author":"Pal Koyena","year":"2017","unstructured":"Koyena Pal, Sridhar Adepu, and Jonathan Goh. 2017. Effectiveness of Association Rules Mining for Invariants Generation in Cyber-Physical Systems. 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) (2017), 124\u2013127."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.13.242-260"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"R. Rajkumar L. Lee I.\u00a0Sha and J.\u00a0A. Stankovic. 2010. Cyber-physical systems: the next computing revolution. In DAC. ACM 731\u2013736.","DOI":"10.1145\/1837274.1837461"},{"key":"e_1_3_2_1_38_1","first-page":"61","article-title":"OPC UA\u2013service-oriented architecture for industrial applications","volume":"48","author":"Leitner S-H.","year":"2006","unstructured":"S-H. Leitner and W. Mahnke. 2006. OPC UA\u2013service-oriented architecture for industrial applications. ABB Corporate Research Center 48, 61-66 (2006), 22.","journal-title":"ABB Corporate Research Center"},{"key":"e_1_3_2_1_39_1","volume-title":"Protecting Software through Obfuscation: Can It Keep Pace with Progress in Code Analysis?ACM Comput. Surv. 49, 1","author":"Schrittwieser Sebastian","year":"2016","unstructured":"Sebastian Schrittwieser, Stefan Katzenbeisser, Johannes Kinder, Georg Merzdovnik, and Edgar\u00a0R. Weippl. 2016. Protecting Software through Obfuscation: Can It Keep Pace with Progress in Code Analysis?ACM Comput. Surv. 49, 1 (2016), 4:1\u20134:37."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3176258.3176319"},{"key":"e_1_3_2_1_41_1","unstructured":"R. Spenneberg M. Br\u00fcggerman and H. Schwartke. 2016. PLC-Blaster: A Worm Living Solely in the PLC. In Black Hat. 1\u201316."},{"key":"e_1_3_2_1_42_1","unstructured":"T.R. Alves M. Buratto F.M. Souza and T.V. Rodrigues. 2014. OpenPLC: An open source alternative to automation. In IEEE GHTC. 585\u2013589."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"Alexander Winnicki Marina Krotofil and Dieter Gollmann. 2017. Cyber-Physical System Discovery: Reverse Engineering Physical Processes. In CPSS@ASIACCS. ACM 3\u201314.","DOI":"10.1145\/3055186.3055195"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-019-12490-1"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSR54599.2022.9850326"}],"event":{"name":"ARES 2023: The 18th International Conference on Availability, Reliability and Security","acronym":"ARES 2023","location":"Benevento Italy"},"container-title":["Proceedings of the 18th International Conference on Availability, Reliability and Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3600160.3605081","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3600160.3605081","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:17Z","timestamp":1750182557000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3600160.3605081"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,29]]},"references-count":45,"alternative-id":["10.1145\/3600160.3605081","10.1145\/3600160"],"URL":"https:\/\/doi.org\/10.1145\/3600160.3605081","relation":{},"subject":[],"published":{"date-parts":[[2023,8,29]]},"assertion":[{"value":"2023-08-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}