{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T06:35:50Z","timestamp":1763706950186,"version":"3.29.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,6,26]],"date-time":"2024-06-26T00:00:00Z","timestamp":1719360000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,6,26]],"date-time":"2024-06-26T00:00:00Z","timestamp":1719360000000},"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,6,26]]},"DOI":"10.1109\/iscc61673.2024.10733723","type":"proceedings-article","created":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T17:32:28Z","timestamp":1730395948000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Enhancing Coverage in Stateful Protocol Fuzzing via Value-Based Selection"],"prefix":"10.1109","author":[{"given":"Laile","family":"Xi","sequence":"first","affiliation":[{"name":"CAS,Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering,Beijing,China"}]},{"given":"Heng","family":"Zhang","sequence":"additional","affiliation":[{"name":"CAS,Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering,Beijing,China"}]},{"given":"Shenghao","family":"Lin","sequence":"additional","affiliation":[{"name":"CAS,Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering,Beijing,China"}]},{"given":"Weidong","family":"Zhang","sequence":"additional","affiliation":[{"name":"CAS,Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering,Beijing,China"}]},{"given":"Yuyan","family":"Sun","sequence":"additional","affiliation":[{"name":"CAS,Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering,Beijing,China"}]},{"given":"Hongsong","family":"Zhu","sequence":"additional","affiliation":[{"name":"CAS,Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering,Beijing,China"}]},{"given":"Limin","family":"Sun","sequence":"additional","affiliation":[{"name":"CAS,Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering,Beijing,China"}]}],"member":"263","reference":[{"issue":"5","key":"ref1","first-page":"1938","article-title":"A brief study of wannacry threat: Ransomware attack 2017","volume":"8","author":"Mohurle","year":"2017","journal-title":"International journal of advanced research in computer science"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2946563"},{"volume-title":"Website","key":"ref4","article-title":"Peach fuzzing platform"},{"article-title":"boofuzz: A fork and successor of the sulley fuzzing framework","year":"2015","author":"Pereyda","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-28865-9_18"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00062"},{"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":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10233-3"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SANER53432.2022.00089"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/11836810_25"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2022.3192991"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534376"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1609\/aiide.v4i1.18700"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1038\/nature16961"},{"key":"ref16","first-page":"54","article-title":"Legion: Best-first concolic testing","volume-title":"Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering","author":"Liu"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3469077"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1038\/nature14236"}],"event":{"name":"2024 IEEE Symposium on Computers and Communications (ISCC)","start":{"date-parts":[[2024,6,26]]},"location":"Paris, France","end":{"date-parts":[[2024,6,29]]}},"container-title":["2024 IEEE Symposium on Computers and Communications (ISCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10733347\/10733557\/10733723.pdf?arnumber=10733723","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T06:37:55Z","timestamp":1732689475000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10733723\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,26]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/iscc61673.2024.10733723","relation":{},"subject":[],"published":{"date-parts":[[2024,6,26]]}}}