{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T16:22:20Z","timestamp":1783700540375,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T00:00:00Z","timestamp":1718150400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,6,12]]},"DOI":"10.1145\/3649476.3660393","type":"proceedings-article","created":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T12:29:41Z","timestamp":1718022581000},"page":"252-257","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Navigating SoC Security Landscape on LLM-Guided Paths"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-7726-8032","authenticated-orcid":false,"given":"Sudipta","family":"Paria","sequence":"first","affiliation":[{"name":"Electrical and Computer Engineering, University of Florida, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0786-9185","authenticated-orcid":false,"given":"Aritra","family":"Dasgupta","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, University of Florida, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6082-6961","authenticated-orcid":false,"given":"Swarup","family":"Bhunia","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, University of Florida, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The MITRE Corporation (MITRE)","unstructured":"2019. The MITRE Corporation (MITRE), CWE VIEW: Hardware Design. https:\/\/cwe.mitre.org\/data\/definitions\/1194.html"},{"key":"e_1_3_2_1_2_1","unstructured":"2024. RapidGPT: Your Ultimate HDL Pair-Designer. Primis AI. https:\/\/primis.ai\/docs Accessed: 2024-04."},{"key":"e_1_3_2_1_3_1","volume-title":"FLAG: Finding Line Anomalies (in code) with Generative AI. arxiv:2306.12643\u00a0[cs.CR]","author":"Ahmad Baleegh","year":"2023","unstructured":"Baleegh Ahmad, Benjamin Tan, Ramesh Karri, and Hammond Pearce. 2023. FLAG: Finding Line Anomalies (in code) with Generative AI. arxiv:2306.12643\u00a0[cs.CR]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2024.3374558"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MLCAD58807.2023.10299874"},{"key":"e_1_3_2_1_6_1","unstructured":"Kaiyan Chang Ying Wang Haimeng Ren Mengdi Wang Shengwen Liang Yinhe Han Huawei Li and Xiaowei Li. 2023. ChipGPT: How far are we from natural language hardware design. arxiv:2305.14019\u00a0[cs.AI]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Wenji Fang Mengming Li Min Li Zhiyuan Yan Shang Liu Hongce Zhang and Zhiyao Xie. 2024. AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs. arxiv:2402.00386\u00a0[cs.AR]","DOI":"10.1109\/LAD62341.2024.10691792"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/AsianHOST59942.2023.10409307"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323953"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Muhammad Hassan Sallar Ahmadi-Pour Khushboo Qayyum Chandan\u00a0Kumar Jha and Rolf Drechsler. 2024. LLM-guided Formal Verification Coupled with Mutation Testing. (2024).","DOI":"10.23919\/DATE58400.2024.10546729"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MLCAD58807.2023.10299852"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2024.3372809"},{"key":"e_1_3_2_1_13_1","unstructured":"Mingjie Liu Teodor-Dumitru Ene Robert Kirby Chris Cheng Nathaniel Pinckney Rongjian Liang Jonah Alben Himyanshu Anand Sanmitra Banerjee Ismet Bayraktaroglu Bonita Bhaskaran Bryan Catanzaro Arjun Chaudhuri Sharon Clay Bill Dally Laura Dang Parikshit Deshpande Siddhanth Dhodhi Sameer Halepete Eric Hill Jiashang Hu Sumit Jain Ankit Jindal Brucek Khailany George Kokai Kishor Kunal Xiaowei Li Charley Lind Hao Liu Stuart Oberman Sujeet Omar Ghasem Pasandi Sreedhar Pratty Jonathan Raiman Ambar Sarkar Zhengjiang Shao Hanfei Sun Pratik\u00a0P Suthar Varun Tej Walker Turner Kaizhe Xu and Haoxing Ren. 2024. ChipNeMo: Domain-Adapted LLMs for Chip Design. arxiv:2311.00176\u00a0[cs.CL]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323812"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Shang Liu Wenji Fang Yao Lu Qijun Zhang Hongce Zhang and Zhiyao Xie. 2024. RTLCoder: Outperforming GPT-3.5 in Design RTL Generation with Our Open-Source Dataset and Lightweight Solution. arxiv:2312.08617\u00a0[cs.PL]","DOI":"10.1109\/LAD62341.2024.10691788"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC58780.2024.10473904"},{"key":"e_1_3_2_1_17_1","unstructured":"Xingyu Meng Amisha Srivastava Ayush Arunachalam Avik Ray Pedro\u00a0Henrique Silva Rafail Psiakis Yiorgos Makris and Kanad Basu. 2023. Unlocking Hardware Security Assurance: The Potential of LLMs. arxiv:2308.11042\u00a0[cs.CR]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586118"},{"key":"e_1_3_2_1_19_1","unstructured":"Marcelo Orenes-Vera Margaret Martonosi and David Wentzlaff. 2023. Using LLMs to Facilitate Formal Verification of RTL. arxiv:2309.09437\u00a0[cs.AR]"},{"key":"e_1_3_2_1_20_1","unstructured":"Sudipta Paria and Swarup Bhunia. 2023. DiSPEL: Distributed Security Policy Enforcement for Bus-based SoC. arxiv:2308.02792\u00a0[cs.CR]"},{"key":"e_1_3_2_1_21_1","volume-title":"DIVAS: An LLM-based End-to-End Framework for SoC Security Analysis and Policy-based Protection. arxiv:2308.06932\u00a0[cs.CR]","author":"Paria Sudipta","year":"2023","unstructured":"Sudipta Paria, Aritra Dasgupta, and Swarup Bhunia. 2023. DIVAS: An LLM-based End-to-End Framework for SoC Security Analysis and Policy-based Protection. arxiv:2308.06932\u00a0[cs.CR]"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179420"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Dipayan Saha Shams Tarek Katayoon Yahyaei Sujan\u00a0Kumar Saha Jingbo Zhou Mark Tehranipoor and Farimah Farahmandi. 2023. LLM for SoC Security: A Paradigm Shift. arxiv:2310.06046\u00a0[cs.CR]","DOI":"10.1109\/ACCESS.2024.3427369"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3643681"},{"key":"e_1_3_2_1_25_1","unstructured":"Shailja Thakur Jason Blocklove Hammond Pearce Benjamin Tan Siddharth Garg and Ramesh Karri. 2023. AutoChip: Automating HDL Generation Using LLM Feedback. arxiv:2311.04887\u00a0[cs.PL]"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Yun-Da Tsai Mingjie Liu and Haoxing Ren. 2024. RTLFixer: Automatically Fixing RTL Syntax Errors with Large Language Models. arxiv:2311.16543\u00a0[cs.AR]","DOI":"10.1145\/3649329.3657353"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00129"}],"event":{"name":"GLSVLSI '24: Great Lakes Symposium on VLSI 2024","location":"Clearwater FL USA","acronym":"GLSVLSI '24","sponsor":["SIGDA ACM Special Interest Group on Design Automation"]},"container-title":["Proceedings of the Great Lakes Symposium on VLSI 2024"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649476.3660393","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3649476.3660393","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T02:28:40Z","timestamp":1755829720000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649476.3660393"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,12]]},"references-count":27,"alternative-id":["10.1145\/3649476.3660393","10.1145\/3649476"],"URL":"https:\/\/doi.org\/10.1145\/3649476.3660393","relation":{},"subject":[],"published":{"date-parts":[[2024,6,12]]},"assertion":[{"value":"2024-06-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}