{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T21:51:26Z","timestamp":1770846686633,"version":"3.50.1"},"reference-count":0,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T00:00:00Z","timestamp":1766102400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T00:00:00Z","timestamp":1766102400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,12,19]]},"DOI":"10.1109\/asianhost68425.2025.11370389","type":"proceedings-article","created":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T20:54:04Z","timestamp":1770843244000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Leveraging Large Language Models for Secure Hardware Verification and Analysis"],"prefix":"10.1109","author":[{"given":"Yifang","family":"Zhao","sequence":"first","affiliation":[{"name":"University of Science and Technology of China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weimin","family":"Fu","sequence":"additional","affiliation":[{"name":"Kansas State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi-Xiang","family":"Hu","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shijie","family":"Li","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaolong","family":"Guo","sequence":"additional","affiliation":[{"name":"Kansas State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yier","family":"Jin","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","event":{"name":"2025 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)","location":"Nanjing, China","start":{"date-parts":[[2025,12,19]]},"end":{"date-parts":[[2025,12,21]]}},"container-title":["2025 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11370305\/11370330\/11370389.pdf?arnumber=11370389","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T20:54:04Z","timestamp":1770843244000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11370389\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,19]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1109\/asianhost68425.2025.11370389","relation":{},"subject":[],"published":{"date-parts":[[2025,12,19]]}}}