{"id":"https://openalex.org/W4405056111","doi":"https://doi.org/10.1109/les.2024.3447691","title":"SPELL: An End-to-End Tool Flow for LLM-Guided Secure SoC Design for Embedded Systems","display_name":"SPELL: An End-to-End Tool Flow for LLM-Guided Secure SoC Design for Embedded Systems","publication_year":2024,"publication_date":"2024-12-01","ids":{"openalex":"https://openalex.org/W4405056111","doi":"https://doi.org/10.1109/les.2024.3447691"},"language":"en","primary_location":{"id":"doi:10.1109/les.2024.3447691","is_oa":false,"landing_page_url":"https://doi.org/10.1109/les.2024.3447691","pdf_url":null,"source":{"id":"https://openalex.org/S22443479","display_name":"IEEE Embedded Systems Letters","issn_l":"1943-0663","issn":["1943-0663","1943-0671"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Embedded Systems Letters","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092645197","display_name":"Sudipta Paria","orcid":"https://orcid.org/0009-0002-7726-8032"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sudipta Paria","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA"],"raw_orcid":"https://orcid.org/0009-0002-7726-8032","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102816328","display_name":"Aritra Dasgupta","orcid":"https://orcid.org/0000-0002-0786-9185"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aritra Dasgupta","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA"],"raw_orcid":"https://orcid.org/0000-0002-0786-9185","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039442844","display_name":"Swarup Bhunia","orcid":"https://orcid.org/0000-0001-6082-6961"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Swarup Bhunia","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA"],"raw_orcid":"https://orcid.org/0000-0001-6082-6961","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA","institution_ids":["https://openalex.org/I33213144"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I33213144"],"apc_list":null,"apc_paid":null,"fwci":2.9424,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.92598776,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"16","issue":"4","first_page":"365","last_page":"368"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9851999878883362,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9783999919891357,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8043383955955505},{"id":"https://openalex.org/keywords/end-to-end-principle","display_name":"End-to-end principle","score":0.5379152297973633},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4908347725868225},{"id":"https://openalex.org/keywords/design-flow","display_name":"Design flow","score":0.467803031206131},{"id":"https://openalex.org/keywords/spell","display_name":"Spell","score":0.41252923011779785},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.13332659006118774}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8043383955955505},{"id":"https://openalex.org/C74296488","wikidata":"https://www.wikidata.org/wiki/Q2527392","display_name":"End-to-end principle","level":2,"score":0.5379152297973633},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4908347725868225},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.467803031206131},{"id":"https://openalex.org/C2780957641","wikidata":"https://www.wikidata.org/wiki/Q1999796","display_name":"Spell","level":2,"score":0.41252923011779785},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.13332659006118774},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C19165224","wikidata":"https://www.wikidata.org/wiki/Q23404","display_name":"Anthropology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/les.2024.3447691","is_oa":false,"landing_page_url":"https://doi.org/10.1109/les.2024.3447691","pdf_url":null,"source":{"id":"https://openalex.org/S22443479","display_name":"IEEE Embedded Systems Letters","issn_l":"1943-0663","issn":["1943-0663","1943-0671"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Embedded Systems Letters","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W3047375509","https://openalex.org/W4294956360","https://openalex.org/W4385187421","https://openalex.org/W4388040405","https://openalex.org/W4391681217","https://openalex.org/W4399381536","https://openalex.org/W6766457457","https://openalex.org/W6849340928","https://openalex.org/W6853837529","https://openalex.org/W6855873652","https://openalex.org/W6855971735","https://openalex.org/W6856479018","https://openalex.org/W6858189809"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4287256643","https://openalex.org/W2745258745","https://openalex.org/W4296626305","https://openalex.org/W4254978807","https://openalex.org/W4287269020","https://openalex.org/W4307454463","https://openalex.org/W4287201819"],"abstract_inverted_index":{"Modern":[0],"embedded":[1],"systems":[2],"and":[3,49,116,141,161,175],"Internet":[4],"of":[5,40,79,96,123,191],"Things":[6],"(IoT)":[7],"devices":[8],"contain":[9,18,54],"system-on-chips":[10],"(SoCs)":[11],"as":[12,159],"their":[13,165],"hardware":[14,68],"backbone,":[15],"which":[16],"increasingly":[17],"many":[19],"critical":[20,32],"assets":[21,33],"(secure":[22],"communication":[23],"keys,":[24],"configuration":[25],"bits,":[26],"firmware,":[27],"sensitive":[28],"data,":[29],"etc.).":[30],"These":[31],"must":[34],"be":[35],"protected":[36],"against":[37],"wide":[38],"array":[39],"potential":[41],"vulnerabilities":[42,111,145],"to":[43,107,119,135,163],"uphold":[44],"the":[45,75,93,120,129,144,189],"system\u2019s":[46],"confidentiality,":[47],"integrity,":[48],"availability.":[50],"Today\u2019s":[51],"SoC":[52,98,115,173,183],"designs":[53],"diverse":[55],"intellectual":[56],"property":[57],"(IP)":[58],"blocks,":[59],"often":[60],"acquired":[61],"from":[62,171],"multiple":[63],"3rd-party":[64],"IP":[65],"vendors.":[66],"Secure":[67],"design":[69],"using":[70,155],"them":[71,118,134],"inevitably":[72],"relies":[73],"on":[74],"accrued":[76],"domain":[77],"knowledge":[78],"well-trained":[80],"security":[81,110,148,178],"experts.":[82],"In":[83],"this":[84,197],"letter,":[85],"we":[86],"introduceSPELL,":[87],"a":[88,113],"novel":[89],"end-to-end":[90],"framework":[91],"for":[92,139,180],"automated":[94],"development":[95],"secure":[97],"designs.":[99],"It":[100],"leverages":[101],"conversational":[102,194],"large":[103],"language":[104],"models":[105],"(LLMs)":[106],"automatically":[108],"identify":[109],"in":[112,167,196],"target":[114],"map":[117],"evolving":[121],"database":[122],"common":[124],"weakness":[125],"enumerations":[126],"(CWEs);SPELLthen":[127],"filters":[128],"relevant":[130],"CWEs,":[131],"subsequently":[132],"converting":[133],"systemverilog":[136],"assertions":[137],"(SVAs)":[138],"verification;":[140],"finally,":[142],"addresses":[143],"via":[146],"centralized":[147],"policy":[149],"enforcement.":[150],"We":[151,185],"have":[152,186],"implemented":[153],"theSPELLframework":[154],"popular":[156],"LLMs,":[157],"such":[158],"ChatGPT":[160],"GEMINI,":[162],"analyze":[164],"efficacy":[166],"generating":[168],"appropriate":[169],"CWEs":[170],"user-defined":[172],"specifications":[174],"implement":[176],"corresponding":[177],"policies":[179],"an":[181],"open-source":[182],"benchmark.":[184],"also":[187],"explored":[188],"limitations":[190],"existing":[192],"pretrained":[193],"LLMs":[195],"context.":[198]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":5}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}