{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T21:07:19Z","timestamp":1774472839510,"version":"3.50.1"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T00:00:00Z","timestamp":1732492800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T00:00:00Z","timestamp":1732492800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004359","name":"Vetenskapsr\u00e5det","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004359","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,11,25]]},"DOI":"10.1109\/cscn63874.2024.10849709","type":"proceedings-article","created":{"date-parts":[[2025,1,27]],"date-time":"2025-01-27T18:36:30Z","timestamp":1738002990000},"page":"48-54","source":"Crossref","is-referenced-by-count":1,"title":["Testing IoT Protocol Requirements Using Fuzzing and Symbolic Execution: Application to CoAP"],"prefix":"10.1109","author":[{"given":"Hooman","family":"Asadian","sequence":"first","affiliation":[{"name":"Uppsala University,Department of Information Technology,Uppsala,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Fiter\u0103u-Bro\u015ftean","sequence":"additional","affiliation":[{"name":"Uppsala University,Department of Information Technology,Uppsala,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bengt","family":"Jonsson","sequence":"additional","affiliation":[{"name":"Uppsala University,Department of Information Technology,Uppsala,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[{"name":"Uppsala University,Department of Information Technology,Uppsala,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Using requirement-driven symbolic execution to test implementations of the CoAP and EDHOC network protocols","author":"Amini","year":"2023"},{"key":"ref2","first-page":"70","article-title":"Applying symbolic execution to test implementations of a network protocol against its specification","volume-title":"IEEE Conference on Software Testing, Verification and Validation, ser. ICST 2022.","author":"Asadian"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3664476.3664521"},{"key":"ref4","first-page":"3255","article-title":"Stateful greybox fuzzing","volume-title":"31st USENIX Security Symposium, ser. USENIX Security 2022. USENIX Association","author":"Ba"},{"key":"ref5","article-title":"Block-Wise Transfers in the Constrained Application Protocol (CoAP)","author":"Bormann","year":"2016","journal-title":"RFC 7959"},{"key":"ref6","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, ser. OSDI \u201808.","author":"Cadar"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/msp.2014.66"},{"key":"ref9","article-title":"Freecoap","author":"Cullen"},{"key":"ref10","article-title":"AFL++: Combining incremental steps of fuzzing research","volume-title":"14th USENIX Workshop on Offensive Technologies, ser. WOOT 2020. USENIX Association","author":"Fioraldi"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref13","article-title":"Exploring the possibilities of robustness testing of CoAP implementations using evolutionary fuzzing","author":"Liljedahl","year":"2019"},{"key":"ref14","first-page":"533","article-title":"Robustness testing of CoAP server-side implementations through black-box fuzzing techniques","volume-title":"Proceedings of the 17th Brazilian Symposium on Information and Computational Systems Security. SBC","author":"Melo"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510082"},{"key":"ref16","article-title":"This POODLE bites: exploiting the SSL 3.0 fallback","author":"M\u00f6ller"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10233-3"},{"key":"ref18","first-page":"485","article-title":"Analyzing protocol implementations for interoperability","volume-title":"12th USENIX Symposium on Networked Systems Design and Implementation, ser. NSDI 15. USENIX Association","author":"Pedrosa"},{"key":"ref19","first-page":"460","article-title":"AFLNET: A greybox fuzzer for network protocols","volume-title":"IEEE 13th International Conference on Software Testing, Validation and Verification, ser. ICST 2020.","author":"Pham"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556946"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3284850.3284853"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1791212.1791235"},{"key":"ref23","article-title":"The Constrained Application Protocol (CoAP)","author":"Shelby","year":"2014","journal-title":"RFC 7252"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2014.2323977"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/jiot.2023.3236694"},{"issue":"11","key":"ref26","doi-asserted-by":"crossref","first-page":"e0188229","DOI":"10.1371\/journal.pone.0188229","article-title":"A model-guided symbolic execution approach for network protocol implementations and vulnerability detection","volume":"12","author":"Wen","year":"2017","journal-title":"PloS one"},{"key":"ref27","article-title":"American fuzzy lop","author":"Zalewski","year":"2013"},{"issue":"18","key":"ref28","doi-asserted-by":"crossref","DOI":"10.3390\/s20185194","article-title":"MultiFuzz: A coverage-based multiparty-protocol fuzzer for IoT publish\/subscribe protocols","volume":"20","author":"Zeng","journal-title":"Sensors"}],"event":{"name":"2024 IEEE Conference on Standards for Communications and Networking (CSCN)","location":"Belgrade, Serbia","start":{"date-parts":[[2024,11,25]]},"end":{"date-parts":[[2024,11,27]]}},"container-title":["2024 IEEE Conference on Standards for Communications and Networking (CSCN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10849679\/10849681\/10849709.pdf?arnumber=10849709","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,28]],"date-time":"2025-01-28T06:10:55Z","timestamp":1738044655000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10849709\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,25]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/cscn63874.2024.10849709","relation":{},"subject":[],"published":{"date-parts":[[2024,11,25]]}}}