{"id":"https://openalex.org/W4401568715","doi":"https://doi.org/10.23919/date58400.2024.10546664","title":"A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators","display_name":"A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators","publication_year":2024,"publication_date":"2024-03-25","ids":{"openalex":"https://openalex.org/W4401568715","doi":"https://doi.org/10.23919/date58400.2024.10546664"},"language":"en","primary_location":{"id":"doi:10.23919/date58400.2024.10546664","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date58400.2024.10546664","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-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/A5081481036","display_name":"Anna Lena Duque Ant\u00f3n","orcid":"https://orcid.org/0000-0003-2379-853X"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]},{"id":"https://openalex.org/I2802076133","display_name":"University of Koblenz and Landau","ror":"https://ror.org/01j9f6752","country_code":"DE","type":"education","lineage":["https://openalex.org/I2802076133"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Anna Lena Duque Ant\u00f3n","raw_affiliation_strings":["University of Kaiserslautern-Landau,Kaiserslautern,Germany"],"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern-Landau,Kaiserslautern,Germany","institution_ids":["https://openalex.org/I2802076133","https://openalex.org/I153267046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101485070","display_name":"Johannes M\u00fcller","orcid":"https://orcid.org/0000-0001-8729-0466"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]},{"id":"https://openalex.org/I2802076133","display_name":"University of Koblenz and Landau","ror":"https://ror.org/01j9f6752","country_code":"DE","type":"education","lineage":["https://openalex.org/I2802076133"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Johannes M\u00fcller","raw_affiliation_strings":["University of Kaiserslautern-Landau,Kaiserslautern,Germany"],"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern-Landau,Kaiserslautern,Germany","institution_ids":["https://openalex.org/I2802076133","https://openalex.org/I153267046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078008408","display_name":"Lucas Deutschmann","orcid":"https://orcid.org/0000-0002-2139-1878"},"institutions":[{"id":"https://openalex.org/I2802076133","display_name":"University of Koblenz and Landau","ror":"https://ror.org/01j9f6752","country_code":"DE","type":"education","lineage":["https://openalex.org/I2802076133"]},{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lucas Deutschmann","raw_affiliation_strings":["University of Kaiserslautern-Landau,Kaiserslautern,Germany"],"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern-Landau,Kaiserslautern,Germany","institution_ids":["https://openalex.org/I2802076133","https://openalex.org/I153267046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056116323","display_name":"Mohammad Rahmani Fadiheh","orcid":"https://orcid.org/0000-0003-0214-2486"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mohammad Rahmani Fadiheh","raw_affiliation_strings":["Stanford University,Stanford,USA"],"affiliations":[{"raw_affiliation_string":"Stanford University,Stanford,USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047920654","display_name":"Dominik Stoffel","orcid":"https://orcid.org/0000-0002-8180-9738"},"institutions":[{"id":"https://openalex.org/I2802076133","display_name":"University of Koblenz and Landau","ror":"https://ror.org/01j9f6752","country_code":"DE","type":"education","lineage":["https://openalex.org/I2802076133"]},{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Dominik Stoffel","raw_affiliation_strings":["University of Kaiserslautern-Landau,Kaiserslautern,Germany"],"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern-Landau,Kaiserslautern,Germany","institution_ids":["https://openalex.org/I2802076133","https://openalex.org/I153267046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066184879","display_name":"Wolfgang Kunz","orcid":"https://orcid.org/0000-0002-6612-2946"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]},{"id":"https://openalex.org/I2802076133","display_name":"University of Koblenz and Landau","ror":"https://ror.org/01j9f6752","country_code":"DE","type":"education","lineage":["https://openalex.org/I2802076133"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wolfgang Kunz","raw_affiliation_strings":["University of Kaiserslautern-Landau,Kaiserslautern,Germany"],"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern-Landau,Kaiserslautern,Germany","institution_ids":["https://openalex.org/I2802076133","https://openalex.org/I153267046"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5081481036"],"corresponding_institution_ids":["https://openalex.org/I153267046","https://openalex.org/I2802076133"],"apc_list":null,"apc_paid":null,"fwci":1.5557,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.83409903,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"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.9815999865531921,"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.9815999865531921,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9010000228881836,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/trojan","display_name":"Trojan","score":0.8052030801773071},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5710138082504272},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.24180364608764648}],"concepts":[{"id":"https://openalex.org/C174333608","wikidata":"https://www.wikidata.org/wiki/Q19635","display_name":"Trojan","level":2,"score":0.8052030801773071},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5710138082504272},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.24180364608764648}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/date58400.2024.10546664","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date58400.2024.10546664","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1976955200","https://openalex.org/W1989761413","https://openalex.org/W2011712479","https://openalex.org/W2019433023","https://openalex.org/W2021949528","https://openalex.org/W2047855165","https://openalex.org/W2079529953","https://openalex.org/W2099836087","https://openalex.org/W2122509673","https://openalex.org/W2151668694","https://openalex.org/W2154958010","https://openalex.org/W2165097265","https://openalex.org/W2464661970","https://openalex.org/W2588293441","https://openalex.org/W2588498638","https://openalex.org/W2606854262","https://openalex.org/W2805199763","https://openalex.org/W2900193304","https://openalex.org/W3010443526","https://openalex.org/W3036926273","https://openalex.org/W3092431517","https://openalex.org/W3159333627","https://openalex.org/W3174999470","https://openalex.org/W4280581049","https://openalex.org/W6790777776"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W4253721122","https://openalex.org/W1671033612","https://openalex.org/W4389527383","https://openalex.org/W4206524843","https://openalex.org/W2139923244","https://openalex.org/W2237899707","https://openalex.org/W576137284","https://openalex.org/W2116135171"],"abstract_inverted_index":{"The":[0,16,106],"threat":[1],"of":[2,79,84,103,114],"hardware":[3],"Trojans":[4],"(HTs)":[5],"in":[6,59,118],"security-critical":[7],"IPs":[8],"like":[9],"cryptographic":[10],"accelerators":[11,61,119],"poses":[12],"severe":[13],"security":[14,47],"risks.":[15],"HT":[17,37,57,82],"detection":[18,58,78,113],"methods":[19],"available":[20,120],"today":[21],"mostly":[22],"rely":[23],"on":[24,121],"golden":[25,97],"models":[26],"and":[27,44,111,128],"detailed":[28],"circuit":[29],"specifications.":[30],"Often":[31],"they":[32],"are":[33],"specific":[34],"to":[35,46],"certain":[36],"payload":[38,86],"types,":[39],"making":[40],"pre-silicon":[41],"verification":[42,54],"difficult":[43],"leading":[45],"gaps.":[48],"We":[49],"propose":[50],"a":[51,96,100],"novel":[52],"formal":[53,70],"method":[55,74],"for":[56],"non-interfering":[60],"at":[62],"the":[63,76,104],"Register":[64],"Transfer":[65],"Level":[66],"(RTL),":[67],"employing":[68],"standard":[69],"property":[71],"checking.":[72],"Our":[73],"guarantees":[75],"exhaustive":[77],"any":[80],"sequential":[81,116],"independently":[83],"its":[85],"behavior,":[87],"including":[88,123],"physical":[89],"side":[90],"channels.":[91],"It":[92],"does":[93],"not":[94],"require":[95],"model":[98],"or":[99],"functional":[101],"specification":[102],"design.":[105],"experimental":[107],"results":[108],"demonstrate":[109],"efficient":[110],"effective":[112],"all":[115],"HTs":[117],"Trust-Hub,":[122],"those":[124],"with":[125],"complex":[126],"triggers":[127],"payloads.":[129]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2025-12-26T23:08:49.675405","created_date":"2025-10-10T00:00:00"}