{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T08:49:24Z","timestamp":1781686164003,"version":"3.54.5"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,1,22]]},"DOI":"10.1109\/asp-dac58780.2024.10473895","type":"proceedings-article","created":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T19:06:53Z","timestamp":1711393613000},"page":"951-956","source":"Crossref","is-referenced-by-count":3,"title":["Theoretical Patchability Quantification for IP-Level Hardware Patching Designs"],"prefix":"10.1109","author":[{"given":"Wei-Kai","family":"Liu","sequence":"first","affiliation":[{"name":"Duke University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Benjamin","family":"Tan","sequence":"additional","affiliation":[{"name":"University of Calgary"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jason M.","family":"Fung","sequence":"additional","affiliation":[{"name":"Intel Corporation"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krishnendu","family":"Chakrabarty","sequence":"additional","affiliation":[{"name":"Arizona State University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2735383"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00052"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.2972524"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1145\/3508352.3549369","article-title":"Don\u2019t cweat it: Toward cwe analysis techniques in early stages of hardware design","volume-title":"Proceedings of IEEE\/ACM International Conference on Computer-Aided Design","author":"Ahmad"},{"key":"ref5","article-title":"Hardfails: Insights into software-exploitable hardware bugs","volume-title":"USENIX Security Symposium","author":"Dessouky"},{"key":"ref6","article-title":"Phmon: A programmable hardware monitor and its security use cases","volume-title":"Proceedings of USENIX Conference on Security Symposium","author":"Delshadtehrani"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00051"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1145\/3316781.3323478","article-title":"Formal verification of security critical hardware-firmware interactions in commercial SoCs","volume-title":"Proceedings of Design Automation Conference","author":"Ray"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243861"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SecDev.2017.18"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2006.41"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694366"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3019772"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2018.8297409"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3168513"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/800139.804528"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872414"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2020.2977534"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2019.8740840"}],"event":{"name":"2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)","location":"Incheon, Korea, Republic of","start":{"date-parts":[[2024,1,22]]},"end":{"date-parts":[[2024,1,25]]}},"container-title":["2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10473777\/10473787\/10473895.pdf?arnumber=10473895","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T21:49:16Z","timestamp":1711489756000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10473895\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,22]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/asp-dac58780.2024.10473895","relation":{},"subject":[],"published":{"date-parts":[[2024,1,22]]}}}