{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T21:10:52Z","timestamp":1784927452533,"version":"3.55.0"},"reference-count":57,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000006","name":"U.S. Office of Naval Research","doi-asserted-by":"publisher","award":["00014-18-1-2058"],"award-info":[{"award-number":["00014-18-1-2058"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100002418","name":"Intel Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100002418","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans.Inform.Forensic Secur."],"published-print":{"date-parts":[[2024]]},"DOI":"10.1109\/tifs.2024.3372809","type":"journal-article","created":{"date-parts":[[2024,3,4]],"date-time":"2024-03-04T19:11:58Z","timestamp":1709579518000},"page":"4374-4389","source":"Crossref","is-referenced-by-count":79,"title":["(Security) Assertions by Large Language Models"],"prefix":"10.1109","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9968-434X","authenticated-orcid":false,"given":"Rahul","family":"Kande","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, Texas A&M University, College Station, TX, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3488-7004","authenticated-orcid":false,"given":"Hammond","family":"Pearce","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7642-3638","authenticated-orcid":false,"given":"Benjamin","family":"Tan","sequence":"additional","affiliation":[{"name":"Department of Electrical and Software Engineering, University of Calgary, Calgary, AB, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8867-4282","authenticated-orcid":false,"given":"Brendan","family":"Dolan-Gavitt","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, New York University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9590-5061","authenticated-orcid":false,"given":"Shailja","family":"Thakur","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, New York University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7989-5617","authenticated-orcid":false,"given":"Ramesh","family":"Karri","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, New York University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jeyavijayan","family":"Rajendran","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Texas A&M University, College Station, TX, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2335155"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2906147"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2944586"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3315574"},{"key":"ref5","first-page":"1803","article-title":"The unpatchable silicon: A full break of the bitstream encryption of Xilinx 7-series FPGAs","volume-title":"Proc. 29th USENIX Secur. Symp.","author":"Ender"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/40.372360"},{"key":"ref7","first-page":"213","article-title":"HardFails: Insights into software-exploitable hardware bugs","volume-title":"Proc. USENIX Secur. Symp.","author":"Dessouky"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-014-5449-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/307988.307989"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744823"},{"key":"ref11","first-page":"3237","article-title":"Fuzzing hardware like software","volume-title":"Proc. USENIX Secur. Symp.","author":"Trippel"},{"key":"ref12","first-page":"3219","article-title":"TheHuzz: Instruction fuzzing of processors using golden-reference models for finding software-exploitable vulnerabilities","volume-title":"Proc. USENIX Secur. Symp.","author":"Kande"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927266"},{"key":"ref14","article-title":"HyPFuzz: Formal-assisted processor fuzzing","author":"Chen","year":"2023","journal-title":"arXiv:2304.02485"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9474098"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9228-4"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3510578"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3565801"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3850\/9783981537079_0334"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457129"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2241176"},{"key":"ref22","article-title":"Overview of assertion-based verification and its applications","volume-title":"Proc. Int. Conf. Embedded Syst., Cyber-Phys. Syst. (ESCS), Appl., World Congr. Comput. Sci., Comput. Eng., Appl. Comput","author":"Ren"},{"key":"ref23","article-title":"Evaluating large language models trained on code","author":"Chen","year":"2021","journal-title":"arXiv:2107.03374"},{"key":"ref24","volume-title":"Tech Workers in Semiconductor Industry","year":"2023"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/11671299_34"},{"issue":"8","key":"ref26","first-page":"9","article-title":"Language models are unsupervised multitask learners","volume":"1","author":"Radford","year":"2019","journal-title":"OpenAI Blog"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1810.04805"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1706.03762"},{"issue":"2","key":"ref29","first-page":"23","article-title":"A new algorithm for data compression","volume":"12","author":"Gage","year":"1994","journal-title":"C Users J."},{"key":"ref30","volume-title":"GitHub Copilot \u00b7 Your AI Pair Programmer","year":"2022"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833571"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/sp46215.2023.10179420"},{"key":"ref33","article-title":"Megatron-LM: Training multi-billion parameter language models using model parallelism","author":"Shoeybi","year":"2019","journal-title":"arXiv:1909.08053"},{"key":"ref34","article-title":"CodeGen: An open large language model for code with multi-turn program synthesis","author":"Nijkamp","year":"2022","journal-title":"arXiv:2203.13474"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3380446.3430634"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3545258.3545268"},{"key":"ref37","article-title":"Can OpenAI codex and other large language models help us fix security bugs?","author":"Pearce","year":"2021","journal-title":"arXiv:2112.02125"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2018.8297287"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2018.00013"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2019.8876925"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00030"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530638"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3453688.3464508"},{"key":"ref44","volume-title":"Open Source Silicon Root of Trust (RoT)","year":"2022"},{"key":"ref45","volume-title":"Modelsim","year":"2021"},{"key":"ref46","volume-title":"Finetuned Codegen-2B-Verilog Model","author":"Thakur","year":"2022"},{"key":"ref47","volume-title":"ChatGPT: Optimizing Language Models for Dialogue","year":"2022"},{"key":"ref48","volume-title":"Understanding Codex Training Data and Outputs","author":"Schade","year":"2023"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.iotcps.2023.04.003"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.23919\/DATE56975.2023.10137086"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/AsianHOST59942.2023.10409307"},{"key":"ref52","article-title":"Unlocking hardware security assurance: The potential of LLMs","author":"Meng","year":"2023","journal-title":"arXiv:2308.11042"},{"key":"ref53","article-title":"DIVAS: An LLM-based end-to-end framework for SoC security analysis and policy-based protection","author":"Paria","year":"2023","journal-title":"arXiv:2308.06932"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/3627106.3627196"},{"key":"ref55","article-title":"Using LLMs to facilitate formal verification of RTL","author":"Orenes-Vera","year":"2023","journal-title":"arXiv:2309.09437"},{"key":"ref56","article-title":"LLM4DV: Using large language models for hardware test stimuli generation","author":"Zhang","year":"2023","journal-title":"arXiv:2310.04535"},{"key":"ref57","article-title":"LLM-assisted generation of hardware assertions","author":"Kande","year":"2023","journal-title":"arXiv:2306.14027"}],"container-title":["IEEE Transactions on Information Forensics and Security"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10206\/10319981\/10458667.pdf?arnumber=10458667","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T04:41:58Z","timestamp":1715056918000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10458667\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"references-count":57,"URL":"https:\/\/doi.org\/10.1109\/tifs.2024.3372809","relation":{},"ISSN":["1556-6013","1556-6021"],"issn-type":[{"value":"1556-6013","type":"print"},{"value":"1556-6021","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]}}}