{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T14:30:55Z","timestamp":1749047455238,"version":"3.37.3"},"reference-count":53,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,4,24]],"date-time":"2023-04-24T00:00:00Z","timestamp":1682294400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,24]],"date-time":"2023-04-24T00:00:00Z","timestamp":1682294400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100007140","name":"Synopsys","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100007140","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,4,24]]},"DOI":"10.1109\/vts56346.2023.10140100","type":"proceedings-article","created":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T19:35:17Z","timestamp":1685734517000},"page":"1-10","source":"Crossref","is-referenced-by-count":3,"title":["Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance"],"prefix":"10.1109","author":[{"given":"Sohrab","family":"Aftabjahani","sequence":"first","affiliation":[{"name":"Intel Corporation,Data Center Platform Engineering and Architecture,Hillsboro,OR,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Tehranipoor","sequence":"additional","affiliation":[{"name":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farimah","family":"Farahmandi","sequence":"additional","affiliation":[{"name":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bulbul","family":"Ahmed","sequence":"additional","affiliation":[{"name":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan","family":"Kastner","sequence":"additional","affiliation":[{"name":"UC San Diego,Department of Computer Science and Engineering,San Diego,CA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Restuccia","sequence":"additional","affiliation":[{"name":"UC San Diego,Department of Computer Science and Engineering,San Diego,CA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andres","family":"Meza","sequence":"additional","affiliation":[{"name":"UC San Diego,Department of Computer Science and Engineering,San Diego,CA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaki","family":"Ryan","sequence":"additional","affiliation":[{"name":"UC San Diego,Department of Computer Science and Engineering,San Diego,CA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicole","family":"Fern","sequence":"additional","affiliation":[{"name":"Riscure Inc.,San Francisco,CA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jasper","family":"van Woudenberg","sequence":"additional","affiliation":[{"name":"Riscure Inc.,San Francisco,CA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajesh","family":"Velegalati","sequence":"additional","affiliation":[{"name":"Riscure Inc.,San Francisco,CA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cees-Bart","family":"Breunesse","sequence":"additional","affiliation":[{"name":"Riscure Inc.,San Francisco,CA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cynthia","family":"Sturton","sequence":"additional","affiliation":[{"name":"University of North Carolina,Department of Computer Science,Chapel Hill,NC,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calvin","family":"Deutschbein","sequence":"additional","affiliation":[{"name":"Willamette University,Department of Computing and Data Science,Salem,OR,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2735383"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30596-3_2"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30596-3"},{"key":"ref14","article-title":"Fuzz, Penetration, and AI Testing for SoC Security Verification: Challenges and Solutions","author":"azar","year":"2022","journal-title":"Cryptology ePrint Archive"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2022.i4.751-773"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/HOST45689.2020.9300271"},{"journal-title":"CAD for Assurance","year":"0","key":"ref11"},{"journal-title":"Trust-HUB","article-title":"The Vulnerability Database","year":"0","key":"ref10"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3492345"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3243415"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/OLT.2004.1319691"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2950380"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00071"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3093337.3037734"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203772"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3399742"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s13389-022-00306-w"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/MSEC.2023.3251954"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643538"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3357033"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2331332"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00030"},{"journal-title":"Welcome to Trust-Hub","year":"0","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ITC44170.2019.9000165"},{"journal-title":"Trust-HUB","article-title":"CAD\/IP for Security","year":"0","key":"ref9"},{"key":"ref4","article-title":"Chapter 3: Microlectronics Secuity and Trust - Grand Challenges","author":"tehranipoor","year":"2019","journal-title":"TAME Trusted and Assured MicroElectronics Working Group Report"},{"key":"ref3","first-page":"45","author":"cammarota","year":"2017","journal-title":"Semiconductor Research Opportunities – An Industry Vision and Guide"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ITC44170.2019.9000128"},{"journal-title":"Research Needs Trustworthy and Secure Semiconductors and Systems (T3S)","year":"2019","author":"gardner","key":"ref5"},{"journal-title":"CIRCT Circuit IR compilers and tools","year":"2020","key":"ref40"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530637"},{"key":"ref34","first-page":"1","article-title":"INVITED: Formal Verification of Security Critical Hardware-Firmware Interactions in Commercial SoCs","author":"ray","year":"2019","journal-title":"2019 56th ACM\/IEEE Design Automation Conference (DAC)"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2012.6224330"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2016.12"},{"key":"ref31","first-page":"97","article-title":"Yosys-a free Verilog synthesis suite","author":"wolf","year":"2013","journal-title":"Proceedings of the 21st Austrian Workshop on Microelectronics (Austrochip)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2020.2997704"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203780"},{"journal-title":"Introduction to Hardware Security and Trust","year":"2011","author":"tehranipoor","key":"ref2"},{"journal-title":"Hardware Security A Hands-on Learning Approach","year":"2019","author":"bhunia","key":"ref1"},{"key":"ref39","first-page":"1","article-title":"Hardware information flow tracking","volume":"54","author":"hu","year":"2021","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/VTS50974.2021.9441032"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643467"},{"year":"0","key":"ref23"},{"key":"ref26","article-title":"Invoking and linking generators from multiple hardware languages using coreir","author":"daly","year":"2018","journal-title":"Proceedings of the 1st Workshop on Open-Source EDA Technology"},{"year":"0","key":"ref25"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2834396"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2004.1386969"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2897992"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CGO51591.2021.9370308"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386024"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2018.8603014"}],"event":{"name":"2023 IEEE 41st VLSI Test Symposium (VTS)","start":{"date-parts":[[2023,4,24]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2023,4,26]]}},"container-title":["2023 IEEE 41st VLSI Test Symposium (VTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10139918\/10139926\/10140100.pdf?arnumber=10140100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T17:49:36Z","timestamp":1687196976000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10140100\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,24]]},"references-count":53,"URL":"https:\/\/doi.org\/10.1109\/vts56346.2023.10140100","relation":{},"subject":[],"published":{"date-parts":[[2023,4,24]]}}}