{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T22:44:05Z","timestamp":1779144245533,"version":"3.51.4"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,11,3]],"date-time":"2024-11-03T00:00:00Z","timestamp":1730592000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,11,3]],"date-time":"2024-11-03T00:00:00Z","timestamp":1730592000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,11,3]]},"DOI":"10.1109\/iecon55916.2024.10905724","type":"proceedings-article","created":{"date-parts":[[2025,3,10]],"date-time":"2025-03-10T17:32:07Z","timestamp":1741627927000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["MCFICS: Model-based Coverage-guided Fuzzing for Industrial Control System Protocol Implementations"],"prefix":"10.1109","author":[{"given":"Uchenna","family":"Ezeobi","sequence":"first","affiliation":[{"name":"University of Colorado Colorado Springs,Colorado Springs,CO,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sena","family":"Hounsinou","sequence":"additional","affiliation":[{"name":"Metro State University,Saint Paul,MN,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Habeeb","family":"Olufowobi","sequence":"additional","affiliation":[{"name":"University of Texas at Arlington,Arlington,TX,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanyan","family":"Zhuang","sequence":"additional","affiliation":[{"name":"University of Colorado Colorado Springs,Colorado Springs,CO,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gedare","family":"Bloom","sequence":"additional","affiliation":[{"name":"University of Colorado Colorado Springs,Colorado Springs,CO,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/WFCS.2018.8402353"},{"key":"ref2","first-page":"1","article-title":"Analysis of the cyber attack on the ukrainian power grid","volume":"388","author":"Case","year":"2016","journal-title":"Electricity Information Sharing and Analysis Center (E-ISAC)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3084455"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2946563"},{"key":"ref5","article-title":"Finding security vulnerabilities in network protocol implementations","author":"Alshmrany","year":"2020"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MSR52588.2021.00026"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3648468"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90870-6_28"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1155\/2022\/6880677"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-92124-8_27"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3485832.3488028"},{"key":"ref12","first-page":"3255","article-title":"Stateful greybox fuzzing","volume-title":"31st USENIX Security Symposium (USENIX Security 22)","author":"Ba"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00062"},{"key":"ref14","first-page":"193","article-title":"Protocol state fuzzing of TLS implementations","volume-title":"24th USENIX Security Symposium (USENIX Security 15)","author":"De Ruiter"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.32"},{"key":"ref16","article-title":"MACE: Model-inference-assisted concolic exploration for protocol and vulnerability discovery","volume-title":"20th USENIX Security Symposium (USENIX Security 11)","author":"Cho"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2590296.2590346"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2018.2867544"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-022-00449-3"},{"key":"ref20","article-title":"AFL++: Combining incremental steps of fuzzing research","volume-title":"14th USENIX Workshop on Offensive Technologies (WOOT 20)","author":"Fioraldi"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10233-3"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.1145\/3243734.3243804","article-title":"Evaluating fuzz testing","author":"Klees","year":"2018"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3469077"},{"key":"ref24","first-page":"309","article-title":"Address-sanitizer: A fast address sanity checker","volume-title":"2012 USENIX annual technical conference (USENIX ATC 12)","author":"Serebryany"},{"key":"ref25","article-title":"Undefinedbehaviorsanitizer - clang 18.0.0 documentation","year":"2007"},{"key":"ref26","article-title":"disallow \u201dnull\" size by default \u2022 mdavidsaver\/pvxs@17464a1"}],"event":{"name":"IECON 2024 - 50th Annual Conference of the IEEE Industrial Electronics Society","location":"Chicago, IL, USA","start":{"date-parts":[[2024,11,3]]},"end":{"date-parts":[[2024,11,6]]}},"container-title":["IECON 2024 - 50th Annual Conference of the IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10904979\/10905066\/10905724.pdf?arnumber=10905724","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,11]],"date-time":"2025-03-11T05:11:44Z","timestamp":1741669904000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10905724\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,3]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/iecon55916.2024.10905724","relation":{},"subject":[],"published":{"date-parts":[[2024,11,3]]}}}