{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T13:33:34Z","timestamp":1725716014654},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,9,28]]},"DOI":"10.23919\/mipro48935.2020.9245083","type":"proceedings-article","created":{"date-parts":[[2020,11,6]],"date-time":"2020-11-06T21:51:34Z","timestamp":1604699494000},"page":"1218-1223","source":"Crossref","is-referenced-by-count":2,"title":["Bug detection in embedded environments by fuzzing and symbolic execution"],"prefix":"10.23919","author":[{"given":"Juraj","family":"Vijtiuk","sequence":"first","affiliation":[]},{"given":"Luka","family":"Perkov","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Krog","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"FuzzCoAP","year":"2018","author":"melo","key":"ref33"},{"journal-title":"RIOT - The friendly OS for IoT","year":"2019","key":"ref32"},{"journal-title":"Oss-fuzz","year":"2020","key":"ref31"},{"journal-title":"rr project homepage","year":"2017","key":"ref30"},{"journal-title":"Klee Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs","year":"2008","author":"cadar","key":"ref36"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.26"},{"journal-title":"Add AFL-based fuzzing setup for network modules #13157","article-title":"RIOT - The friendly OS for IoT","year":"2020","key":"ref34"},{"journal-title":"Honggfuzz","year":"2019","author":"swiecki","key":"ref10"},{"journal-title":"gramfuzz","year":"2020","author":"johnson","key":"ref11"},{"journal-title":"dharma","year":"2019","key":"ref12"},{"journal-title":"Radamsa","year":"2019","author":"helin","key":"ref13"},{"journal-title":"Libfuzzer","year":"2020","key":"ref14"},{"journal-title":"Angora","year":"2019","author":"chen","key":"ref15"},{"journal-title":"Klee llvm execution engine","year":"2019","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"journal-title":"Manticore","year":"2019","author":"mossberg","key":"ref18"},{"journal-title":"ubus (OpenWrt micro bus architecture)","year":"2020","key":"ref19"},{"journal-title":"Clang 11 documentation - MemorySanitizer","year":"2020","key":"ref28"},{"journal-title":"Huge Survey of Firmware Finds No Security Gains in 15 Year","year":"2019","author":"roberts","key":"ref4"},{"journal-title":"Clang 11 documentation - UndefinedBehaviorSanitizer","year":"2020","key":"ref27"},{"key":"ref3","article-title":"Understanding the Mirai Botnet","author":"antonakakis","year":"2018","journal-title":"USENIX Security Symposium"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"journal-title":"Security Advisory 2020-01-22-2 - libubox tagged binary data JSON serialization vulnerability (CVE-2020-7248)","year":"2020","author":"\u0161tetiar","key":"ref29"},{"journal-title":"Public Fuzzers","year":"2020","key":"ref5"},{"journal-title":"American Fuzzy Lop (AFL)","year":"2019","author":"zalewski","key":"ref8"},{"key":"ref7","article-title":"The Art, Science and Engineering of Fuzzing: A survey","author":"man\u00e8s","year":"2018","journal-title":"IEEE Transactions on Software Engineering"},{"journal-title":"Brazil is at the forefront of a new type of router attack","year":"2019","author":"cimpanu","key":"ref2"},{"journal-title":"American Fuzzing Lop Plus Plus (AFL++)","year":"2019","author":"hauser","key":"ref9"},{"journal-title":"Massive cyberattack targeting 99 countries causes sweeping havoc","year":"2017","author":"larson","key":"ref1"},{"journal-title":"Fuzzing Apache httpd server with American Fuzzy Lop + persistent mode","year":"2017","key":"ref20"},{"journal-title":"afl-cmin(1)","year":"2020","author":"stender","key":"ref22"},{"journal-title":"afl-tmin(1)","year":"2020","author":"stender","key":"ref21"},{"journal-title":"[OpenWrt-Devel] [PATCH] file fix segfault in uci_parse_config","year":"2019","author":"ko\u017enjak","key":"ref24"},{"journal-title":"[OpenWrt-Devel] [PATCH] file fix segfault in uci_parse_option","year":"2019","author":"ko\u017enjak","key":"ref23"},{"journal-title":"Clang 11 documentation - AddressSanitizer","year":"2020","key":"ref26"},{"journal-title":"libubox","year":"2020","key":"ref25"}],"event":{"name":"2020 43rd International Convention on Information, Communication and Electronic Technology (MIPRO)","start":{"date-parts":[[2020,9,28]]},"location":"Opatija, Croatia","end":{"date-parts":[[2020,10,2]]}},"container-title":["2020 43rd International Convention on Information, Communication and Electronic Technology (MIPRO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9245088\/9245075\/09245083.pdf?arnumber=9245083","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,13]],"date-time":"2021-01-13T05:10:30Z","timestamp":1610514630000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9245083\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,28]]},"references-count":36,"URL":"https:\/\/doi.org\/10.23919\/mipro48935.2020.9245083","relation":{},"subject":[],"published":{"date-parts":[[2020,9,28]]}}}