{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:07:50Z","timestamp":1730232470326,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,6,9]],"date-time":"2024-06-09T00:00:00Z","timestamp":1717891200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,6,9]],"date-time":"2024-06-09T00:00:00Z","timestamp":1717891200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U21B2019,61972255"],"award-info":[{"award-number":["U21B2019,61972255"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,6,9]]},"DOI":"10.1109\/icc51166.2024.10622481","type":"proceedings-article","created":{"date-parts":[[2024,8,20]],"date-time":"2024-08-20T15:34:42Z","timestamp":1724168082000},"page":"37-42","source":"Crossref","is-referenced-by-count":0,"title":["A Binary Level Verification Framework for Real-Time Performance of PLC Program in Backhaul\/Fronthaul Networks"],"prefix":"10.1109","author":[{"given":"Xuankai","family":"Zhang","sequence":"first","affiliation":[{"name":"School of Electronic Information and Electrical Engineering, Shanghai Jiaotong University,Shanghai,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Wu","sequence":"additional","affiliation":[{"name":"School of Electronic Information and Electrical Engineering, Shanghai Jiaotong University,Shanghai,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianhua","family":"Li","sequence":"additional","affiliation":[{"name":"School of Electronic Information and Electrical Engineering, Shanghai Jiaotong University,Shanghai,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali Kashif","family":"Bashir","sequence":"additional","affiliation":[{"name":"Manchester Metropolitan University,Department of Computing and Mathematics,Manchester,U.K"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Sang","sequence":"additional","affiliation":[{"name":"School of Electronic Information and Electrical Engineering, Shanghai Jiaotong University,Shanghai,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bei","family":"Pei","sequence":"additional","affiliation":[{"name":"Key Lab of Information Network Security, Ministry of Public Security,Shanghai,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marwan","family":"Omar","sequence":"additional","affiliation":[{"name":"Information Technology and Management, Illinois Institute of Technology,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"issue":"6","key":"ref1","first-page":"29","article-title":"W32. stuxnet dossier","volume":"5","author":"Falliere","year":"2011","journal-title":"White paper, symantec corp., security response"},{"key":"ref2","first-page":"1","article-title":"Triton: The first ics cyber attack on safety instrument systems","volume-title":"Proc. Black Hat USA","volume":"2018","author":"Di Pinto","year":"2018"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3311\/PPee.9743"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-017-9415-7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2014.23043"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/COMAPP.2018.8460287"},{"key":"ref7","article-title":"On dynamic malware payloads aimed at pro-grammable logic controllers","author":"McLaughlin","year":"2011","journal-title":"HotSec"},{"volume-title":"DotnetsiemenspIctoolboxli-brary","author":"K\u00fchner","key":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382244"},{"key":"ref10","volume-title":"Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18\u201322, 2014. Proceedings, ser. Lecture Notes in Computer Science","volume":"8559","author":"Biere","year":"2014"},{"key":"ref11","article-title":"Icspatch: Automated vulnerability localization and non-intrusive hotpatching in industrial control systems using data dependence graphs","volume-title":"Proc. 32nd USENIX Secur. Symp","author":"Rajput","year":"2023"},{"key":"ref12","first-page":"2847","article-title":"{ICSFuzz}: Manipulating {I\/Os} and repurposing binary code to enable instrumented fuzzing in {ICS} control applications","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"Tychalas","year":"2021"}],"event":{"name":"ICC 2024 - IEEE International Conference on Communications","start":{"date-parts":[[2024,6,9]]},"location":"Denver, CO, USA","end":{"date-parts":[[2024,6,13]]}},"container-title":["ICC 2024 - IEEE International Conference on Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10622104\/10622158\/10622481.pdf?arnumber=10622481","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,29]],"date-time":"2024-08-29T20:15:22Z","timestamp":1724962522000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10622481\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,9]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icc51166.2024.10622481","relation":{},"subject":[],"published":{"date-parts":[[2024,6,9]]}}}