{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T07:20:44Z","timestamp":1725780044866},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T00:00:00Z","timestamp":1559433600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,2]]},"DOI":"10.1145\/3316781.3323478","type":"proceedings-article","created":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T18:07:13Z","timestamp":1558634833000},"page":"1-4","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Formal Verification of Security Critical Hardware-Firmware Interactions in Commercial SoCs"],"prefix":"10.1145","author":[{"given":"Sayak","family":"Ray","sequence":"first","affiliation":[]},{"given":"Nishant","family":"Ghosh","sequence":"additional","affiliation":[]},{"given":"Ramya Jayaram","family":"Masti","sequence":"additional","affiliation":[]},{"given":"Arun","family":"Kanuparthi","sequence":"additional","affiliation":[]},{"given":"Jason M.","family":"Fung","sequence":"additional","affiliation":[]}],"member":"320","published-online":{"date-parts":[[2019,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"A. Horn etal 2013. Formal co-validation of low-level hardware\/software interfaces.. In FMCAD. 121--128. A. Horn et al. 2013. Formal co-validation of low-level hardware\/software interfaces.. In FMCAD. 121--128.","DOI":"10.1109\/FMCAD.2013.6679400"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_32"},{"key":"e_1_3_2_1_3_1","unstructured":"AMD. 2012. AMD SB800-Series Southbridges BIOS Developer's Guide. https:\/\/www.amd.com\/system\/files\/TechDocs\/45483.pdf. AMD. 2012. AMD SB800-Series Southbridges BIOS Developer's Guide. https:\/\/www.amd.com\/system\/files\/TechDocs\/45483.pdf."},{"key":"e_1_3_2_1_4_1","unstructured":"Apple. 2018. Apple BootROM 574.4. https:\/\/goo.gl\/q3m5Ky. Apple. 2018. Apple BootROM 574.4. https:\/\/goo.gl\/q3m5Ky."},{"volume-title":"Principles of ARM\u00ae Memory Maps. https:\/\/goo.gl\/oPVv55","author":"RM.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3196055"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"B. Schmidt etal 2013. A computational model for SAT-based verification of hardware-dependent low-level embedded system software. In 18th ASP-DAC. B. Schmidt et al. 2013. A computational model for SAT-based verification of hardware-dependent low-level embedded system software. In 18th ASP-DAC.","DOI":"10.1109\/ASPDAC.2013.6509684"},{"volume-title":"et al","year":"2018","author":"B.","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127908.1127920"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747943"},{"key":"e_1_3_2_1_11_1","unstructured":"Intel. 2010. Minimal Intel Architecture Boot Loader. https:\/\/goo.gl\/KLdq6a. Intel. 2010. Minimal Intel Architecture Boot Loader. https:\/\/goo.gl\/KLdq6a."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660322"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024843"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"P. Subramanyan etal 2016. Verifying Information Flow Properties of Firmware Using Symbolic Execution. In DATE. 337--342. P. Subramanyan et al. 2016. Verifying Information Flow Properties of Firmware Using Symbolic Execution. In DATE. 337--342.","DOI":"10.3850\/9783981537079_0793"},{"journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (","article-title":"2017. Template-based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification","year":"2017","author":"Subramanyan P.","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062253"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"S. Krstic etal 2014. Security of SoC firmware load protocols. In HOST. IEEE 70--75. S. Krstic et al. 2014. Security of SoC firmware load protocols. In HOST. IEEE 70--75.","DOI":"10.1109\/HST.2014.6855571"},{"volume-title":"Security Policy Enforcement in Modern SoC Designs. In ICCAD (ICCAD '15)","year":"2015","author":"Ray S.","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2017.2714641"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2596692"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_7"}],"event":{"name":"DAC '19: The 56th Annual Design Automation Conference 2019","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Las Vegas NV USA","acronym":"DAC '19"},"container-title":["Proceedings of the 56th Annual Design Automation Conference 2019"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3316781.3323478","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,6]],"date-time":"2023-01-06T03:32:01Z","timestamp":1672975921000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316781.3323478"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,2]]},"references-count":21,"alternative-id":["10.1145\/3316781.3323478","10.1145\/3316781"],"URL":"https:\/\/doi.org\/10.1145\/3316781.3323478","relation":{},"subject":[],"published":{"date-parts":[[2019,6,2]]},"assertion":[{"value":"2019-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}