{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T16:44:34Z","timestamp":1743266674670},"reference-count":18,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Ministero dell Istruzione dell Universite e della Ricerca","award":["Progetto di eccellenza"],"award-info":[{"award-number":["Progetto di eccellenza"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Emerg. Topics Comput."],"published-print":{"date-parts":[[2020]]},"DOI":"10.1109\/tetc.2020.3035187","type":"journal-article","created":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T21:18:10Z","timestamp":1604351890000},"page":"1-1","source":"Crossref","is-referenced-by-count":5,"title":["Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences"],"prefix":"10.1109","author":[{"given":"Samuele","family":"Germiniani","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Danese","sequence":"additional","affiliation":[]},{"given":"Graziano","family":"Pravadelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS.2017.00104"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3333165.3333169"},{"key":"ref4","article-title":"How Many Million BIOSes Would You Like to Infect?","author":"Kallenberg","year":"2015","journal-title":"Proc. CanSecWest Conf."},{"key":"ref5","first-page":"463","article-title":"FIE on firmware: Finding vulnerabilities in embedded systems using symbolic execution","volume-title":"Proc. 22nd USENIX Conf. Secur.","author":"Davidson"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89363-1_16"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1961296.1950396"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342262"},{"key":"ref9","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume-title":"Proc. 8th USENIX Conf. Operating Syst. Des. Implementation","volume":"8","author":"Cadar"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1791212.1791235"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1791212.1791234"},{"key":"ref13","article-title":"QEMU, a fast and portable dynamic translator","volume-title":"Proc. Annu. Conf. USENIX Annu. Tech. Conf.","volume":"41","author":"Bellard"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89862-7_1"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1292414.1292416"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_8"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44829-2_8"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"ref20","article-title":"Setup for failure: Defeating secure boot","volume-title":"Proc. Symp. Secur. Asia Netw.","author":"Kallenberg"}],"container-title":["IEEE Transactions on Emerging Topics in Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6245516\/6558478\/09246700.pdf?arnumber=9246700","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T23:15:33Z","timestamp":1704842133000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9246700\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/tetc.2020.3035187","relation":{},"ISSN":["2168-6750","2376-4562"],"issn-type":[{"value":"2168-6750","type":"electronic"},{"value":"2376-4562","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]}}}