{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T01:12:55Z","timestamp":1762045975342,"version":"build-2065373602"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,1,17]],"date-time":"2022-01-17T00:00:00Z","timestamp":1642377600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,1,17]],"date-time":"2022-01-17T00:00:00Z","timestamp":1642377600000},"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":[[2022,1,17]]},"DOI":"10.1109\/asp-dac52403.2022.9712594","type":"proceedings-article","created":{"date-parts":[[2022,2,21]],"date-time":"2022-02-21T22:39:17Z","timestamp":1645483157000},"page":"352-357","source":"Crossref","is-referenced-by-count":3,"title":["FirVer: Concolic Testing for Systematic Validation of Firmware Binaries"],"prefix":"10.1109","author":[{"given":"Tashfia","family":"Alam","sequence":"first","affiliation":[{"name":"University of Florida,ECE Department,Gainesville, FL,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenkun","family":"Yang","sequence":"additional","affiliation":[{"name":"Intel Corporation,Hillsboro, OR,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo","family":"Chen","sequence":"additional","affiliation":[{"name":"Intel Corporation,Hillsboro, OR,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicholas","family":"Armour","sequence":"additional","affiliation":[{"name":"Intel Corporation,Hillsboro, OR,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandip","family":"Ray","sequence":"additional","affiliation":[{"name":"University of Florida,ECE Department,Gainesville, FL,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89363-1_16"},{"key":"ref11","article-title":"Excite: Symbolic execution for BIOS security","author":"bazhaniuk","year":"0","journal-title":"USENIX Workshop on Offensive Technologies (WOOT)"},{"journal-title":"Unified Extensible Firmware Interface","year":"0","key":"ref12"},{"journal-title":"HBFA","year":"2021","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"journal-title":"S U C S Department Under-constrained Symbolic Execution Correctness Checking for Real Code","year":"2015","author":"ramos","key":"ref15"},{"key":"ref16","article-title":"Fie on firmware: Finding vulnerabilities in embedded systems using symbolic execution","author":"davidson","year":"2013","journal-title":"USENIX Security Symposium"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2019.8782476"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2656075.2656080"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89862-7_1"},{"key":"ref4","first-page":"337","article-title":"Verifying Information Flow Properties of Firmware Using Symbolic Execution","author":"pramod subramanyan","year":"2016","journal-title":"Design Automation Test in Europe Conference Exhibition (DATE)"},{"key":"ref3","article-title":"A new class of vulnerability in SMI Handlers of BIOS\/UEFI Firmware","author":"loucaides","year":"2015","journal-title":"CanSecWest"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0360"},{"key":"ref5","first-page":"1","article-title":"Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware","volume":"91","author":"huang","year":"2018","journal-title":"DAC"},{"key":"ref8","article-title":"Klee: unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"OSDI"},{"key":"ref7","first-page":"202","article-title":"Completeness bounds and sequen-tialization for model checking of interacting firmware and hardware","author":"ahn","year":"2015","journal-title":"CODES+ISSS"},{"key":"ref2","article-title":"How Many Million BIOSes Would you Like to Infect?","author":"kallenberg","year":"2015","journal-title":"CanSecWest"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2110356.2110358","article-title":"The s2e platform: Design, implementation, and applications","volume":"30","author":"chipounov","year":"2012","journal-title":"ACM Transactions on Computer Systems (TOCS)"},{"key":"ref1","article-title":"Firmware Verification: Challenges and Progress","author":"grundy","year":"2013","journal-title":"FM-CAD"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79124-9_10"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250746"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSA.2015.13"},{"journal-title":"AFL","year":"0","key":"ref23"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218694"}],"event":{"name":"2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC)","start":{"date-parts":[[2022,1,17]]},"location":"Taipei, Taiwan","end":{"date-parts":[[2022,1,20]]}},"container-title":["2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9712466\/9712479\/09712594.pdf?arnumber=9712594","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T21:08:36Z","timestamp":1655154516000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9712594\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,17]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/asp-dac52403.2022.9712594","relation":{},"subject":[],"published":{"date-parts":[[2022,1,17]]}}}