{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T15:26:54Z","timestamp":1771514814530,"version":"3.50.1"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031681493","type":"print"},{"value":"9783031681509","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-68150-9_7","type":"book-chapter","created":{"date-parts":[[2024,8,20]],"date-time":"2024-08-20T12:02:22Z","timestamp":1724155342000},"page":"119-135","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Fuzzing an\u00a0Industrial Proprietary Protocol"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7357-705X","authenticated-orcid":false,"given":"Eduard","family":"Baranov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2287-8925","authenticated-orcid":false,"given":"Axel","family":"Legay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-5736-4394","authenticated-orcid":false,"given":"Martin","family":"Vivian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,21]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Abdelnur, H.J., State, R., Festor, O.: KiF: a stateful SIP fuzzer. In: Proceedings of the 1st international Conference on Principles, Systems and Applications of IP Telecommunications, pp. 47\u201356 (2007)","DOI":"10.1145\/1326304.1326313"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Atlidakis, V., Godefroid, P., Polishchuk, M.: RESTler: stateful rest API fuzzing. In: 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE), pp. 748\u2013758. IEEE (2019)","DOI":"10.1109\/ICSE.2019.00083"},{"key":"7_CR3","unstructured":"Chang, O.: Taking the next step: OSS-fuzz in 2023 (2023). https:\/\/security.googleblog.com\/2023\/02\/taking-next-step-oss-fuzz-in-2023.html"},{"key":"7_CR4","unstructured":"De\u00a0Ruiter, J., Poll, E.: Protocol state fuzzing of $$\\{$$TLS$$\\}$$ implementations. In: 24th USENIX Security Symposium (USENIX Security 2015), pp. 193\u2013206 (2015)"},{"key":"7_CR5","series-title":"LNICST","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-319-28865-9_18","volume-title":"SecureComm 2015","author":"H Gascon","year":"2015","unstructured":"Gascon, H., Wressnegger, C., Yamaguchi, F., Arp, D., Rieck, K.: Pulsar: stateful black-box fuzzing of proprietary network protocols. In: Thuraisingham, B., Wang, X., Yegneswaran, V. (eds.) SecureComm 2015. LNICST, vol. 164, pp. 330\u2013347. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-28865-9_18"},{"issue":"3","key":"7_CR6","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/2093548.2093564","volume":"55","author":"P Godefroid","year":"2012","unstructured":"Godefroid, P., Levin, M.Y., Molnar, D.: Sage: whitebox fuzzing for security testing. Commun. ACM 55(3), 40\u201344 (2012)","journal-title":"Commun. ACM"},{"issue":"8","key":"7_CR7","first-page":"239","volume":"10","author":"S Gorbunov","year":"2010","unstructured":"Gorbunov, S., Rosenbloom, A.: Autofuzz: automated network protocol fuzzing framework. Ijcsns 10(8), 239 (2010)","journal-title":"Ijcsns"},{"key":"7_CR8","unstructured":"G\u00f6rz, P., et al.: Systematic assessment of fuzzers using mutation analysis. In: 32nd USENIX Security Symposium (USENIX Security 2023), pp. 4535\u20134552 (2023)"},{"key":"7_CR9","unstructured":"Hoikkala, J.: FFuF - fuzz faster u fool (2021). https:\/\/github.com\/ffuf\/ffuf"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Karg\u00e9n, U., Shahmehri, N.: Turning programs against each other: high coverage fuzz-testing using binary-code mutation and dynamic slicing. In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pp. 782\u2013792 (2015)","DOI":"10.1145\/2786805.2786844"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Maier, D., Bittner, O., Munier, M., Beier, J.: FitM: binary-only coverage-guided fuzzing for stateful network protocols. In: Workshop on Binary Analysis Research (BAR), vol.\u00a035 (2022)","DOI":"10.14722\/bar.2022.23008"},{"issue":"11","key":"7_CR12","doi-asserted-by":"publisher","first-page":"2312","DOI":"10.1109\/TSE.2019.2946563","volume":"47","author":"VJ Man\u00e8s","year":"2019","unstructured":"Man\u00e8s, V.J., et al.: The art, science, and engineering of fuzzing: a survey. IEEE Trans. Softw. Eng. 47(11), 2312\u20132331 (2019)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR13","unstructured":"Marcos, R.: Proxyfuzz - mitm network fuzzer in Python (2007). https:\/\/www.darknet.org.uk\/2007\/06\/proxyfuzz-mitm-network-fuzzer-in-python\/"},{"key":"7_CR14","unstructured":"Mendez, X.: Wfuzz - the web fuzzer (2011). https:\/\/github.com\/xmendez\/wfuzz"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Metzman, J., Arya, A., Szekeres, L.: Fuzzbench: Fuzzer benchmarking as a service (2020). https:\/\/security.googleblog.com\/2020\/03\/fuzzbench-fuzzer-benchmarking-as-service.html","DOI":"10.1145\/3468264.3473932"},{"issue":"12","key":"7_CR16","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/96267.96279","volume":"33","author":"BP Miller","year":"1990","unstructured":"Miller, B.P., Fredriksen, L., So, B.: An empirical study of the reliability of UNIX utilities. Commun. ACM 33(12), 32\u201344 (1990)","journal-title":"Commun. ACM"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Niedermaier, M., Fischer, F., von Bodisco, A.: Propfuzz-an it-security fuzzing framework for proprietary ICS protocols. In: 2017 International Conference on Applied Electronics (AE), pp.\u00a01\u20134. IEEE (2017)","DOI":"10.23919\/AE.2017.8053600"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Peng, H., Shoshitaishvili, Y., Payer, M.: T-fuzz: fuzzing by program transformation. In: 2018 IEEE Symposium on Security and Privacy (SP), pp. 697\u2013710. IEEE (2018)","DOI":"10.1109\/SP.2018.00056"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Postel, J., Reynolds, J.: RFC 959 - file transfer protocol (FTP) (1985). https:\/\/www.ietf.org\/rfc\/rfc959.txt","DOI":"10.17487\/rfc0959"},{"key":"7_CR20","unstructured":"Ramos, S.H.: Polymorph: a real-time network packet manipulation framework. Exploit Database (2018)"},{"key":"7_CR21","unstructured":"Ramsauer, T.: mqtt_fuzzing (2018). https:\/\/github.com\/ramsaut\/mqtt_fuzzing"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Rawat, S., Jain, V., Kumar, A., Cojocar, L., Giuffrida, C., Bos, H.: Vuzzer: application-aware evolutionary fuzzing. In: NDSS, vol.\u00a017, pp. 1\u201314 (2017)","DOI":"10.14722\/ndss.2017.23404"},{"key":"7_CR23","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-030-88418-5_8","volume-title":"ESORICS 2021, Part I","author":"O van Rooij","year":"2021","unstructured":"van Rooij, O., Charalambous, M.A., Kaizer, D., Papaevripides, M., Athanasopoulos, E.: webFuzz: grey-box fuzzing for web applications. In: Bertino, E., Shulman, H., Waidner, M. (eds.) ESORICS 2021, Part I. LNCS, vol. 12972, pp. 152\u2013172. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88418-5_8"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Somorovsky, J.: Systematic fuzzing and testing of TLS libraries. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, pp. 1492\u20131504 (2016)","DOI":"10.1145\/2976749.2978411"},{"key":"7_CR25","unstructured":"Spadaro, J., Wyatt, L.: Mutiny fuzzing framework (2018). https:\/\/github.com\/Cisco-Talos\/mutiny-fuzzer"},{"key":"7_CR26","unstructured":"Sutton, M., Greene, A., Amini, P.: Fuzzing: brute force vulnerability discovery. Pearson Education (2007)"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Tsankov, P., Dashti, M.T., Basin, D.: Secfuzz: fuzz-testing security protocols. In: 2012 7th International Workshop on Automation of Software Test (AST), pp.\u00a01\u20137. IEEE (2012)","DOI":"10.1109\/IWAST.2012.6228985"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Verwer, S., Hammerschmidt, C.A.: Flexfringe: a passive automaton learning package. In: 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME), pp. 638\u2013642. IEEE (2017)","DOI":"10.1109\/ICSME.2017.58"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Vigan\u00f2, E., Cornejo, O., Pastore, F., Briand, L.: DaMAT: a data-driven mutation analysis tool. In: 2023 IEEE\/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), pp. 165\u2013169. IEEE (2023)","DOI":"10.1109\/ICSE-Companion58688.2023.00047"},{"key":"7_CR30","unstructured":"Zalewski, M.: American fuzzy lop. http:\/\/lcamtuf.coredump.cx\/afl\/"},{"key":"7_CR31","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1023\/A:1009783824328","volume":"1","author":"T Zhang","year":"1997","unstructured":"Zhang, T., Ramakrishnan, R., Livny, M.: Birch: a new data clustering algorithm and its applications. Data Min. Knowl. Disc. 1, 141\u2013182 (1997)","journal-title":"Data Min. Knowl. Disc."}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-68150-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,20]],"date-time":"2024-08-20T12:02:57Z","timestamp":1724155377000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-68150-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031681493","9783031681509"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-68150-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"21 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Milan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.fm24.polimi.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}