{"id":"https://openalex.org/W4392636887","doi":"https://doi.org/10.13154/tches.v2020.i4.309-336","title":"DANA Universal Dataflow Analysis for Gate-Level Netlist Reverse Engineering","display_name":"DANA Universal Dataflow Analysis for Gate-Level Netlist Reverse Engineering","publication_year":2020,"publication_date":"2020-08-26","ids":{"openalex":"https://openalex.org/W4392636887","doi":"https://doi.org/10.13154/tches.v2020.i4.309-336"},"language":"en","primary_location":{"id":"pmh:oai:doaj.org/article:3b30e56b659143139cdeea07c7cc34f5","is_oa":true,"landing_page_url":"https://doaj.org/article/3b30e56b659143139cdeea07c7cc34f5","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Transactions on Cryptographic Hardware and Embedded Systems, Vol 2020, Iss 4 (2020)","raw_type":"article"},"type":"article","indexed_in":["datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doaj.org/article/3b30e56b659143139cdeea07c7cc34f5","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002428519","display_name":"Nils Albartus","orcid":"https://orcid.org/0000-0003-2449-1134"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]},{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Albartus, Nils","raw_affiliation_strings":["Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Germany; Max Planck Institute for Security and Privacy, Bochum, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Germany; Max Planck Institute for Security and Privacy, Bochum, Germany","institution_ids":["https://openalex.org/I4210096592","https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091246257","display_name":"Max Hoffmann","orcid":"https://orcid.org/0000-0001-9072-611X"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]},{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hoffmann, Max","raw_affiliation_strings":["Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Germany; Max Planck Institute for Security and Privacy, Bochum, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Germany; Max Planck Institute for Security and Privacy, Bochum, Germany","institution_ids":["https://openalex.org/I4210096592","https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019636176","display_name":"Sebastian Temme","orcid":"https://orcid.org/0000-0002-8807-2767"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Temme, Sebastian","raw_affiliation_strings":["Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Germany","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055334358","display_name":"Leonid Azriel","orcid":"https://orcid.org/0000-0003-1603-1365"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Azriel, Leonid","raw_affiliation_strings":["Technion - Israel Institute of Technology, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technion - Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041748332","display_name":"Christof Paar","orcid":"https://orcid.org/0000-0001-8681-2277"},"institutions":[{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Paar, Christof","raw_affiliation_strings":["Max Planck Institute for Security and Privacy, Bochum, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Security and Privacy, Bochum, Germany","institution_ids":["https://openalex.org/I4210096592"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5002428519"],"corresponding_institution_ids":["https://openalex.org/I4210096592","https://openalex.org/I904495901"],"apc_list":null,"apc_paid":null,"fwci":0.4716,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.65350444,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9915000200271606,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9915000200271606,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9836999773979187,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9794999957084656,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/netlist","display_name":"Netlist","score":0.9666669368743896},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.9653993844985962},{"id":"https://openalex.org/keywords/reverse-engineering","display_name":"Reverse engineering","score":0.7648080587387085},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6507039666175842},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.54093998670578},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4597738981246948},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3882865905761719},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3456799387931824},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3421878218650818},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14950695633888245}],"concepts":[{"id":"https://openalex.org/C177650935","wikidata":"https://www.wikidata.org/wiki/Q1760303","display_name":"Netlist","level":2,"score":0.9666669368743896},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.9653993844985962},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.7648080587387085},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6507039666175842},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.54093998670578},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4597738981246948},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3882865905761719},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3456799387931824},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3421878218650818},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14950695633888245}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:doaj.org/article:3b30e56b659143139cdeea07c7cc34f5","is_oa":true,"landing_page_url":"https://doaj.org/article/3b30e56b659143139cdeea07c7cc34f5","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Transactions on Cryptographic Hardware and Embedded Systems, Vol 2020, Iss 4 (2020)","raw_type":"article"},{"id":"doi:10.13154/tches.v2020.i4.309-336","is_oa":true,"landing_page_url":"https://doi.org/10.13154/tches.v2020.i4.309-336","pdf_url":null,"source":{"id":"https://openalex.org/S7407052971","display_name":"UB Bochum","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:doaj.org/article:3b30e56b659143139cdeea07c7cc34f5","is_oa":true,"landing_page_url":"https://doaj.org/article/3b30e56b659143139cdeea07c7cc34f5","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Transactions on Cryptographic Hardware and Embedded Systems, Vol 2020, Iss 4 (2020)","raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2170314243","https://openalex.org/W2119179026","https://openalex.org/W2293426816","https://openalex.org/W2750884072","https://openalex.org/W2169864437","https://openalex.org/W3202403423","https://openalex.org/W3179822130","https://openalex.org/W2054606206","https://openalex.org/W1998888015","https://openalex.org/W1591308946"],"abstract_inverted_index":{"Reverse":[0],"engineering":[1],"of":[2,9,22,27,58,75,98,191,221,273,277],"integrated":[3],"circuits,":[4],"i.e.,":[5],"understanding":[6],"the":[7,23,59,61,96,143,162,173,218,251,269],"internals":[8],"Integrated":[10],"Circuits":[11],"(ICs),":[12],"is":[13,114,170],"required":[14],"for":[15,53,90,193,212,239,262],"many":[16],"benign":[17],"and":[18,41,49,84,122,182,230,234,258,267,279],"malicious":[19,45],"applications.":[20],"Examples":[21],"former":[24],"are":[25,283],"detection":[26],"patent":[28],"infringements,":[29],"hardware":[30,54,153,242],"Trojans":[31],"or":[32,138,204],"Intellectual":[33],"Property":[34],"(IP)-theft,":[35],"as":[36,38,202,250,285],"well":[37],"interface":[39],"recovery":[40,190],"defect":[42],"analysis,":[43],"while":[44],"applications":[46,211],"include":[47],"IP-theft":[48],"finding":[50],"insertion":[51],"points":[52],"Trojans.":[55,243],"However,":[56],"regardless":[57,197],"application,":[60],"reverse":[62],"engineer":[63],"initially":[64],"starts":[65],"with":[66,125,176],"a":[67,81,126,164],"large":[68],"unstructured":[69],"netlist,":[70],"forming":[71],"an":[72],"incomprehensible":[73,271],"sea":[74,272],"gates.":[76,274],"This":[77],"work":[78],"presents":[79],"DANA,":[80],"generic,":[82],"technology-agnostic,":[83],"fully":[85],"automated":[86,128],"dataflow":[87,213],"analysis":[88],"methodology":[89],"flattened":[91],"gate-level":[92],"netlists.":[93,206],"By":[94],"analyzing":[95],"flow":[97],"data":[99],"between":[100],"individual":[101],"Flip":[102],"Flops":[103],"(FFs),":[104],"DANA":[105,113,131,149,222,245,278],"recovers":[106],"high-level":[107,231],"registers.":[108],"The":[109],"key":[110],"idea":[111],"behind":[112],"to":[115,161,226],"combine":[116],"independent":[117],"metrics":[118],"based":[119],"on":[120,150,288],"structural":[121],"control":[123],"information":[124],"powerful":[127],"architecture.":[129],"Notably,":[130],"works":[132],"without":[133],"any":[134],"thresholds,":[135],"scenario-dependent":[136],"parameters,":[137],"other":[139],"\u201cmagic\u201d":[140],"values":[141],"that":[142,217],"user":[144],"must":[145],"choose.":[146],"We":[147],"evaluate":[148],"nine":[151],"modern":[152],"designs,":[154],"ranging":[155],"from":[156],"cryptographic":[157],"co-processors,":[158],"over":[159],"CPUs,":[160],"OpenTitan,":[163],"stateof-":[165],"the-art":[166],"System-on-Chip":[167],"(SoC),":[168],"which":[169],"maintained":[171],"by":[172,265],"lowRISC":[174],"initiative":[175],"supporting":[177],"industry":[178],"partners":[179],"like":[180],"Google":[181],"Western":[183],"Digital.":[184],"Our":[185,275],"results":[186],"demonstrate":[187,236],"almost":[188],"perfect":[189],"registers":[192],"all":[194,280],"case":[195],"studies,":[196],"whether":[198],"they":[199],"were":[200],"synthesized":[201,281],"FPGA":[203],"ASIC":[205],"Furthermore,":[207],"we":[208,215],"explore":[209],"two":[210],"analysis:":[214],"show":[216],"raw":[219],"output":[220],"often":[223],"already":[224],"allows":[225],"identify":[227],"crucial":[228],"components":[229],"architecture":[232],"features":[233],"also":[235],"its":[237],"applicability":[238],"detecting":[240],"simple":[241],"Hence,":[244],"can":[246],"be":[247],"applied":[248],"universally":[249],"first":[252],"step":[253],"when":[254],"investigating":[255],"unknown":[256],"netlists":[257,282],"provides":[259],"major":[260],"guidance":[261],"human":[263],"analysts":[264],"structuring":[266],"condensing":[268],"otherwise":[270],"implementation":[276],"available":[284],"open":[286],"source":[287],"GitHub.":[289]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2022,"cited_by_count":2}],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}